1: \begin{thebibliography}{10}
2:
3: \bibitem{Abdel-Wahab:1976:SAR}
4: H.~M. Abdel-Wahab.
5: \newblock {\em Scheduling with Application to Register Allocation and Deadlock
6: Problems}.
7: \newblock PhD thesis, University of Waterloo, 1976.
8:
9: \bibitem{Abdel-Wahab:1978:SMM}
10: H.~M. Abdel-Wahab and T.~Kameda.
11: \newblock Scheduling to minimize maximum cumulative cost subject to
12: series-parallel precedence constraints.
13: \newblock {\em Operations Research}, 26(1):141--158, 1978.
14:
15: \bibitem{Abdel-Wahab:1980:SOS}
16: H.~M. Abdel-Wahab and T.~Kameda.
17: \newblock On strictly optimal schedules for the cumulative cost-optimal
18: scheduling problem.
19: \newblock {\em Computing}, 24:61--86, 1980.
20:
21: \bibitem{Emrath:19xx:ESA}
22: P.~A. Emrath, S.~Ghosh, and D.~A. Padua.
23: \newblock Event synchronization analysis for debugging parallel programs.
24: \newblock In {\em Proceedings of Supercomputing}, pages 580--588, Reno, NV,
25: 1989. Reno, NV.
26:
27: \bibitem{Emrath:1992:DNP}
28: P.~A. Emrath, S.~Ghosh, and D.~A. Padua.
29: \newblock Detecting nondeterminacy in parallel programs.
30: \newblock {\em IEEE Software}, 9(1):69--77, 1992.
31:
32: \bibitem{Garey:1979:CIG}
33: M.~R. Garey and D.~S. Johnson.
34: \newblock {\em Computers and Intractability---A Guide to the Theory of
35: NP-Completeness}.
36: \newblock W. H. Freeman and Company, 1979.
37:
38: \bibitem{Ha:2002:SEF}
39: K.-S. Ha, E.-K. Ryu, and K.-Y. Yoo.
40: \newblock Space-efficient first race detection in shared memory programs with
41: nested parallelism.
42: \newblock In J.~Fagerholm, J.~Haataja, J.~J{\"a}rvinen, M.~Lyly, P.~R{\aa}back,
43: and V.~Savolainen, editors, {\em Proceedings of the 6th International
44: Conference on Applied Parallel Computing Advanced Scientific Computing},
45: Lecture Notes in Computer Science 2367, pages 253--263, Espoo, Finland, 2002.
46: Springer.
47:
48: \bibitem{Helmbold:1993:CSO}
49: D.~P. Helmbold and C.~E. McDowell.
50: \newblock A class of synchronization operations that permit efficient race
51: detection.
52: \newblock Technical Report UCSC-CRL-93-29, University of California at Santa
53: Cruz Technical Report, 1993.
54:
55: \bibitem{Helmbold:1996:TRC}
56: D.~P. Helmbold and C.~E. McDowell.
57: \newblock A taxonomy of race conditions.
58: \newblock {\em Journal of Parallel and Distributed Computing}, 33:159--164,
59: 1996.
60:
61: \bibitem{Helmbold:19xx:ATA}
62: D.~P. Helmbold, C.~E. McDowell, and J.-Z. Wang.
63: \newblock Analyzing traces with anonymous synchronization.
64: \newblock In {\em Proceedings of the International Conference on Parallel
65: Processing}, pages II70--II77. St. Charles, IL, August 1990.
66:
67: \bibitem{Itzkovitz:1999:TID}
68: A.~Itzkovitz, A.~Schuster, and O.~Zeev-Ben-Mordehai.
69: \newblock Toward integration of data race detection in dsm systems.
70: \newblock {\em Journal of Parallel and Distributed Computing}, 59(2):180--203,
71: 1999.
72:
73: \bibitem{Klein:19xx:RCD}
74: P.~N. Klein, H.-I. Lu, and R.~H.~B. Netzer.
75: \newblock Race-condition detection in parallel computation with semaphores.
76: \newblock In J.~D{\'\i}az and M.~Serna, editors, {\em Proceedings of the 4th
77: Annual European Symposium on Algorithms}, Lecture Notes in Computer Science
78: 1136, pages 445--459, Barcelona, Spain, 1996.
79:
80: \bibitem{Lu:19xx:DRC}
81: H.-I. Lu, P.~N. Klein, and R.~H.~B. Netzer.
82: \newblock Detecting race conditions in parallel programs that use one
83: semaphore.
84: \newblock In F.~K. H.~A. Dehne, J.-R. Sack, N.~Santoro, and S.~Whitesides,
85: editors, {\em Proceedings of the 3rd Workshop on Algorithms and Data
86: Structures}, Lecture Notes in Computer Science 709, pages 471--482,
87: Montr{\'e}al, Canada, 1993.
88:
89: \bibitem{Netzer:1992:ERC}
90: R.~H.~B. Netzer and S.~Ghosh.
91: \newblock Efficient race condition detection for shared-memory programs with
92: post/wait synchronization.
93: \newblock In {\em Proceedings of the International Conference on Parallel
94: Processing}, pages II242--II246. St. Charles, IL, August 1992.
95:
96: \bibitem{Netzer:1990:CEO}
97: R.~H.~B. Netzer and B.~P. Miller.
98: \newblock On the complexity of event ordering for shared-memory parallel
99: program executions.
100: \newblock In {\em Proceedings of the International Conference on Parallel
101: Processing}, pages II93--II97, August 1990.
102:
103: \bibitem{Netzer:1992:WRC}
104: R.~H.~B. Netzer and B.~P. Miller.
105: \newblock What are race conditions? {S}ome issues and formalizations.
106: \newblock {\em ACM Letters on Programming Languages and Systems}, 1(1):74--88,
107: 1992.
108:
109: \bibitem{Savage:1997:EDD}
110: S.~Savage, M.~Burrows, G.~Nelson, P.~Sobalvarro, and T.~Anderson.
111: \newblock {Eraser}: {A} dynamic data race detector for multithreaded programs.
112: \newblock {\em ACM Transactions on Computer Systems}, 15(4):391--411, 1997.
113:
114: \bibitem{Simmons:1996:DPT}
115: M.~L. Simmons, A.~H. Hayes, J.~S. Brown, and D.~A. Reed, editors.
116: \newblock {\em Debugging and Performance Tuning for Parallel Computing
117: Systems}.
118: \newblock IEEE Computer Society Press, 1996.
119:
120: \end{thebibliography}
121: