Checking and Certifying Computational Results (1994)

Cached

Download Links

by Jonathan D. Bright
Citations:2 - 0 self

Documents Related by Co-Citation

313 Designing Programs That Check Their Work – Manuel Blum, Sampath Kannan - 1989
674 LEDA: A Platform for Combinatorial and Geometric Computing – Kurt Mehlhorn, Stefan Näher, Christian Uhrig - 1999
595 Practical Byzantine Fault Tolerance – Miguel Castro, Barbara Loskov
845 Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial – Fred B. Schneider, Fred B. Schneider - 1990
723 Proof verification and hardness of approximation problems – Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, Mario Szegedy - 1992
27 Checking Linked Data Structures – Nancy M. Amato , Michael C. Loui - 1994
333 Maximum matching and a polyhedron with 0-1 vertices – J Edmonds - 1965
341 Skip Lists: A Probabilistic Alternative to Balanced Trees – William Pugh - 1990
313 Protocols for Public Key Cryptosystems – R C Merkle - 1980