{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:15Z","timestamp":1725664695051},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616801"},{"type":"electronic","value":"9783540706670"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61680-2_74","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:11:26Z","timestamp":1330276286000},"page":"445-459","source":"Crossref","is-referenced-by-count":0,"title":["Race-condition detection in parallel computation with semaphores (extended abstract)"],"prefix":"10.1007","author":[{"given":"Philip N.","family":"Klein","sequence":"first","affiliation":[]},{"given":"Hsueh-I","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Robert H. B.","family":"Netzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"33_CR1","unstructured":"Abdel-Wahab, H. M., \u201cScheduling with Application to Register Allocation and Deadlock Problems\u201d, U. of Waterloo, PhD Thesis, 1976."},{"key":"33_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":"33_CR3","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02242792","volume":"24","author":"H. M. Abdel-Wahab","year":"1980","unstructured":"Abdel-Wahab, H. M. & Kameda, T., \u201cOn Strictly Optimal Schedules for the Cumulative Cost-Optimal Scheduling Problem\u201d, Computing 24 (1980), 61\u201386.","journal-title":"Computing"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Emrath, P. A., Ghosh, S. & Padua, D. A., \u201cEvent Synchronization Analysis for Debugging Parallel Programs\u201d, Supercomputing '89 (1989), 580\u2013588.","DOI":"10.1145\/76263.76329"},{"key":"33_CR5","unstructured":"Garey, M. R. & Johnson, D. S., \u201cComputers and Intractability\u2014A Guide to the Theory of NP-Completeness\u201d, 1979."},{"key":"33_CR6","unstructured":"Helmbold, D. P. & McDowell, C. E., \u201cA Class of Synchronization Operations that Permit Efficient Race Detection\u201d, U. of California at Santa Cruz Technical Report (1993)."},{"key":"33_CR7","unstructured":"Helmbold, D. P., McDowell, C. E. & Wang, J-Z., \u201cAnalyzing Traces with Anonymous Synchronization\u201d, Int. Conf. on Parallel Processing (August 1990), II70-II77."},{"key":"33_CR8","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-57155-8_272","volume":"3","author":"H-I. Lu","year":"1993","unstructured":"Lu, H-I., Klein, P. N. & Netzer, R. H. B., \u201cDetecting Race Conditions in Parallel Programs that Use One Semaphore\u201d, Workshop on Algorithms and Data Structures 3 (1993), 471\u2013482.","journal-title":"Workshop on Algorithms and Data Structures"},{"key":"33_CR9","unstructured":"Netzer, R. H. B. & Ghosh, S., \u201cEfficient Race Condition Detection for Shared-Memory Programs with Post\/Wait Synchronization\u201d, Int. Conf. on Parallel Processing (1992), II242\u2013II246."},{"key":"33_CR10","unstructured":"Netzer, R. H. B. & Miller, B. P., \u201cOn the Complexity of Event Ordering for Shared-Memory Parallel Program Executions\u201d, Int. Conf. on Parallel Processing (1990), II93\u2013II97."}],"container-title":["Lecture Notes in Computer Science","Algorithms \u2014 ESA '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61680-2_74.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:09:14Z","timestamp":1605629354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61680-2_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616801","9783540706670"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-61680-2_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}