{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:41:40Z","timestamp":1725727300817},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386008"},{"type":"electronic","value":"9783642386015"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38601-5_2","type":"book-chapter","created":{"date-parts":[[2013,5,27]],"date-time":"2013-05-27T01:25:01Z","timestamp":1369617901000},"page":"17-34","source":"Crossref","is-referenced-by-count":10,"title":["Tasklettes \u2013 A Fine Grained Parallelism for Ada on Multicores"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Michell","sequence":"first","affiliation":[]},{"given":"Brad","family":"Moore","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds Miguel","family":"Pinho","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1109\/TSE.1975.6312840","volume":"1","author":"P.B. Hansen","year":"1975","unstructured":"Hansen, P.B.: The Programming Language Concurrent Pascal. IEEE Transactions on Software Engineering\u00a01(2), 199\u2013207 (1975)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"2_CR3","unstructured":"Ada Programming Language, ANSI\/MIL-STD-1815A-1983 (1983)"},{"key":"2_CR4","unstructured":"Java Language Specification, http:\/\/www.oracle.com\/java (last accessed February 2013)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1095408.1095421","volume":"3","author":"H. Sutter","year":"2005","unstructured":"Sutter, H., Larus, J.: Software and the concurrency revolution. Queue\u00a03, 54\u201362 (2005)","journal-title":"Queue"},{"key":"2_CR6","unstructured":"Asanovic, K., Bodik, R., Catanzaro, B.C., Gebis, J.J., Husbands, P., Keutzer, K., Patterson, D.A., Plishker, W.L., Shalf, J., Williams, S.W., Yelick, K.A.: The landscape of parallel computing research: A view from Berkeley. Technical Report UCB\/EECS-2006-183, EECS Department, University of California, Berkeley (December 2006)"},{"key":"2_CR7","unstructured":"Ada 83 Rationale, http:\/\/www.adaic.org\/ada-resources\/standards\/ada83\/ (last accessed February 2013)"},{"key":"2_CR8","unstructured":"Mayer, H.G., Jahnichen, S.: The data-parallel Ada run-time system, simulation and empirical results. In: Proceedings of Seventh International Parallel Processing Symposium, Newport, CA, USA, pp. 621\u2013627 (April 1993)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Hind, M., Schonberg, E.: Efficient Loop-Level Parallelism in Ada. In: Proceedings of TriAda 1991 (October 1991)","DOI":"10.1145\/126551.126568"},{"key":"2_CR10","volume-title":"Proceedings of TRI-Ada 1994","author":"J. Thornley","year":"1994","unstructured":"Thornley, J.: Integrating parallel dataflow programming with the Ada tasking model. In: Engle Jr., C.B. (ed.) Proceedings of TRI-Ada 1994. ACM, New York (1994)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Moore, B.: Parallelism generics for Ada 2005 and beyond. In: Proceedings of the ACM SIGAda Annual Conference (SIGAda 2010) (October 2010)","DOI":"10.1145\/1879063.1879078"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Ali, H., Pinho, L.M.: A parallel programming model for Ada. In: Proceedings of the ACM SIGAda Annual Conference (SIGAda 2011) (November 2011)","DOI":"10.1145\/2070337.2070350"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Hansen, P.B.: Structured Multiprogramming. Communications of the ACM\u00a015(7) (July 1972)","DOI":"10.1145\/361454.361473"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1145\/277652.277725","volume":"33","author":"M. Frigo","year":"1998","unstructured":"Frigo, M., Leiserson, C.E., Randall, K.H.: The implementation of the cilk-5 multithreaded language. SIGPLAN Notice\u00a033, 212\u2013223 (1998)","journal-title":"SIGPLAN Notice"},{"key":"2_CR15","volume-title":"Proceedings of the 46th Annual Design Automation Conference","author":"C. Leiserson","year":"2009","unstructured":"Leiserson, C.: The Cilk++ concurrency platform. In: Proceedings of the 46th Annual Design Automation Conference. ACM, New York (2009)"},{"key":"2_CR16","unstructured":"Intel, Cilk Plus, http:\/\/software.intel.com\/en-us\/articles\/intel-cilk-plus\/ (last accessed February 2013)"},{"key":"2_CR17","unstructured":"Taft, T.: Designing ParaSail, a new programming language, http:\/\/parasail-programming-language.blogspot.pt\/ (last accessed February 2013)"},{"key":"2_CR18","unstructured":"Intel. Threading Building Blocks, http:\/\/threadingbuildingblocks.org\/ (last accessed February 2013)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/337449.337465","volume-title":"Proceedings of the ACM 2000 Conference on Java Grande, JAVA 2000","author":"D. Lea","year":"2000","unstructured":"Lea, D.: A Java fork\/join framework. In: Proceedings of the ACM 2000 Conference on Java Grande, JAVA 2000, pp. 36\u201343. ACM, New York (2000)"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/1284621.1284622","volume":"50","author":"A. Marowka","year":"2007","unstructured":"Marowka, A.: Parallel computing on any desktop. Communications of the ACM\u00a050, 74\u201378 (2007)","journal-title":"Communications of the ACM"},{"key":"2_CR21","unstructured":"Microsoft. Task parallel library, http:\/\/msdn.microsoft.com\/en-us\/library\/dd460717.aspx (last accessed February 2013)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Barnes, J.G.P.: Rationale for Ada 2012: 1 Contracts and aspects. Ada User Journal\u00a032(4) (December 2011)","DOI":"10.1007\/978-3-642-45210-9_1"},{"issue":"5","key":"2_CR23","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1145\/324133.324234","volume":"46","author":"R.D. Blumofe","year":"1999","unstructured":"Blumofe, R.D., Leiserson, C.E.: Scheduling multithreaded computations by work stealing. Journal of the ACM\u00a046(5), 720\u2013748 (1999)","journal-title":"Journal of the ACM"},{"key":"2_CR24","unstructured":"Halpern, P.: Strict Fork-Join Parallelism. JTC1\/SC22\/WG21 N3409 (September 2012)"},{"issue":"4","key":"2_CR25","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1145\/322217.322232","volume":"27","author":"R.E. Ladner","year":"1980","unstructured":"Ladner, R.E., Fischer, M.J.: Parallel Prefix Computation. Journal of the ACM\u00a027(4), 831\u2013838 (1980)","journal-title":"Journal of the ACM"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Moore, B.: A comparison of work-sharing, work-seeking, and work-stealing parallelism strategies using Paraffin with Ada 2005. Ada User Journal\u00a032(1) (March 2011), http:\/\/www.ada-europe.org (last accessed February 2013)","DOI":"10.1145\/2552999.2553002"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Moore, B., Michell, S., Pinho, L.M.: Parallelism in Ada: General Model and Ravenscar. In: 16th International Real-Time Ada Workshop, York, UK (April 2013)","DOI":"10.1145\/2552999.2553002"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2013"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38601-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,22]],"date-time":"2022-02-22T22:45:28Z","timestamp":1645569928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38601-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386008","9783642386015"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38601-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}