An Efficient Representation for Sparse Sets (1993)

Cached

Download Links

by Preston Briggs , Linda Torczon
Venue:ACM LETTERS ON PROGRAMMING LANGUAGES AND SYSTEMS
Citations:31 - 4 self

Active Bibliography

595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
855 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
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