The following pages link to Robert H. B. Netzer (Q202140):
Displaying 6 items.
- Detecting race conditions in parallel programs that use semaphores (Q1402212) (← links)
- Race-condition detection in parallel computation with semaphores (extended abstract) (Q4595506) (← links)
- (Q4891917) (← links)
- Detecting race conditions in parallel programs that use one semaphore (Q5060138) (← links)
- Communication-based prevention of useless checkpoints in distributed computations (Q5137893) (← links)
- Deadlock-free incremental replay of message-passing programs (Q5943109) (← links)