VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them. VCC extends C with design by contract features, like pre- and postcondition as well as type ...

How to install and use our quantum simulator Opens in a new tab ...

By Douglas Gantenbein, Senior Writer, Microsoft News Center People love their smartphones—and they love to play games on them. On common smartphone software platforms, including Windows Phone, games ...

9:15-10:00 Welcome + Intro Comments by Lisa Green, Lee Dirks, Stuart Tansley and Kristin Tolle. 10:00-10:30 Cameron Neylon 10:30 – 11:00 Jean-Claude Bradley Opens in a new tab ...

For Microsoft Research’s 20th anniversary, researchers and collaborators share their thoughts about the future of Microsoft Research and computer science.

What makes a platform suitable to both research and development? It is not simply the artifacts that are generated, but the tools that the platform brings to bear on evaluating the usefulness and ...

Current AI software relies increasingly on neural networks (NNs). The universal data structure of NNs is the numerical vector of activity levels of model neurons, typically with activity distributed ...

We present a system and a set of techniques for learning linear predictors with convex losses on terascale datasets, with trillions of features (the number of features here refers to the number of non ...

Videos you watch may be added to the TV's watch history and influence TV recommendations. To avoid this, cancel and sign in to YouTube on your computer.

ChronoZoom is an open-source community project dedicated to visualizing the history of everything. Big History is the attempt to understand, in a unified, interdisciplinary way, the history of cosmos, ...

Many people are working on near-field user-interface devices that detect hover, gesture, and pose. But there is nothing in the space in front of a device to show the user what to do. This project ...

New science and technology will be described for buildings as a resource within an adaptive (“smart”) grid. We consider a holistic definition of a smart grid that begins at the point of generation and ...