Checking and Certifying Computational Results (1994)

Cached

Download Links

by Jonathan D. Bright
Citations:2 - 0 self

Active Bibliography

18 Certification of computational results – Gregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson - 1995
8 On-line Error Monitoring for Several Data Structures – Jonathan Bright, Gregory F. Sullivan - 1995
21 Certification Trails for Data Structures – Gregory F. Sullivan, Gerald M. Masson, Dwight S. Wilson - 1991
5 A Formally Verified Sorting Certifier – Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson - 1997
27 Checking Linked Data Structures – Nancy M. Amato , Michael C. Loui - 1994
7 State-of-the-Art Algorithms for Minimum Spanning Trees -- A Tutorial Discussion – Jason Eisner - 1997
6 System and Software Safety in Critical Systems – Ulla Isaksen, Jonathan P. Bowen, Nimal Nissanke - 1996
17 Checking Mergeable Priority Queues – Jonathan Bright, Gregory Sullivan - 1994
Alternation in Interaction – n.n.
15 Probabilistically Checkable Proofs and the Testing of Hadamard-like Codes – Marcos Kiwi - 1996
17 Transparent Proofs and Limits to Approximation – László Babai - 1994
17 Graph Augmentation And Related Problems: Theory And Practice – Tsan-Sheng Hsu - 1993
2 Work-Time Optimal k-merge Algorithms on the PRAM – Tatsuya Hayashi, Koji Nakano - 1998
2 Fast, Efficient Mutual and Self Simulations for Shared Memory and Reconfigurable Mesh – Yossi Matias, Assaf Schuster - 1995
39 Balancing Minimum Spanning Trees and Shortest-Path Trees – Samir Khuller, Balaji Raghavachari, Neal Young - 2002
1 Replication for Fault Tolerant Software Using a Functional and Attribute Grammar Based Computation Model – Adel Cherif - 1998
4 Certification Trails and Software Design for Testability – Gregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson - 1993
7 Survey of Backward Error Recovery Techniques for Multicomputers Based on Checkpointing and Rollback – G. Deconinck, J. Vounckx, R. Lauwereins, J. A. Peperstraete - 1993
12 The Design and Analysis of Scheduling Algorithms for Real-Time and Fault-Tolerant Computer Systems – Yingfeng Oh - 1994