Robert H. B. Netzer

From MaRDI portal
(Redirected from Person:202140)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Detecting race conditions in parallel programs that use one semaphore
Lecture Notes in Computer Science
2023-01-18Paper
Communication-based prevention of useless checkpoints in distributed computations
Distributed Computing
2020-12-03Paper
Race-condition detection in parallel computation with semaphores (extended abstract)
Algorithms — ESA '96
2017-12-05Paper
Detecting race conditions in parallel programs that use semaphores
Algorithmica
2003-08-19Paper
Deadlock-free incremental replay of message-passing programs
Journal of Parallel and Distributed Computing
2002-03-24Paper
scientific article; zbMATH DE number 926535 (Why is no real title available?)1996-10-20Paper


Research outcomes over time


This page was built for person: Robert H. B. Netzer