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

Algorithms

Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.

Current selections

Sort by: Most recent

Clear selections

Publication

Managing Global Information in the CORDS Multidatabase System

Per-Ake Larson, Michael Bauer, Patrick Martin, Paul Larson

January 1994

Publication

Evolving Algebras and Linear Time Hierarchy

Andreas Blass, Yuri Gurevich

IFIP 1994 World Computer Congress, Volume I: Technology and Foundations, North-Holland, Amsterdam. | January 1994

Publication

Algorithm for automatic interpretation of noun sequences

Lucy Vanderwende

COLING ’94 Proceedings of the 15th conference on Computational linguistics – Volume 2 | January 1994

COLING '94 Proceedings of the 15th conference on Computational linguistics – Volume 2

Publication

Performing Group-by before Join

Weipeng P. Yan, Paul Larson

January 1994

Publication

Adaptive playout mechanisms for Packetized Audio Applications in Wide-Area Networks

Ramachandran Ramjee, Jim Kurose, Don Towsley, Henning Schulzrinne

Proceedings of IEEE Infocom ’94 | January 1994

Publication

A State-of-the-Art Distributed System: Computing with BOB

Mike Schroeder

Distributed Systems | Published by Addison-Wesley | 1993

Publication

AMAST’91 Banquet Talk

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | October 1993

Publication

Automatically Identifying Morphological Relations in Machine-Readable Dictionaries

Joseph Pentheroudakis, Lucy Vanderwende

MSR-TR-93-06 | September 1993

Publication

Composing Specifications

Leslie Lamport, Martin Abadi

ACM Transactions on Programming Languages and Systems 15, 1 (January 1993), 73-132. Also appeared as SRC Research Report 66. A preliminary version appeared in Stepwise Refinement of Distributed Systems, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors, Springer-Verlag Lecture Notes in Computer Science Volume 430 (1989), 1-41. | July 1993

Publication

Verification of a Multiplier: 64 Bits and Beyond

Computer-Aided Verification, Costas Courcoubetis, editor. (Proceedings of the Fifth International Conference, CAV’93.) Lecture Notes in Computer Science, number 697, Springer-Verlag (June, 1993), 166-179. | July 1993

Your Privacy Choices