| What are race conditions? Some issues and formalizations RHB Netzer, BP Miller ACM Letters on Programming Languages and Systems (LOPLAS) 1 (1), 74-88, 1992 | 743 | 1992 |
| What are race conditions?: Some issues and formalizations RHB Netzer, BP Miller ACM Letters on Programming Languages and Systems (LOPLAS) 1 (1), 74-88, 1992 | 743 | 1992 |
| Necessary and sufficient conditions for consistent global snapshots RHB Netzer, J Xu Parallel and Distributed Systems, IEEE Transactions on 6 (2), 165-169, 1995 | 352 | 1995 |
| Optimal tracing and replay for debugging message-passing parallel programs RHB Netzer, BP Miller The Journal of Supercomputing 8 (4), 371-388, 1995 | 293 | 1995 |
| Optimal tracing and replay for debugging message-passing parallel programs RHB Netzer, BP Miller The Journal of Supercomputing 8 (4), 371-388, 1995 | 293 | 1995 |
| Optimal tracing and replay for debugging shared-memory parallel programs RHB Netzer Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed …, 1993 | 246 | 1993 |
| Techniques for debugging parallel programs with flowback analysis JD Choi, BP Miller, RHB Netzer ACM Transactions on Programming Languages and Systems (TOPLAS) 13 (4), 491-530, 1991 | 226 | 1991 |
| Improving the accuracy of data race detection RHB Netzer, BP Miller Proceedings of the third ACM SIGPLAN symposium on Principles and practice of …, 1991 | 208 | 1991 |
| Detecting data races on weak memory systems SV Adve, MD Hill, BP Miller, RHB Netzer ACM SIGARCH Computer Architecture News 19 (3), 234-243, 1991 | 186 | 1991 |
| Compressed differences: An algorithm for fast incremental checkpointing JS Plank, J Xu, RHB Netzer Technical Report CS-95-302, University of Tennessee, 1995 | 142 | 1995 |
| On the complexity of event ordering for shared-memory parallel program executions RHB Netzer, BP Miller University of Wisconsin-Madison, Computer Sciences Department, 1990 | 124 | 1990 |
| Communication-based prevention of useless checkpoints in distributed computations JM Hélary, A Mostefaoui, RHB Netzer, M Raynal Distributed Computing 13, 29-43, 2000 | 119 | 2000 |
| Detecting data races in parallel program executions R Netzer, BP Miller University of Wisconsin-Madison, Computer Sciences Department, 1989 | 113 | 1989 |
| Optimal tracing and incremental reexecution for debugging long-running programs RHB Netzer, MH Weaver ACM SIGPLAN Notices 29 (6), 313-325, 1994 | 103 | 1994 |
| Preventing useless checkpoints in distributed computations JM Helary, A Mostefaoui, RHB Netzer, M Raynal Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems …, 1997 | 96 | 1997 |
| Adaptive independent checkpointing for reducing rollback propagation J Xu, RHD Netzer Proceedings of 1993 5th IEEE Symposium on Parallel and Distributed …, 1993 | 94 | 1993 |
| Adaptive Independent Checkpointing for Reducing Rollback Propagation RHB Netzer, RI Providence | 94* | |
| Finding consistent global checkpoints in a distributed computation D Manivannan, RHB Netzer, M Singhal IEEE Transactions on Parallel and Distributed Systems 8 (6), 623-627, 1997 | 93 | 1997 |
| Finding consistent global checkpoints in a distributed computation D Manivannan, RHB Netzer, M Singhal IEEE Transactions on Parallel and Distributed Systems 8 (6), 623-627, 1997 | 93 | 1997 |
| Method and apparatus for selective replay of computer programs R Netzer US Patent 5,870,607, 1999 | 88 | 1999 |
