Microsoft Research

The world is populated with words and images that prompt unexpected, unconscious decisions.

The world is more overwhelming than ever before. There is endless choice and feature overkill in all but the best experiences. Everybody knows everything about us.

What makes things popular? Why do people talk about certain products and ideas more than others? Why are some stories and rumors more infectious?

NULL

NULL

Scalable Parallel Computing on Many/Multicore Systems This set of lectures will review the application and programming model issues that one must address when one gets chips with 32-1024 cores and

Scalable Parallel Computing on Many/Multicore Systems This set of lectures will review the application and programming model issues that one must address when one gets chips with 32-1024 cores and

Scalable Parallel Computing on Many/Multicore Systems This set of lectures will review the application and programming model issues that one must address when one gets chips with 32-1024 cores and

Scalable Parallel Computing on Many/Multicore Systems This set of lectures will review the application and programming model issues that one must address when one gets chips with 32-1024 cores and

Neural circuits in the brain are formed from neurons connecting to one another in highly structured ways.

Redundancy through state replication is the primary mechanism for achieving fault tolerance in distributed systems.

From time to time at Microsoft Research we set aside time to talk about strategic aspects of research, that is, the big picture of why we do research and how to have different sorts of impact

Microsoft Research – 8 сентября 2016, 18:59

We define (with machine-checked proofs in Coq) a modular operational semantics for Concurrent C minorΓÇöa language with shared memory, spawnable threads, and first-class locks.

In kidney exchanges, patients with kidney disease can obtain compatible donors by swapping their own willing but incompatible donors.

With the advent of Multicores we are riding a third or fourth wave of parallel computing, and perhaps unlike previous ones this one will break.

Microsoft Research – 8 сентября 2016, 18:56

Most modern cryptography, and public-key crypto in particular, is based on mathematical problems that are conjectured to be infeasible (e.g., factoring large integers).

Although there have been many studies designed to understand and ameliorate the low representation of females in computing, there has been little research into how software itself fits into the

Today, we are increasingly building large and complex systems whose workings we do not understand, and this lack of understanding translates into systems that are hard to manage and have low

Although there have been many studies designed to understand and ameliorate the low representation of females in computing, there has been little research into how software itself fits into the

To evaluate an innovation in computer systems, performance analysts measure execution time or other metrics using one or more standard workloads.

Microsoft Research – 8 сентября 2016, 18:54

I shall describe a framework of distributed and stateless solutions for packing and covering linear programs, which are solved by multiple agents operating in a cooperative but uncoordinated manner.

Most models for online advertising assume that each ad has an inherent clickthrough-rate/conversion-rate, regardless of other ads served in the same session.

Microsoft Research – 8 сентября 2016, 18:54

Microsoft Research – 8 сентября 2016, 18:54

Microsoft Research – 8 сентября 2016, 18:54

Microsoft Research – 8 сентября 2016, 18:53

Microsoft Research – 8 сентября 2016, 18:53