Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Netzer, Robert H.B."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Detecting race conditions in parallel programs that use semaphores
Philip N. Klein
,
Hsue-I Liu
,
Robert H.B. Netzer
Algorithmica
35
(4), 2003, pp. 321-345
Deadlock-free incremental replay of message-passing programs
Franco Zambonelli
,
Robert H.B. Netzer
Journal Parallel Distributed Computing
61
(5), 2001, pp. 667-678
An efficient logging algorithm for incremental replay of message-passing applications
Franco Zambonelli
,
Robert H.B. Netzer
Proceedings of the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, IPPS/SPDP'99 (San Juan, Puerto Rico, April 12-16, 1999)
, 1999, pp. 392-398
Finding consistent global checkpoints in a distributed computation
D. Manivannan
,
Robert H.B. Netzer
,
Mukesh Singhal
IEEE Transactions on Parallel and Distributed Systems
8
(6), 1997, pp. 623-627
Race-condition detection in parallel computation with semaphores
Philip N. Klein
,
Hsueh-I. Lu
,
Robert H.B. Netzer
Lecture Notes in Computer Science
1136
, 1996, pp. 445-459
Necessary and sufficient conditions for consistent global snapshots
Robert H.B. Netzer
,
Jian Xu
IEEE Transactions on Parallel and Distributed Systems
6
(2), 1995, pp. 165-169
Sender-based message logging for reducing rollback propagation
Jian Xu
,
Robert H.B. Netzer
,
Milon Mackey
Proceedings of the seventh IEEE Symposium on Parallel and Distributed Processing (San Antonio, Texas, October 25 - 28, 1995)
, 1995, pp. 602-609
Detecting race conditions in parallel programs that use one semaphore
Hsueh.-I. Lu
,
Philip N. Klein
,
Robert H.B. Netzer
Proceedings of the 3rd Workshop on Algorithms and Data Structures. WADS '93 (Montréal, Canada, August 1993)
LNCS 709
, 1993, pp. 471-482
Adaptive independent checkpointing for reducing rollback propagation
Jian Xu
,
Robert H.B. Netzer
Proceedings of the 5th IEEE Symposium on Parallel and Distributed Processing, SPDP'93 (Dallas, Texas, December 1-4, 1993)
, 1993, pp. 754-761
Efficient race condition detection for shared-memory programs with post/wait synchronization
Robert H.B. Netzer
,
Sanjoy Ghosh
Proceedings of the 1992 International Conference on Parallel Processing. Vol.~II Software, ICPP'92 (University of Michigan, Michigan, August 17--21, 1992)
, 1992, pp. 242-246
On the complexity of event ordering for shared-memory parallel program executions
Robert H.B. Netzer
,
Barton P. Miller
Proceedings of the 1990 International Conference on Parallel Processing. Vol.~II Software, ICPP'90 (St.~Charles, IL, August 13-17, 1990)
, 1990, pp. 93-97