Algorithms - Microsoft Research

Publication

Inheritance in Unlikely Places: Using Objects to Build Derived Implementations on Flat Interfaces

Michael B. Jones

MSR-TR-93-05 | June 1993

Publication

Hybrid Systems in TLA+

Hybrid Systems, Robert L. Grossman, Anil Nerode, Hans Rischel, and Anders P. Ravn, editors. Lecture Notes in Computer Science, Springer-Verlag | 1993, Vol 736

Publication

Earth Observing System: EOSDIS Alternative Architecture

Microsoft Project Sequoia 2000 Team

April 1993

Publication

Early Experience with ASDL in lcc

David Hanson

MSR-TR-98-50 | April 1993

Publication

Duel – A Very High-Level Debugging Language

David R. Hanson, Michael Golan

April 1993

Publication

Multimedia Network File Servers: Multi-Channel Delay Sensitive

D. James Gemmell, Jim Gemmell

April 1993

Publication

How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor

Leslie Lamport

IEEE Transactions on Computers SRC Research Report 96 | February 1993, Vol 46(7): pp. 779-782

Publication

Cycletrees: a Novel Class of Interconnection Graphs

Margus Veanes

January 1993

Publication

Knapsack Auctions

Gagan Aggarwal, Jason D. Hartline

ACM/SIAM Symposium on Discrete Algorithms (SODA) | January 1993

Project

Publication

Real time correlation-based stereo: algorithm, implementations and applications

Olivier Faugeras, Bernard Hotz, Hervé Mathieu, Thierry Viéville, Zhengyou Zhang, Pascal Fua, Eric Théron, Laurent Moll, Gérard Berry, Jean Vuillemin, Patrice Bertin, Catherine Proy

| January 1993

Principles of Programming Languages (POPL)