Synthesizing robust data structures-an introduction
- 1 January 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 39 (2) , 161-173
- https://doi.org/10.1109/12.45202
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- A theory of diagnosis from first principlesPublished by Elsevier ,2003
- A Locally Correctable B-Tree ImplementationThe Computer Journal, 1986
- The N-Version Approach to Fault-Tolerant SoftwareIEEE Transactions on Software Engineering, 1985
- Efficient locking for concurrent operations on B-treesACM Transactions on Database Systems, 1981
- Redundancy in Data Structures: Improving Software Fault ToleranceIEEE Transactions on Software Engineering, 1980