Search the dblp DataBase
Robert H. B. Netzer :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Philip N. Klein , Hsueh-I Lu , Robert H. B. Netzer Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ESA, 1996, pp:445-459 [Conf ] Robert H. B. Netzer , Yikang Xu Replaying Distributed Programs without Message Logging. [Citation Graph (0, 0)][DBLP ] HPDC, 1997, pp:137-147 [Conf ] Robert H. B. Netzer , Sairam Subramanian , Jian Xu Critical-Path-Based Message Logging for incremental Replay of Message-Passing Programs. [Citation Graph (0, 0)][DBLP ] ICDCS, 1994, pp:404-413 [Conf ] Robert H. B. Netzer , Sanjoy Ghosh Efficient Race Condition Detection for Shared-Memory Programs with Post/Wait Synchronization. [Citation Graph (0, 0)][DBLP ] ICPP (2), 1992, pp:242-246 [Conf ] Robert H. B. Netzer , Barton P. Miller On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions. [Citation Graph (0, 0)][DBLP ] ICPP (2), 1990, pp:93-97 [Conf ] Sarita V. Adve , Mark D. Hill , Barton P. Miller , Robert H. B. Netzer Detecting Data Races on Weak Memory Systems. [Citation Graph (0, 0)][DBLP ] ISCA, 1991, pp:234-243 [Conf ] Robert H. B. Netzer Trace Size vs. Parallelism in Trace-and-Replay Debugging of Shared-Memory Programs. [Citation Graph (0, 0)][DBLP ] LCPC, 1993, pp:617-632 [Conf ] Robert H. B. Netzer , Barton P. Miller Experience with Techniques for Refining Data Race Detection. [Citation Graph (0, 0)][DBLP ] LCPC, 1992, pp:449-463 [Conf ] Robert H. B. Netzer Optimal Tracing and Replay for Debugging Shared-Memory Parallel Programs. [Citation Graph (0, 0)][DBLP ] Workshop on Parallel and Distributed Debugging, 1993, pp:1-11 [Conf ] Cherri M. Pancake , Robert H. B. Netzer A Bibliography of Parallel Debuggers, 1993 Eddition. [Citation Graph (0, 0)][DBLP ] Workshop on Parallel and Distributed Debugging, 1993, pp:169-186 [Conf ] Robert H. B. Netzer , Mark H. Weaver Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs. [Citation Graph (0, 0)][DBLP ] PLDI, 1994, pp:313-325 [Conf ] Robert H. B. Netzer , Barton P. Miller Improving the Accuracy of Data Race Detection. [Citation Graph (0, 0)][DBLP ] PPOPP, 1991, pp:133-144 [Conf ] Robert H. B. Netzer , Barton P. Miller Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs. [Citation Graph (0, 0)][DBLP ] SC, 1992, pp:502-511 [Conf ] Robert H. B. Netzer , Jian Xu Adaptive message logging for incremental replay of message-passing programs. [Citation Graph (0, 0)][DBLP ] SC, 1993, pp:840-849 [Conf ] Jian Xu , Robert H. B. Netzer Adaptive Independent Checkpointing for Reducing Rollback Propagation. [Citation Graph (0, 0)][DBLP ] SPDP, 1993, pp:754-761 [Conf ] Jean-Michel Hélary , Achour Mostéfaoui , Robert H. B. Netzer , Michel Raynal Preventing Useless Checkpoints in Distributed Computations. [Citation Graph (0, 0)][DBLP ] Symposium on Reliable Distributed Systems, 1997, pp:183-190 [Conf ] Hsueh-I Lu , Philip N. Klein , Robert H. B. Netzer Detecting Race Conditions in Parallel Programs that Use One Semaphore. [Citation Graph (0, 0)][DBLP ] WADS, 1993, pp:471-482 [Conf ] Philip N. Klein , Robert H. B. Netzer , Hsueh-I Lu Detecting Race Conditions in Parallel Programs that Use Semaphores. [Citation Graph (0, 0)][DBLP ] Algorithmica, 2003, v:35, n:4, pp:321-345 [Journal ] Philip N. Klein , Hsueh-I Lu , Robert H. B. Netzer Detecting Race Conditions in Parallel Programs that Use Semaphores [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Jean-Michel Hélary , Achour Mostéfaoui , Robert H. B. Netzer , Michel Raynal Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 2000, v:13, n:1, pp:29-43 [Journal ] Franco Zambonelli , Robert H. B. Netzer Deadlock-Free Incremental Replay of Message-Passing Programs. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 2001, v:61, n:5, pp:667-678 [Journal ] Robert H. B. Netzer , Barton P. Miller What Are Race Conditions? Some Issues and Formalizations. [Citation Graph (0, 0)][DBLP ] LOPLAS, 1992, v:1, n:1, pp:74-88 [Journal ] Jong-Deok Choi , Barton P. Miller , Robert H. B. Netzer Techniques for Debugging Parallel Programs with Flowback Analysis. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1991, v:13, n:4, pp:491-530 [Journal ] D. Manivannan , Robert H. B. Netzer , Mukesh Singhal Finding Consistent Global Checkpoints in a Distributed Computation. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1997, v:8, n:6, pp:623-627 [Journal ] Robert H. B. Netzer , Jian Xu Necessary and Sufficient Conditions for Consistent Global Snapshots. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1995, v:6, n:2, pp:165-169 [Journal ] Jean-Michel Hélary , Robert H. B. Netzer , Michel Raynal Consistency Issues in Distributed Checkpoints. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1999, v:25, n:2, pp:274-281 [Journal ] Search in 0.002secs, Finished in 0.303secs