{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:09:38Z","timestamp":1725516578471},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540693024"},{"type":"electronic","value":"9783540693031"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69303-1_11","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"125-128","source":"Crossref","is-referenced-by-count":0,"title":["An Investigation on Testing of Parallelized Code with OpenMP"],"prefix":"10.1007","author":[{"given":"Robert","family":"Barnhart","sequence":"first","affiliation":[]},{"given":"Christian","family":"Trefftz","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Jorgensen","sequence":"additional","affiliation":[]},{"given":"Yonglei","family":"Tao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Parallel Programming in OpenMP","author":"R. Chandra","year":"2001","unstructured":"Chandra, R., et al.: Parallel Programming in OpenMP. Morgan Kaufmann, San Francisco (2001)"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1147\/rd.111.0025","volume":"11","author":"R. Tomasulo","year":"1967","unstructured":"Tomasulo, R.: An Efficient Algorithm for Exploiting Multiple Arithmetic Units. IBM Journal of Research and Development\u00a011(1), 25 (1967)","journal-title":"IBM Journal of Research and Development"},{"issue":"12","key":"11_CR3","doi-asserted-by":"publisher","first-page":"1184","DOI":"10.1145\/7902.7904","volume":"29","author":"D.A. Padua","year":"1986","unstructured":"Padua, D.A., Wolfe, M.: Advance Compiler Optimization for Supercomputers. Communications of the ACM\u00a029(12), 1184\u20131201 (1986)","journal-title":"Communications of the ACM"},{"key":"11_CR4","doi-asserted-by":"crossref","DOI":"10.1201\/b16592","volume-title":"Software Testing - A Craftsman\u2019s Approach","author":"P. Jorgensen","year":"2002","unstructured":"Jorgensen, P.: Software Testing - A Craftsman\u2019s Approach, 2nd edn. CRC, Boca Raton (2002)","edition":"2"},{"issue":"5","key":"11_CR5","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1109\/TSE.1980.230788","volume":"6","author":"J. Huang","year":"1980","unstructured":"Huang, J.: A New Verification Rule and Its Application. IEEE Transactions on Software Engineering\u00a06(5), 480\u2013484 (1980)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","A Practical Programming Model for the Multi-Core Era"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69303-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:34:25Z","timestamp":1620002065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69303-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540693024","9783540693031"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69303-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}