Finding missing synchronization in a distributed computation using controlled re-execution (Q5138509)
From MaRDI portal
scientific article; zbMATH DE number 7282017
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finding missing synchronization in a distributed computation using controlled re-execution |
scientific article; zbMATH DE number 7282017 |
Statements
Finding missing synchronization in a distributed computation using controlled re-execution (English)
0 references
4 December 2020
0 references
distributed system
0 references
debugging
0 references
software fault-tolerance
0 references
controlled re-execution
0 references
predicate control
0 references
