Loading...
Please wait, while we are loading the content...
Similar Documents
Mechanical proofs of fault-tolerant clock synchronization
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Shankar, N. |
| Copyright Year | 1990 |
| Description | The following topics are covered in viewgraph form: (1) introduction to clock synchronization protocols; (2) a schematic formulation of clock synchronization; (3) the interactive convergence algorithm; (4) verification of Schneider's formulation; (5) verification of interactive convergence; (6) a hardware-oriented clock synchronization protocol; (7) verification of Infis/Moore's protocol; and (8) the EHDM specification/verification environment. |
| File Size | 577084 |
| Page Count | 37 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19910008261 |
| Archival Resource Key | ark:/13960/t4qk2b19z |
| Language | English |
| Publisher Date | 1990-11-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Operations And Hardware Fault Tolerance Protocol Computers Algorithms Control Systems Design Theorem Proving Synchronism Flight Control Clocks Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
