{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:10:58Z","timestamp":1748664658848,"version":"3.41.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319246437"},{"type":"electronic","value":"9783319246444"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24644-4_13","type":"book-chapter","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T05:34:39Z","timestamp":1443072879000},"page":"191-206","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["High Performance Computing Applications Using Parallel Data Processing Units"],"prefix":"10.1007","author":[{"given":"Keyvan","family":"Azadbakht","sequence":"first","affiliation":[]},{"given":"Vlad","family":"Serbanescu","sequence":"additional","affiliation":[]},{"given":"Frank","family":"de Boer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,12]]},"reference":[{"key":"13_CR1","unstructured":"Pop, F., Potop-Butucaru, M.: Adaptive Resource Management and Scheduling for Cloud Computing"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Serbanescu, V., et al.: Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8. In: Adaptive Resource Management and Scheduling for Cloud Computing, pp. 103\u2013112. Springer International Publishing (2014)","DOI":"10.1007\/978-3-319-13464-2_8"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Nobakht, B., et al.: Programming and deployment of active objects with application-level scheduling. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing. ACM (2012)","DOI":"10.1145\/2245276.2232086"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"E.B. Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: A core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) Formal Methods for Components and Objects. LNCS, vol.\u00a06957, pp. 142\u2013164. Springer, Heidelberg (2011)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-662-45231-8_4","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"B. Nobakht","year":"2014","unstructured":"Nobakht, B., de Boer, F.S.: Programming with actors in Java 8. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol.\u00a08803, pp. 37\u201353. Springer, Heidelberg (2014)"},{"issue":"4","key":"13_CR6","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.1987.1663535","volume":"20","author":"S.H. Bokhari","year":"1987","unstructured":"Bokhari, S.H.: Multiprocessing the sieve of Eratosthenes. Computer\u00a020(4), 50\u201358 (1987)","journal-title":"Computer"},{"key":"13_CR7","unstructured":"SurfSara, https:\/\/surfsara.nl\/"},{"issue":"2","key":"13_CR8","first-page":"251","volume":"331","author":"E. Brahm","year":"2005","unstructured":"Brahm, E., et al.: An assertion-based proof system for multithreaded Java. Theoretical Computer Science\u00a0331(2), 251\u2013290 (2005)","journal-title":"Theoretical Computer Science"},{"issue":"10","key":"13_CR9","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R.: Monitors: An operating system structuring concept. Communications of the ACM\u00a017(10), 549\u2013557 (1974)","journal-title":"Communications of the ACM"},{"key":"13_CR10","unstructured":"Andrews, G.R.: Concurrent programming: principles and practice. Benjamin\/Cummings Publishing Company (1991)"},{"key":"13_CR11","unstructured":"Li, S., et al.: Analysis of the producer-consumer problem. Journal of Large-Scale Archetypes, 72\u201392 (2002)"},{"issue":"3","key":"13_CR12","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.scico.2005.03.007","volume":"58","author":"D. Lea","year":"2005","unstructured":"Lea, D.: The java. util. concurrent synchronizer framework. Science of Computer Programming\u00a058(3), 293\u2013309 (2005)","journal-title":"Science of Computer Programming"},{"key":"13_CR13","unstructured":"Oaks, S., Wong, H.: Java threads. O\u2019Reilly Media, Inc. (1999)"},{"key":"13_CR14","unstructured":"http:\/\/docs.oracle.com\/javase\/7\/docs\/api\/overview-summary.html"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Gropp, W., Lusk, E., Skjellum, A.: Using MPI: portable parallel programming with the message-passing interface, vol.\u00a01. MIT press (1999)","DOI":"10.7551\/mitpress\/7056.001.0001"},{"issue":"4","key":"13_CR16","first-page":"53","volume":"9","author":"A. Pop","year":"2013","unstructured":"Pop, A., Cohen, A.: OpenStream: Expressiveness and data-flow compilation of OpenMP streaming programs. ACM Transactions on Architecture and Code Optimization (TACO)\u00a09(4), 53 (2013)","journal-title":"ACM Transactions on Architecture and Code Optimization (TACO)"},{"key":"13_CR17","unstructured":"Briggs, E., et al.: DFT-Based Electronic Structure Calculations on Hybrid and Massively Parallel Computer Architectures. Bulletin of the American Physical Society (2014)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Asai, R., Vladimirov, A.: \u201cIntel Cilk Plus for Complex Parallel Algorithms:\u201c Enormous Fast Fourier Transform\u201d(EFFT) Library.\u201d arXiv preprint arXiv:1409.5757 (2014)","DOI":"10.1016\/j.parco.2015.05.004"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Rabenseifner, R., Hager, G., Jost, G.: Hybrid MPI\/OpenMP parallel programming on clusters of multi-core SMP nodes. In: 2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing. IEEE (2009)","DOI":"10.1109\/PDP.2009.43"},{"issue":"1","key":"13_CR20","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/99.660313","volume":"5","author":"L. Dagum","year":"1998","unstructured":"Dagum, L., Menon, R.: OpenMP: an industry standard API for shared-memory programming. IEEE Computational Science & Engineering\u00a05(1), 46\u201355 (1998)","journal-title":"IEEE Computational Science & Engineering"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Gravvanis, G.A., et al.: A note on parallel finite difference approximate inverse preconditioning on multicore systems using POSIX threads. International Journal of Computational Methods 10(05) (2013)","DOI":"10.1142\/S0219876213500321"},{"key":"13_CR22","unstructured":"Mueller, F.: A Library Implementation of POSIX Threads under UNIX. USENIX Winter (1993)"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Snyder, L.: A taxonomy of synchronous parallel machines. Washington Univ. Seattle Dept. of Computer Science (1988)","DOI":"10.21236\/ADA204256"},{"issue":"3","key":"13_CR24","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/48675.48682","volume":"16","author":"E.E. Johnson","year":"1988","unstructured":"Johnson, E.E.: Completing an MIMD multiprocessor taxonomy. ACM SIGARCH Computer Architecture News\u00a016(3), 44\u201347 (1988)","journal-title":"ACM SIGARCH Computer Architecture News"},{"key":"13_CR25","unstructured":"UPSCALE European Project. http:\/\/www.upscale-project.eu\/"},{"key":"13_CR26","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-2836(81)90087-5","volume":"147","author":"T.F. Smith","year":"1981","unstructured":"Smith, T.F., Waterman, M.S.: Identification of Common Molecular Subsequences. J. Mol. Biol.\u00a0147, 195\u2013197 (1981)","journal-title":"J. Mol. Biol."},{"key":"13_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1148","DOI":"10.1007\/11823285_121","volume-title":"Euro-Par 2006 Parallel Processing","author":"P. May","year":"2006","unstructured":"May, P., Ehrlich, H.C., Steinke, T.: ZIB Structure Prediction Pipeline: Composing a Complex Biological Workflow through Web Services. In: Nagel, W.E., Walter, W.V., Lehner, W. (eds.) Euro-Par 2006. LNCS, vol.\u00a04128, pp. 1148\u20131158. Springer, Heidelberg (2006)"},{"key":"13_CR28","unstructured":"Foster, I., Kesselman, C.: The Grid: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, San Francisco (1999)"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Czajkowski, K., Fitzgerald, S., Foster, I., Kesselman, C.: Grid Information QServices for Distributed Resource Sharing. In: 10th IEEE International Symposium on High Performance Distributed Computing, pp. 181\u2013184. IEEE Press, New York (2001)","DOI":"10.1109\/HPDC.2001.945188"},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Foster, I., Kesselman, C., Nick, J., Tuecke, S.: The Physiology of the Grid: an Open Grid Services Architecture for Distributed Systems Integration. Technical report, Global Grid Forum (2002)","DOI":"10.1109\/MC.2002.1009167"},{"issue":"2","key":"13_CR31","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/129630.376083","volume":"35","author":"D. Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Communications of the ACM\u00a035(2), 96 (1992)","journal-title":"Communications of the ACM"},{"key":"13_CR32","unstructured":"National Center for Biotechnology Information. http:\/\/www.ncbi.nlm.nih.gov"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24644-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T19:53:14Z","timestamp":1748634794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24644-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319246437","9783319246444"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24644-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}