Fishspear: A Priority Queue Algorithm (Extended Abstract)

Cached

Download Links

by Michael J. Fischer , Michael S. Paterson
Citations:11 - 1 self

Active Bibliography

2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
729 Introduction to Algorithms (Second Edition – T H Cormen, C E Leiserson, R L Rivest, C Stein - 2001
513 How bad is selfish routing? – Tim Roughgarden, √Čva Tardos - 2002
542 Parallel Numerical Linear Algebra – James W. Demmel, Michael T. Heath , Henk A. van der Vorst - 1993
802 Applied Cryptography -- Protocols, Algorithms, and . . . – Bruce Schneier
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
568 Automatic Subspace Clustering of High Dimensional Data – Rakesh Agrawal, Johannes Gehrke, Dimitrios Gunopulos, Prabhakar Raghavan - 2005
2976 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994