Name
Abstract | ||
|---|---|---|
mess-gen |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1109/RELDIS.2005.20 | SRDS |
Keywords | Field | DocType |
lazy verification,storage systems,critical path,multiplication operator,distributed databases,formal verification | Intelligent verification,Computer science,Distributed data store,Runtime verification,Real-time computing,Fault tolerance,Critical path method,Distributed database,Quantum Byzantine agreement,Operating system,Distributed computing,Formal verification | Conference |
ISBN | Citations | PageRank |
0-7695-2463-X | 11 | 0.91 |
References | Authors | |
17 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Michael Abd-El-Malek | 1 | 647 | 28.60 |
| Gregory R. Ganger | 2 | 4560 | 383.16 |
| Michael K. Reiter | 3 | 8695 | 764.03 |
| Jay J. Wylie | 4 | 685 | 44.29 |
| Garth R. Goodson | 5 | 679 | 43.14 |