フォロー
Robert H.B. Netzer
Robert H.B. Netzer
所属不明
確認したメール アドレス: bolabs.com
タイトル
引用先
引用先
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
7191992
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
7191992
Necessary and sufficient conditions for consistent global snapshots
RHB Netzer, J Xu
Parallel and Distributed Systems, IEEE Transactions on 6 (2), 165-169, 1995
3471995
Optimal tracing and replay for debugging message-passing parallel programs
RHB Netzer, BP Miller
The Journal of Supercomputing 8 (4), 371-388, 1995
2941995
Optimal tracing and replay for debugging message-passing parallel programs
RHB Netzer, BP Miller
The Journal of Supercomputing 8 (4), 371-388, 1995
2941995
Optimal tracing and replay for debugging shared-memory parallel programs
RHB Netzer
Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed …, 1993
2411993
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
2241991
Improving the accuracy of data race detection
RHB Netzer, BP Miller
Proceedings of the third ACM SIGPLAN symposium on Principles and practice of …, 1991
2101991
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
1821991
Compressed differences: An algorithm for fast incremental checkpointing
JS Plank, J Xu, RHB Netzer
Technical Report CS-95-302, University of Tennessee, 1995
1391995
On the complexity of event ordering for shared-memory parallel program executions
RHB Netzer, BP Miller
University of Wisconsin-Madison, Computer Sciences Department, 1990
1231990
Communication-based prevention of useless checkpoints in distributed computations
JM Hélary, A Mostefaoui, RHB Netzer, M Raynal
Distributed Computing 13, 29-43, 2000
1172000
Detecting data races in parallel program executions
R Netzer, BP Miller
University of Wisconsin-Madison, Computer Sciences Department, 1989
1081989
Optimal tracing and incremental reexecution for debugging long-running programs
RHB Netzer, MH Weaver
ACM SIGPLAN Notices 29 (6), 313-325, 1994
1021994
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
961997
Adaptive independent checkpointing for reducing rollback propagation
J Xu, RHD Netzer
Proceedings of 1993 5th IEEE Symposium on Parallel and Distributed …, 1993
931993
Adaptive Independent Checkpointing for Reducing Rollback Propagation
RHB Netzer, RI Providence
93*
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
911997
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
911997
Method and apparatus for selective replay of computer programs
R Netzer
US Patent 5,870,607, 1999
881999
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20