{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:27:08Z","timestamp":1748071628554},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571551"},{"type":"electronic","value":"9783540479185"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57155-8_272","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:06:15Z","timestamp":1330239975000},"page":"471-482","source":"Crossref","is-referenced-by-count":4,"title":["Detecting race conditions in parallel programs that use one semaphore"],"prefix":"10.1007","author":[{"given":"Hsueh -I","family":"Lu","sequence":"first","affiliation":[]},{"given":"Philip N.","family":"Klein","sequence":"additional","affiliation":[]},{"given":"Robert H. B.","family":"Netzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"44_CR1","unstructured":"Abdel-Wahab, H. M., \u201cScheduling with Application to Register Allocation and Deadlock Problems,\u201d University of Waterloo, PhD Thesis, 1976."},{"key":"44_CR2","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1287\/opre.26.1.141","volume":"26","author":"H. M. Abdel-Wahab","year":"1978","unstructured":"Abdel-Wahab, H. M. & Kameda, T., \u201cScheduling to Minimize Maximum Cumulative Cost Subject to Series-parallel Precedence Constraints,\u201d Operations Research 26 (1978), 141\u2013158.","journal-title":"Operations Research"},{"key":"44_CR3","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02242792","volume":"24","author":"H. M. Abdel-Wahab","year":"1980","unstructured":"-, \u201cOn Strictly Optimal Schedules for the Cumulative Cost-Optimal Scheduling Problem,\u201d Computing 24 (1980), 61\u201386.","journal-title":"Computing"},{"key":"44_CR4","doi-asserted-by":"crossref","unstructured":"Emrath, P. A., Ghosh, S. & Padua, D. A., \u201cEvent Synchronization Analysis for Debugging Parallel Programs,\u201d Supercomputing '89 (November 1989), 580\u2013588.","DOI":"10.1145\/76263.76329"},{"key":"44_CR5","unstructured":"Garey, M. R. & Johnson, D. S., Computers and Intractability\u2014A Guide to the Theory of NP-Completeness, W. H. Freeman and Company, 1979."},{"key":"44_CR6","unstructured":"Helmbold, D. P. & McDowell, C. E., \u201cA Class of Synchronization Operations that Permit Efficient Race Detection,\u201d University of California at Santa Cruz Technical Report (January 1993)."},{"key":"44_CR7","unstructured":"Helmbold, D. P., McDowell, C. E. & Wang, J-Z., \u201cAnalyzing Traces with Anonymous Synchronization,\u201d International Conference on Parallel Processing (August 1990), II70\u2013II77."},{"key":"44_CR8","unstructured":"Netzer, R. H. B. & Ghosh, S., \u201cEfficient Race Condition Detection for Shared-Memory Programs with Post\/Wait Synchronization,\u201d International Conference on Parallel Processing (August 1992), II242\u2013II246."},{"key":"44_CR9","unstructured":"Netzer, R. H. B. & Miller, B. P., \u201cOn the Complexity of Event Ordering for Shared-Memory Parallel Program Executions,\u201d International Conference on Parallel Processing (August 1990), II93\u2013II97."}],"container-title":["Lecture Notes in Computer Science","Algorithms and Data Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57155-8_272.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:58:42Z","timestamp":1619557122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57155-8_272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571551","9783540479185"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-57155-8_272","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}