Algorithms - Microsoft Research

Publication

Vertical Paxos and Primary-Backup Replication

Leslie Lamport, Dahlia Malkhi, Lidong Zhou

The ACM Symposium on Principles of Distributed Computing (PODC 2009) | February 2009

Publication

New Decoding Algorithms for a Class of Subsystem Codes and Generalized Shor Codes

Pradeep K. Sarvepalli, Martin Roetteler, Andreas Klappenecker

Proceedings IEEE International Symposium on Information Theory (ISIT’09) | February 2009

Publication

Less is More: Sampling the Neighborhood Graph Makes SALSA Better and Faster

Marc Najork, Sreenivas Gollapudi, Rina Panigrahy

2nd ACM International Conference on Web Search and Data Mining (WSDM) | February 2009

Publication

Diversifying Search Results

Rakesh Agrawal, Sreenivas Gollapudi, Alan Halverson, Samuel Ieong

International Conference on Web Search and Data Mining (WSDM) | February 2009

Publication

A 201.4GOPS 496mW Real-Time Multi-Object Recognition Processor with Bio-Inspired Neural Perception Engine

Joo-Young Kim, Minsu Kim, Seungjin Lee, Jinwook Oh, Kwanho Kim, Sejong Oh, Jeong-Ho Woo, Hoi-Jun Yoo, Donghyun Kim

International Solid-State Circuits Conference (ISSCC) | February 2009

Publication

Character recognition in natural images

T. E. de Campos, B. R. Babu, M. Varma, Manik Varma

Proceedings of the International Conference on Computer Vision Theory and Applications, Lisbon, Portugal | February 2009

Publication

Limits of randomly grown graph sequences

Christian Borgs, Jennifer Chayes, Laszlo Lovasz, Vera T. Sos, Katalin Vesztergombi

February 2009

Video

Iterative Methods in Combinatorial Optimization

January 29, 2009 | Mohit Singh

In this talk we will demonstrate iterative methods as a general technique to analyze linear programming formulations of combinatorial optimization problems. We first show an application of the method to the Minimum Bounded Degree Spanning…

01:05:10

Publication

Teaching Concurrency

Leslie Lamport

ACM SIGACT News | January 2009, Vol 40(1): pp. 58-62

Publication

The PlusCal Algorithm Language

Leslie Lamport

Theoretical Aspects of Computing-ICTAC 2009, Martin Leucker and Carroll Morgan editors. Lecture Notes in Computer Science, number 5684, 36-60. | January 2009