Loading...
Please wait, while we are loading the content...
Similar Documents
Consistent detection of global predicates
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Marzullo, Keith Cooper, Robert |
| Copyright Year | 1991 |
| Description | A fundamental problem in debugging and monitoring is detecting whether the state of a system satisfies some predicate. If the system is distributed, then the resulting uncertainty in the state of the system makes such detection, in general, ill-defined. Three algorithms are presented for detecting global predicates in a well-defined way. These algorithms do so by interpreting predicates with respect to the communication that has occurred in the system. |
| File Size | 577310 |
| Page Count | 20 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19910011470 |
| Archival Resource Key | ark:/13960/t71w0dv3m |
| Language | English |
| Publisher Date | 1991-04-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Errors Distributed Processing Fault Tolerance Protocol Computers Algorithms Detection Program Verification Computers 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 |
