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

On the Proof of Correctness of a Calendar Program

Communications of the ACM 22 | October 1979, Vol 10: pp. 554-556

Publication

How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

IEEE Transactions on Computers C-28 | September 1979, Vol 9: pp. 690-691

Publication

How to Present a Paper

August 1979

Publication

A New Approach to Proving the Correctness of Multiprocess Programs

ACM Transactions on Programming Languages and Systems 1 | July 1979, Vol 1: pp. 84-97

Publication

On-the-fly Garbage Collection: an Exercise in Cooperation

Edsger W. Dijkstra, Leslie Lamport, A. J. Martin, C. S. Scholten, E. F. M. Steffens

Communications of the ACM 21 | November 1978, Vol 11: pp. 966-975

Publication

SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control

John H. Wensley, Leslie Lamport, Jack Goldberg, Milton W. Green, Karl N. Levitt, P. M. Melliar-Smith, Robert E. Shostak, Charles B. Weinstock

Proceedings of the IEEE 66 | October 1978

Publication

The Implementation of Reliable Distributed Multiprocess Systems

Computer Networks | August 1978, Vol 2: pp. 95-114

Publication

Time, Clocks and the Ordering of Events in a Distributed System

Communications of the ACM 21, 7 (July 1978), 558-565. Reprinted in several collections, including Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984. | July 1978, pp. 558-565

2000 PODC Influential Paper Award (later renamed the Edsger W. Dijkstra Prize in Distributed Computing). Also awarded an ACM SIGOPS Hall of Fame Award in 2007.

Publication

State the Problem Before Describing the Solution

ACM SIGSOFT Software Engineering Notes | January 1978, pp. 26

Publication

A Scan Line Algorithm for Displaying Parametrically Defined Surfaces

Jim Blinn

January 1978