Loading...
Please wait, while we are loading the content...
Certification trails for data structures
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Masson, Gerald M. Sullivan, Gregory F. |
| Copyright Year | 1993 |
| Description | Certification trails are a recently introduced and promising approach to fault detection and fault tolerance. The applicability of the certification trail technique is significantly generalized. Previously, certification trails had to be customized to each algorithm application; trails appropriate to wide classes of algorithms were developed. These certification trails are based on common data-structure operations such as those carried out using these sets of operations such as those carried out using balanced binary trees and heaps. Any algorithms using these sets of operations can therefore employ the certification trail method to achieve software fault tolerance. To exemplify the scope of the generalization of the certification trail technique provided, constructions of trails for abstract data types such as priority queues and union-find structures are given. These trails are applicable to any data-structure implementation of the abstract data type. It is also shown that these ideals lead naturally to monitors for data-structure operations. |
| File Size | 1395929 |
| Page Count | 17 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19940031562 |
| Archival Resource Key | ark:/13960/t17m56d25 |
| Language | English |
| Publisher Date | 1993-12-21 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Fault Tolerance Construction Algorithms Fault Detection Error Detection Codes Data Structures Software Reliability Certification Computer Programs Software Engineering Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
