Algorithms - Microsoft Research

Publication

A Scan Line Algorithm for Displaying Parametrically Defined Surfaces

Jim Blinn

January 1978

Publication

On Concurrent Reading and Writing

Leslie Lamport

Communications of the ACM 20 | November 1977, Vol 11: pp. 806-811

Publication

Proving the Correctness of Multiprocess Programs

Leslie Lamport

IEEE Transactions on Software Engineering SE-3 | March 1977, Vol 2: pp. 125-143

Publication

How to Tell a Program from an Automobile

Leslie Lamport

In A Dynamic and Quick Intellect, John Tromp editor (1996)–a Liber Amicorum issued by the CWI in honor of Paul Vitanyi’s 25-year jubilee. | January 1977

Publication

On the Glitch Phenomenon

Leslie Lamport, Richard Palais

November 1976 | Rejected by IEEE Transactions on Computers (November 1976). edition edition

Rejected by IEEE Transactions on Computers (November 1976).

Publication

Texture and Reflection in Computer Generated Images

Jim Blinn

Communications of the ACM | October 1976, Vol 19(10)

Publication

Multiple Byte Processing with Full-Word Instructions

Leslie Lamport

Communications of the ACM | August 1975, Vol 18(8): pp. 471-475

Publication

On Self-stabilizing Systems

Leslie Lamport

CA 7412-0511 | December 1974

Publication

A New Solution of Dijkstra’s Concurrent Programming Problem

Leslie Lamport

Communications of the ACM 17 | August 1974

Publication

Comment on Bell’s Quadratic Quotient Algorithm

Leslie Lamport

Communications of the ACM | September 1970, Vol 13(9)