Predicate control: synchronization in distributed computations with look-ahead. (Q1427456)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Predicate control: synchronization in distributed computations with look-ahead. |
scientific article; zbMATH DE number 2055722
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Predicate control: synchronization in distributed computations with look-ahead. |
scientific article; zbMATH DE number 2055722 |
Statements
Predicate control: synchronization in distributed computations with look-ahead. (English)
0 references
14 March 2004
0 references
predicate control
0 references
synchronization
0 references
distributed computation
0 references
predicate detection
0 references
mutual exclusion
0 references
rollback recovery
0 references
distributed debugging
0 references
0.84169585
0 references
0.8380683
0 references
0.83442533
0 references
0.83349544
0 references