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

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 | Hybrid Systems, Robert L. Grossman, Anil Nerode, Hans Rischel, and Anders P. Ravn, editors. Lecture Notes in Computer Science, Springer-Verlag edition

Publication

Duel – A Very High-Level Debugging Language

David R. Hanson, Michael Golan

April 1993

Publication

Earth Observing System: EOSDIS Alternative Architecture

Microsoft Project Sequoia 2000 Team

April 1993

Publication

Multimedia Network File Servers: Multi-Channel Delay Sensitive

D. James Gemmell, Jim Gemmell

April 1993

Publication

Early Experience with ASDL in lcc

David Hanson

MSR-TR-98-50 | April 1993

Publication

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

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

Publication

Best First Minimax Search: First Results

Richard Korf, Max Chickering

In Proceedings of the AAAI Fall Symposium on Games: Planning and Learning | January 1993

Publication

Key Range Locking Strategies for Improved Concurrency

David Lomet

January 1993

Publication

Formal Parametric Polymorphism

Martin Abadi, Luca Cardelli, Pierre-Louis Curien

January 1993, pp. 157-170

Conf. Record 20th Ann. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL'93, Charleston, SC

Publication

Curvature-driven smoothing: a learning algorithm for feedforward networks

Christopher Bishop

IEEE Transactions on Neural Networks | January 1993, Vol 4: pp. 882-884