Robert H. B. Netzer

From MaRDI portal
Person:202140

Available identifiers

zbMath Open netzer.robert-h-bMaRDI QIDQ202140

List of research outcomes





PublicationDate of PublicationType
Detecting race conditions in parallel programs that use one semaphore2023-01-18Paper
Communication-based prevention of useless checkpoints in distributed computations2020-12-03Paper
Race-condition detection in parallel computation with semaphores (extended abstract)2017-12-05Paper
Detecting race conditions in parallel programs that use semaphores2003-08-19Paper
Deadlock-free incremental replay of message-passing programs2002-03-24Paper
https://portal.mardi4nfdi.de/entity/Q48919171996-10-20Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:202140&oldid=6572354"
Powered by MediaWiki