illustration of intersecting lines with various shapes at the connecting points signifying algorithms on a green gradient background

Algorithms

Current selections

Sort by: Most recent

Clear selections

Publication

An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals

Shuvendu Lahiri, Madan Musuvathi

MSR-TR-2005-61 | May 2005

Publication

Fast Scalable Robust Node Enumeration

Richard Black, Austin Donnelly, Alexandru Gavrilescu, Dave Thaler

Proceedings of 4th International IFIP-TC6 Networking Conference (NETWORKING 2005) | May 2005

To appear

Publication

Redundant Bit Vectors for Quickly Searching High-Dimensional Regions

Jonathan Goldstein, John Platt, Chris J.C. Burges

May 2005

Publication

An Efficient Decision Procedure for UTVPI Constraints

Shuvendu Lahiri, Madan Musuvathi

MSR-TR-2005-67 | May 2005

Frontiers of Combining Systems (FroCos '05)

Publication

Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses

Wei Chen, Shi-Ding Lin, Qiao Lian, Zheng Zhang

MSR-TR-2005-58 | May 2005

Publication

A uniform approach to accelerated PageRank computation

Frank McSherry

Proceedings of the 14th international conference on World Wide Web, (WWW 2005) | May 2005

Microsoft Research Blog

Susan Dumais: Changing the Way People Search for Information, Through Algorithms and User Interfaces

April 5, 2005

Senior Microsoft Corp. Researcher Susan Dumais predicts that in 10 years, we will look back on today’s search interfaces and recognize them as a simple and limited way to interact with information. After all, she…

Publication

Dependent types for program understanding

Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field

International Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2005

Publication

The N/R one time password system

Vipul Goyal, Ajith Abraham, Sugata Sanyal, Sang-Yong Han

International Conference on Information Technology: Coding and Computing, 2005. ITCC 2005. | April 2005

Publication

Context-Bounded Model Checking of Concurrent Software

Shaz Qadeer, Jakob Rehof

MSR-TR-2004-70 | April 2005

Proceedings of the Seventh ACM SIGOPS European Workshop (SIGOPS 96)