{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:28Z","timestamp":1750307608589,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T00:00:00Z","timestamp":1263859200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,1,19]]},"DOI":"10.1145\/1708046.1708054","type":"proceedings-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T20:15:04Z","timestamp":1263932104000},"page":"25-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["S-Net for multi-memory multicores"],"prefix":"10.1145","author":[{"given":"Clemens","family":"Grelck","sequence":"first","affiliation":[{"name":"University of Amsterdam, Amsterdam, Netherlands"}]},{"given":"Jukka","family":"Julku","sequence":"additional","affiliation":[{"name":"VTT Technical Research Center of Finland, Espo, Finland"}]},{"given":"Frank","family":"Penczek","sequence":"additional","affiliation":[{"name":"University of Hertfordshire, Hatfield, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2010,1,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004153"},{"volume-title":"Argonne National Laboratory","year":"2009","key":"e_1_3_2_1_2_1","unstructured":"MPICH2. Argonne National Laboratory , 2009 . http:\/\/www.mcs.anl.gov\/mpi\/mpich2. MPICH2. Argonne National Laboratory, 2009. http:\/\/www.mcs.anl.gov\/mpi\/mpich2."},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the \u00c6ther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'08)","author":"Cai H.","year":"2008","unstructured":"H. Cai , S. Eisenbach , C. Grelck , F. Penczek , S.-B. Scholz , and A. Shafarenko . S-Net Type System and Operational Semantics . In Proceedings of the \u00c6ther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'08) , Lugano, Switzerland , 2008 . H. Cai, S. Eisenbach, C. Grelck, F. Penczek, S.-B. Scholz, and A. Shafarenko. S-Net Type System and Operational Semantics. In Proceedings of the \u00c6ther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'08), Lugano, Switzerland, 2008."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/648133.748304"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(90)90035-N"},{"key":"e_1_3_2_1_6_1","first-page":"197","volume-title":"First International Conference on Coordination Models, Languages and Applications (Coordination'96)","author":"Florijn G.","year":"1996","unstructured":"G. Florijn , T. Bessamusca , and D. Greefhorst . Ariadne and HO-PLa: flexible coordination of collaborative processes. In P. Ciancarini and C. Hankin, editors , First International Conference on Coordination Models, Languages and Applications (Coordination'96) , Cesena, Italy , 15-17 April , 1996 . LNCS 1061, pages 197 -- 214 , 1996. G. Florijn, T. Bessamusca, and D. Greefhorst.Ariadne and HO-PLa: flexible coordination of collaborative processes. In P. Ciancarini and C. Hankin, editors, First International Conference on Coordination Models, Languages and Applications (Coordination'96), Cesena, Italy, 15-17 April, 1996. LNCS 1061, pages 197--214, 1996."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2363.2433"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","volume-title":"Implementation and Application of Functional Languages, 20th International Symposium, IFL'08","author":"Grelck C.","year":"2009","unstructured":"C. Grelck and F. Penczek . Implementation Architecture and Multithreaded Runtime System of S-Net . In S. Scholz and O. Chitil, editors, Implementation and Application of Functional Languages, 20th International Symposium, IFL'08 , Hatfield, United Kingdom, Lecture Notes in Computer Science . Springer-Verlag , 2009 . to appear. C. Grelck and F. Penczek. Implementation Architecture and Multithreaded Runtime System of S-Net. In S. Scholz and O. Chitil, editors, Implementation and Application of Functional Languages, 20th International Symposium, IFL'08, Hatfield, United Kingdom, Lecture Notes in Computer Science. Springer-Verlag, 2009. to appear."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-006-0018-x"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2007.370408"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626408003351"},{"key":"e_1_3_2_1_13_1","volume-title":"Using MPI: Portable Parallel Programming with the Message Passing Interface","author":"Gropp W.","year":"1994","unstructured":"W. Gropp , E. Lusk , and A. Skjellum . Using MPI: Portable Parallel Programming with the Message Passing Interface . MIT Press , Cambridge, Massachusetts, USA , 1994 . W. Gropp, E. Lusk, and A. Skjellum. Using MPI: Portable Parallel Programming with the Message Passing Interface. MIT Press, Cambridge, Massachusetts, USA, 1994."},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","first-page":"100","volume-title":"First Central European Summer School, CEFP","author":"Hammond K.","year":"2005","unstructured":"K. Hammond . Exploiting purely functional programming to obtain bounded resource behaviour: the Hume approach . In Z. Horv\u00e1th, editor, First Central European Summer School, CEFP 2005 , Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures, volume 4164 of Lecture Notes in Computer Science , pages 100 -- 134 . Springer-Verlag , 2006. ISBN 978-3-540-46843-1. K. Hammond. Exploiting purely functional programming to obtain bounded resource behaviour: the Hume approach. In Z. Horv\u00e1th, editor, First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures, volume 4164 of Lecture Notes in Computer Science, pages 100--134. Springer-Verlag, 2006. ISBN 978-3-540-46843-1."},{"key":"e_1_3_2_1_15_1","volume-title":"From a few cores to many: a Terascale computing research overview. Technical report","author":"Held J.","year":"2006","unstructured":"J. Held , J. Bautista , and S. Koehl . From a few cores to many: a Terascale computing research overview. Technical report , Intel Corporation , 2006 . J. Held, J. Bautista, and S. Koehl. From a few cores to many: a Terascale computing research overview. Technical report, Intel Corporation, 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005526"},{"key":"e_1_3_2_1_17_1","series-title":"Trends in Functional Programming","volume-title":"Draft proceedings from the 2nd Scottish Functional Programming Workshop (SFP00)","author":"Michaelson G.","year":"2000","unstructured":"G. Michaelson and K. Hammond . Hume: a functionally-inspired language for safety-critical systems . In Draft proceedings from the 2nd Scottish Functional Programming Workshop (SFP00) , University of St Andrews , Scotland, July 26th to 28th, 2000 , volume 2 of Trends in Functional Programming , 2000. G. Michaelson and K. Hammond.Hume: a functionally-inspired language for safety-critical systems. In Draft proceedings from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000, volume 2 of Trends in Functional Programming, 2000."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60208-9"},{"key":"e_1_3_2_1_19_1","volume-title":"20th International Symposium, IFL'08","author":"Penczek F.","year":"2008","unstructured":"F. Penczek , S.-B. Scholz , and C. Grelck . Towards Reconfiguration and Self-Adaptivity in S-Net. In S.-B. Scholz, editor, Implementation and Application of Functional Languages , 20th International Symposium, IFL'08 , Hatfield, Hertfordshire, UK, Technical Report 474, pages 330--339. University of Hertfordshire, UK , 2008 . F. Penczek, S.-B. Scholz, and C. Grelck. Towards Reconfiguration and Self-Adaptivity in S-Net. In S.-B. Scholz, editor, Implementation and Application of Functional Languages, 20th International Symposium, IFL'08, Hatfield, Hertfordshire, UK, Technical Report 474, pages 330--339. University of Hertfordshire, UK, 2008."},{"key":"e_1_3_2_1_20_1","volume-title":"Distributed Shared Memory: Concepts and Systems","author":"Protic J.","year":"1998","unstructured":"J. Protic , M. Tomasevic , and V. Milutinovic . Distributed Shared Memory: Concepts and Systems . John Wiley and Sons , 1998 . ISBN 0-8186-7737-6. J. Protic, M. Tomasevic, and V. Milutinovic. Distributed Shared Memory: Concepts and Systems. John Wiley and Sons, 1998. ISBN 0-8186-7737-6."},{"key":"e_1_3_2_1_21_1","volume-title":"School of Computer Science","author":"Siegel E.H.","year":"1991","unstructured":"E.H. Siegel and E.C. Cooper . Implementing distributed linda in standard ml. Technical report , School of Computer Science , Carnegie Mellon University , Pittsburgh, PA 15213, USA, 1991 . E.H. Siegel and E.C. Cooper. Implementing distributed linda in standard ml. Technical report, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA, 1991."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.4330020404"},{"key":"e_1_3_2_1_23_1","volume-title":"Department of Computer Science","author":"Sutcliffe G.","year":"1989","unstructured":"G. Sutcliffe and J. Pinakis . Prolog-linda : An embedding of linda in muprolog. Technical report , Department of Computer Science , The University of Western Australia , Nedlands , 6009, Western Australia, 1989 . G. Sutcliffe and J. Pinakis. Prolog-linda : An embedding of linda in muprolog. Technical report, Department of Computer Science, The University of Western Australia, Nedlands, 6009, Western Australia, 1989."},{"issue":"3","key":"e_1_3_2_1_24_1","article-title":"The free lunch is over: A fundamental turn towards concurrency in software","volume":"30","author":"Sutter H.","year":"2005","unstructured":"H. Sutter . The free lunch is over: A fundamental turn towards concurrency in software . Dr. Dobb's Journal , 30 ( 3 ), 2005 . H. Sutter. The free lunch is over: A fundamental turn towards concurrency in software. Dr. Dobb's Journal, 30(3), 2005.","journal-title":"Dr. Dobb's Journal"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v16:10"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of The 9th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'04)","author":"Zhang K.","year":"2004","unstructured":"K. Zhang , K. Damevski , and S. Parker . SCIRun2: A CCA framework for high performance computing . In Proceedings of The 9th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'04) , Santa F\u00e9, NM, USA, pages 72--79. IEEE Computer Society , 2004 . K. Zhang, K. Damevski, and S. Parker. SCIRun2: A CCA framework for high performance computing. In Proceedings of The 9th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'04), Santa F\u00e9, NM, USA, pages 72--79. IEEE Computer Society, 2004."}],"event":{"name":"POPL '10: The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Madrid Spain","acronym":"POPL '10"},"container-title":["Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1708046.1708054","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1708046.1708054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:37Z","timestamp":1750250737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1708046.1708054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,19]]},"references-count":25,"alternative-id":["10.1145\/1708046.1708054","10.1145\/1708046"],"URL":"https:\/\/doi.org\/10.1145\/1708046.1708054","relation":{},"subject":[],"published":{"date-parts":[[2010,1,19]]},"assertion":[{"value":"2010-01-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}