Algorithms - Microsoft Research

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

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

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

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)

Publication

Blind Separation of Convolutive Mixtures Using Oblique Projections (in Chinese)

Chunyi Peng

Journal of Tsinghua University (Science and Technology) | April 2005, Vol 25: pp. 517-520

Publication

A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover

Rustan Leino, Madan Musuvathi, Xinmin Ou

in TACAS 2005: Eleventh Conference on Tools and Algorithms for the Construction and Analysis of Software | April 2005

Publication

Phonetic Transcription Verification with Generalized Posterior Probability

Lijuan Wang, Yong Zhao, Min Chu, Frank Soong, Zhigang Cao

April 2005