{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:18:52Z","timestamp":1725743932662},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642404467"},{"type":"electronic","value":"9783642404474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40447-4_17","type":"book-chapter","created":{"date-parts":[[2013,8,6]],"date-time":"2013-08-06T01:00:39Z","timestamp":1375750839000},"page":"263-278","source":"Crossref","is-referenced-by-count":2,"title":["RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Boudeville","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Cesarini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Chechina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenneth","family":"Lundin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaos","family":"Papaspyrou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"Trinder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulf","family":"Wiger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Trew, A.: Parallelism and the exascale challenge. Distinguished Lecture. St Andrews University, St Andrews, UK (2010)","key":"17_CR1"},{"unstructured":"Ericsson, A.B.: Erlang\/OTP Efficiency Guide, System Limits (2011), \n                    \n                      erlang.org\/doc\/efficiency_guide\/advanced.html#id67011","key":"17_CR2"},{"unstructured":"Cesarini, F., Thompson, S.: Erlang Programming. O\u2019Reilly (2009)","key":"17_CR3"},{"issue":"10","key":"17_CR4","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/323648.323743","volume":"21","author":"G. Agha","year":"1986","unstructured":"Agha, G.: An overview of Actor languages. SIGPLAN Not.\u00a021(10), 58\u201367 (1986)","journal-title":"SIGPLAN Not."},{"unstructured":"IBM Research: IBM Research Blue Gene Project (2012), \n                    \n                      www.research.ibm.com\/bluegene\/index.html","key":"17_CR5"},{"key":"17_CR6","first-page":"235","volume-title":"IJCAI 1973","author":"C. Hewitt","year":"1973","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: IJCAI 1973, pp. 235\u2013245. Morgan Kaufmann, San Francisco (1973)"},{"doi-asserted-by":"crossref","unstructured":"Epstein, J., Black, A.P., Peyton-Jones, S.: Towards Haskell in the Cloud. In: Haskell 2011, pp. 118\u2013129. ACM (2011)","key":"17_CR7","DOI":"10.1145\/2096148.2034690"},{"unstructured":"Odersky, M., et al.: The Scala programming language (2012), \n                    \n                      www.scala-lang.org","key":"17_CR8"},{"doi-asserted-by":"crossref","unstructured":"Syme, D., Granicz, A., Cisternino, A.: Expert F#. Springer (2007)","key":"17_CR9","DOI":"10.1007\/978-1-4302-0285-1"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-70592-5_6","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"S. Srinivasan","year":"2008","unstructured":"Srinivasan, S., Mycroft, A.: Kilim: Isolation-typed actors for Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 104\u2013128. Springer, Heidelberg (2008)"},{"unstructured":"Intel Corporation: Tera-scale computing architecture overview (2012), \n                    \n                      http:\/\/www.intel.com\/content\/www\/us\/en\/research\/intel-labs-terascale-computing-demo.html","key":"17_CR11"},{"doi-asserted-by":"crossref","unstructured":"Marr, S., Haupt, M., Timbermont, S., Adams, B., D\u2019Hondt, T., Costanza, P., Meuter, W.D.: Virtual machine support for many-core architectures: Decoupling abstract from concrete concurrency models. In: PLACES, pp. 63\u201377 (2009)","key":"17_CR12","DOI":"10.4204\/EPTCS.17.6"},{"unstructured":"Noll, A., Gal, A., Franz, M.: CellVM: A homogeneous virtual machine runtime system for a heterogeneous single-chip multiprocessor. In: Workshop on Cell Systems and Applications (2009)","key":"17_CR13"},{"issue":"12","key":"17_CR14","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/1837513.1640149","volume":"44","author":"D. Ungar","year":"2009","unstructured":"Ungar, D., Adams, S.S.: Hosting an object heap on manycore hardware: An exploration. SIGPLAN Not.\u00a044(12), 99\u2013110 (2009)","journal-title":"SIGPLAN Not."},{"key":"17_CR15","first-page":"91","volume-title":"PPPJ 2009","author":"A. Leung","year":"2009","unstructured":"Leung, A., Lhot\u00e1k, O., Lashari, G.: Automatic parallelization for graphics processing units. In: PPPJ 2009, pp. 91\u2013100. ACM, New York (2009)"},{"issue":"3","key":"17_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1360612.1360617","volume":"27","author":"L. Seiler","year":"2008","unstructured":"Seiler, L., Carmean, D., Sprangle, E., Forsyth, T., Abrash, M., Dubey, P., Junkins, S., Lake, A., Sugerman, J., Cavin, R., Espasa, R., Grochowski, E., Juan, T., Hanrahan, P.: Larrabee: A many-core x86 architecture for visual computing. ACM Trans. Graph.\u00a027(3), 18:1\u201318:15 (2008)","journal-title":"ACM Trans. Graph."},{"key":"17_CR17","first-page":"11","volume-title":"PPPJ 2009","author":"R.K. Karmani","year":"2009","unstructured":"Karmani, R.K., Shali, A., Agha, G.: Actor frameworks for the JVM platform: A comparative analysis. In: PPPJ 2009, pp. 11\u201320. ACM, New York (2009)"},{"issue":"2","key":"17_CR18","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.scico.2006.02.006","volume":"62","author":"K. Sagonas","year":"2006","unstructured":"Sagonas, K., Wilhelmsson, J.: Efficient memory management for concurrent programs that use message passing. Sci. Comput. Program.\u00a062(2), 98\u2013121 (2006)","journal-title":"Sci. Comput. Program."},{"key":"17_CR19","volume-title":"Parallel Programming in OpenMP","author":"R. Chandra","year":"2001","unstructured":"Chandra, R., Dagum, L., Kohr, D., Maydan, D., McDonald, J., Menon, R.: Parallel Programming in OpenMP. Morgan Kaufmann, San Francisco (2001)"},{"key":"17_CR20","volume-title":"MPI: The Complete Reference","author":"M. Snir","year":"1995","unstructured":"Snir, M., Otto, S.W., Walker, D.W., Dongarra, J., Huss-Lederman, S.: MPI: The Complete Reference. MIT Press, Cambridge (1995)"},{"key":"17_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/11846802_24","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"D. Dewolfs","year":"2006","unstructured":"Dewolfs, D., Broeckhove, J., Sunderam, V.S., Fagg, G.E.: FT-MPI, fault-tolerant metacomputing and generic name services: A case study. In: Mohr, B., Tr\u00e4ff, J.L., Worringen, J., Dongarra, J. (eds.) PVM\/MPI 2006. LNCS, vol.\u00a04192, pp. 133\u2013140. Springer, Heidelberg (2006)"},{"unstructured":"Odersky, M., Altherr, P., Cremet, V.: The Scala language specification. Technical report, EFPL, Lausanne, Switzerland (April 2004)","key":"17_CR22"},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-70592-5_8","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"H. Rajan","year":"2008","unstructured":"Rajan, H., Leavens, G.T.: Ptolemy: A language with quantified, typed events. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 155\u2013179. Springer, Heidelberg (2008)"},{"key":"17_CR24","first-page":"20","volume-title":"ERLANG 2006","author":"G. Germain","year":"2006","unstructured":"Germain, G.: Concurrency oriented programming in termite scheme. In: ERLANG 2006, p. 20. ACM, New York (2006)"},{"unstructured":"Lee, J., et al.: Python actor runtime library (2010), \n                    \n                      osl.cs.uiui.edu\/parley\/","key":"17_CR25"},{"unstructured":"Wiger, U.: What is Erlang-style concurrency? (2010), \n                    \n                      http:\/\/www.ulf.wiger.net\/weblog\/2008\/02\/06\/what-is-erlang-style-concurrency\/","key":"17_CR26"},{"unstructured":"Intel Software Network: Intel trace analyzer and collector (2011), \n                    \n                      http:\/\/www.software.intel.com\/en-us\/articles\/intel-trace-analyzer\/","key":"17_CR27"},{"unstructured":"Erlang Online Documentation: Trace tool builder (2011), \n                    \n                      http:\/\/www.erlang.org\/doc\/apps\/observer\/ttb_ug.html","key":"17_CR28"},{"issue":"6","key":"17_CR29","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.1109\/TVLSI.2010.2043964","volume":"19","author":"J. Zhao","year":"2011","unstructured":"Zhao, J., Madduri, S., Vadlamani, R., Burleson, W., Tessier, R.: A dedicated monitoring infrastructure for multicore processors. IEEE Transactions on Very Large Scale Integration (VLSI) Systems\u00a019(6), 1011\u20131022 (2011)","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"unstructured":"The ProTest Project: Framework 7 project 215868 (2008-11), \n                    \n                      http:\/\/www.protest-project.eu","key":"17_CR30"},{"issue":"12","key":"17_CR31","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/636517.636524","volume":"37","author":"T. Arts","year":"2002","unstructured":"Arts, T., Fredlund, L.A.: Trace analysis of Erlang programs. SIGPLAN Not.\u00a037(12), 18\u201324 (2002)","journal-title":"SIGPLAN Not."},{"unstructured":"Nystrom, J.: Analysing Fault Tolerance for Erlang Application. PhD thesis, Division of Computer Systems, Uppsala University (2009)","key":"17_CR32"},{"unstructured":"Thompson, S., et al.: Wrangler Tool (2011), \n                    \n                      http:\/\/www.cs.kent.ac.uk\/projects\/wrangler\/","key":"17_CR33"},{"unstructured":"Gartner Group: Gartner says Cloud consumers need brokerages to unlock the potential of Cloud services (2009), \n                    \n                      http:\/\/www.gartner.com\/it\/page.jsp?id=1064712","key":"17_CR34"},{"unstructured":"Eucalyptus Systems: Cloud APIs (2010), \n                    \n                      http:\/\/www.eucalyptus.com\/blog\/2010\/03\/11\/cloud-apis","key":"17_CR35"},{"unstructured":"The RELEASE Project: Framework 7 project 287510 (2011-14), \n                    \n                      http:\/\/www.release-project.eu","key":"17_CR36"},{"unstructured":"Chechina, N., Trinder, P., Ghaffari, A., Green, R., Lundin, K., Virding, R.: The design of scalable distributed (SD) Erlang. In: Draft Proceedings of IFL 2012, pp. 461\u2013476. Oxford University (2012)","key":"17_CR37"},{"doi-asserted-by":"crossref","unstructured":"Aronis, S., et al.: BenchErl: A Scalability Benchmark Suite for Erlang\/OTP (2012), \n                    \n                      release.softlab.ntua.gr\/bencherl\/","key":"17_CR38","DOI":"10.1145\/2364489.2364495"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40447-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T12:37:50Z","timestamp":1558010270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40447-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642404467","9783642404474"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40447-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}