Microsoft Research Publications
Sun Apr 24 04:34:36 EDT 2011
Home: http://research.microsoft.com/apps/dp/pu/publications.aspx
Feed: http://research.microsoft.com/rss/publications.xml

A new level of social search: discovering the user’s opinion before he can make one

TouchStudio - Programming Cloud-Connected Mobile Devices via Touchscreen

Deterministic Parallel DPLL (DP2LL)

Exploring mobile-only internet use: results of a training study in urban South Africa

Managing Cost, Performance, and Reliability Tradeoffs for Energy-Aware Server Provisioning

Read-Write-Erase: Mobile-mediated publics in South Africa’s 2009 elections

Model Checking Using SMT and Theory of Lists

Mark My Words! Linguistic Style Accommodation in Social Media.

Cycles, Cells and Platters: An Empirical Analysis of Hardware Failures on a Million Consumer PCs

The Power of Peers

Near Optimal Non-truthful Auctions

Dynamic Atomic Storage Without Consensus

Mechanized soundness proofs for F*

Sparse Higher Order Functions of Discrete Variables --- Representation and Optimization

Out of a Closet: The Early Years of Years of The Computer [X] Museums

Harvesting Image Databases from the Web

One-Copy Serializability with Snapshot Isolation under the Hood

Sierra: Practical Power-proportionality for Data Center Storage

Fast Poisson Blending using Multi-Splines

CHAIN: Introducing Minimum Controlled Coordination into Random Access MAC