Microsoft Research

In the era of nanoscale technology scaling, we are facing the limits of physics, challenging robust and reliable microprocessor design and fabrication.

NULL

Features are the selling units of a product. There are a number of difficult decisions to be made in the context of product release planning and re-planning.

Distributed storage schemes for data centers and peer-to- peer networks often use traditional erasure codes to introduce redundancy for robustness.

ΓÇ£It is not from the benevolence of the butcher, the brewer, or the baker, that we expect our dinner, but from their regard for their own interest.ΓÇ¥ Each participant in a competitive economy is

Various attempts have been made to speed up the software development process, allowing for faster iterations and earlier discovery and rectification of problems.

Design examples can powerfully illustrate concepts and alternatives. Online media offer an example corpus at a scale and diversity never before seen. How can we leverage these resources?

No longer will the sensors we develop simply be part of a control system.

While managing a user's personal data (photos, contacts, music collection, etc.) with online service providers like Facebook, Google, or Yahoo offers many advantages, it is not without its

Dynamic spectrum access has been a subject of extensive study in recent years.

Even commercial router vendors have adopted randomized algorithms in a few cases because of their simplicity, speed, and memory-efficiency in a few cases.

We provide a new set of tools for studying asymmetric .rst price auctions, connecting behaviour of equilibria to the _-concavity of the underlying distributions over costs or values, and showing how

We study the implications of assuming scale-invariance in a mathematical model of road networks.

Christos will show a neat recent thing on the board and discuss possible extensions.

We present an algorithm for the sparsest cut problem that simultaneously achieves the better approximation factor of SDP/multicommodity-flow based algorithms and the subquadratic running time of

This work is about how finding efficient ways to stretch a small random string into a long string that cannot be distinguished from random by a computation with small memory.

Much enthusiasm surrounds the potential of the Internet to improve people's lives in numerous domains from health matters to education, from creative expression to financial independence, from

Ecologists face unprecedented demands for accurate and reliable predictive models to address urgent questions such as: how will the Earth's life support systems change into the future?

The cover time of a finite graph G (the expected time for simple random walk to visit all vertices) has been extensively studied, yet a number of fundamental questions concerning cover times have

A modular proof rule for the verification of temporal safety and liveness properties of multi-threaded programs, and how this rule can be transformed into an automatic method.

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

Older adults form one of the fastest growing demographics of computer users.

The Center for Information Assurance and Cybersecurity (CIAC) at the University of Washington is an NSA/DHS Center of Academic Excellence in Information Assurance Education and Research that

For the past generation, the world of personal computing has been a world of self-service computing.

In recent years, there has been a great deal of progress in "Games with a Purpose," interactive games that users play because they are fun, with the added benefit that they are doing

A basic goal of video understanding is the organization of video data into sets of events with associated temporal dependencies.

We propose a simple distributed algorithm for balancing indivisible tokens on graphs.

I`ll present a novel image representation in which images are modeled as order-less sets of weighted visual features.

Most people consider a database is merely a data repository that supports data storage and retrieval.

We provide a sufficient condition for the continuity of real valued permanental processes.