Robert H. B. Netzer Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2003
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philip N. Klein, Robert H. B. Netzer, Hsueh-I Lu: Detecting Race Conditions in Parallel Programs that Use Semaphores. Algorithmica 35(4): 321-345 (2003)
2002
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer: Detecting Race Conditions in Parallel Programs that Use Semaphores. CoRR cs.DS/0208004 (2002)
2001
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franco Zambonelli, Robert H. B. Netzer: Deadlock-Free Incremental Replay of Message-Passing Programs. J. Parallel Distrib. Comput. 61(5): 667-678 (2001)
2000
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal: Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. Distributed Computing 13(1): 29-43 (2000)
1999
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal: Consistency Issues in Distributed Checkpoints. IEEE Trans. Software Eng. 25(2): 274-281 (1999)
1997
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
D. Manivannan, Robert H. B. Netzer, Mukesh Singhal: Finding Consistent Global Checkpoints in a Distributed Computation. IEEE Trans. Parallel Distrib. Syst. 8(6): 623-627 (1997)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer, Yikang Xu: Replaying Distributed Programs without Message Logging. HPDC 1997: 137-147
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal: Preventing Useless Checkpoints in Distributed Computations. SRDS 1997: 183-190
1996
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer: Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract). ESA 1996: 445-459
1995
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer, Barton P. Miller: Optimal tracing and replay for debugging message-passing parallel programs. The Journal of Supercomputing 8(4): 371-388 (1995)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer, Jian Xu: Necessary and Sufficient Conditions for Consistent Global Snapshots. IEEE Trans. Parallel Distrib. Syst. 6(2): 165-169 (1995)
1994
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer, Sairam Subramanian, Jian Xu: Critical-Path-Based Message Logging for incremental Replay of Message-Passing Programs. ICDCS 1994: 404-413
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer, Mark H. Weaver: Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs. PLDI 1994: 313-325
1993
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer: Trace Size vs. Parallelism in Trace-and-Replay Debugging of Shared-Memory Programs. LCPC 1993: 617-632
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer: Optimal Tracing and Replay for Debugging Shared-Memory Parallel Programs. Workshop on Parallel and Distributed Debugging 1993: 1-11
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cherri M. Pancake, Robert H. B. Netzer: A Bibliography of Parallel Debuggers, 1993 Eddition. Workshop on Parallel and Distributed Debugging 1993: 169-186
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer, Jian Xu: Adaptive message logging for incremental replay of message-passing programs. SC 1993: 840-849
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jian Xu, Robert H. B. Netzer: Adaptive Independent Checkpointing for Reducing Rollback Propagation. SPDP 1993: 754-761
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hsueh-I Lu, Philip N. Klein, Robert H. B. Netzer: Detecting Race Conditions in Parallel Programs that Use One Semaphore. WADS 1993: 471-482
1992
j2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer, Barton P. Miller: What Are Race Conditions? Some Issues and Formalizations. LOPLAS 1(1): 74-88 (1992)
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer, Sanjoy Ghosh: Efficient Race Condition Detection for Shared-Memory Programs with Post/Wait Synchronization. ICPP (2) 1992: 242-246
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer, Barton P. Miller: Experience with Techniques for Refining Data Race Detection. LCPC 1992: 449-463
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer, Barton P. Miller: Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs. SC 1992: 502-511
1991
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jong-Deok Choi, Barton P. Miller, Robert H. B. Netzer: Techniques for Debugging Parallel Programs with Flowback Analysis. ACM Trans. Program. Lang. Syst. 13(4): 491-530 (1991)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sarita V. Adve, Mark D. Hill, Barton P. Miller, Robert H. B. Netzer: Detecting Data Races on Weak Memory Systems. ISCA 1991: 234-243
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer, Barton P. Miller: Improving the Accuracy of Data Race Detection. PPOPP 1991: 133-144
1990
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert H. B. Netzer, Barton P. Miller: On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions. ICPP (2) 1990: 93-97

Coauthor Index

1Sarita V. Adve
[c3]
2Jong-Deok Choi
[j1]
3Sanjoy Ghosh
[c6]
4Mark D. Hill
[c3]
5Jean-Michel Hélary
[j7] [j6] [c16]
6Philip N. Klein
[j9] [i1] [c15] [c7]
7Hsueh-I Lu
[j9] [i1] [c15] [c7]
8D. Manivannan
[j5]
9Barton P. Miller
[j4] [j2] [c5] [c4] [j1] [c3] [c2] [c1]
10Achour Mostéfaoui
[j7] [c16]
11Cherri M. Pancake
[c10]
12Michel Raynal
[j7] [j6] [c16]
13Mukesh Singhal
[j5]
14Sairam Subramanian
[c14]
15Mark H. Weaver
[c13]
16Jian Xu
[j3] [c14] [c9] [c8]
17Yikang Xu
[c17]
18Franco Zambonelli
[j8]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 08:15:28 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page