{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:18:49Z","timestamp":1725743929006},"publisher-location":"Berlin, Heidelberg","reference-count":27,"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_16","type":"book-chapter","created":{"date-parts":[[2013,8,5]],"date-time":"2013-08-05T21:00:39Z","timestamp":1375736439000},"page":"247-262","source":"Crossref","is-referenced-by-count":3,"title":["Supervised Workpools for Reliable Massively Parallel Computing"],"prefix":"10.1007","author":[{"given":"Robert","family":"Stewart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"Trinder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Maier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Armstrong, J., Virding, R., Williams, M.: Concurrent Programming in ERLANG. Prentice Hall (1993)","key":"16_CR1"},{"unstructured":"Bialecki, A., Taton, C., Kellerman, J.: Apache Hadoop: a Framework for Running Applications on Large Clusters Built of Commodity Hardware (2010), \n                    \n                      http:\/\/hadoop.apache.org\/","key":"16_CR2"},{"issue":"263","key":"16_CR3","doi-asserted-by":"publisher","first-page":"1681","DOI":"10.1090\/S0025-5718-08-02036-X","volume":"77","author":"P.B. Borwein","year":"2008","unstructured":"Borwein, P.B., Ferguson, R., Mossinghoff, M.J.: Sign changes in Sums of the Liouville Function. Mathematics of Computation\u00a077(263), 1681\u20131694 (2008)","journal-title":"Mathematics of Computation"},{"doi-asserted-by":"crossref","unstructured":"Bouteiller, A., Cappello, F., H\u00e9rault, T., Krawezik, G., Lemarinier, P., Magniette, F.: MPICH-V2: a Fault Tolerant MPI for Volatile Nodes based on Pessimistic Sender Based Message Logging. Super Computing\u00a025 (2003)","key":"16_CR4","DOI":"10.1145\/1048935.1050176"},{"issue":"4","key":"16_CR5","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1177\/1094342009347767","volume":"23","author":"F. Cappello","year":"2009","unstructured":"Cappello, F., Geist, A., Gropp, B., Kal\u00e9, L.V., Kramer, B., Snir, M.: Toward Exascale Resilience. High Performance Computing Applications\u00a023(4), 374\u2013388 (2009)","journal-title":"High Performance Computing Applications"},{"unstructured":"Coutts, D., de Vries, E.: The New Cloud Haskell. In: Haskell Implementers Workshop. Well-Typed (September 2012)","key":"16_CR6"},{"unstructured":"M. development. Feature: Adding -disable-auto-cleanup to mpich2 (2010), \n                    \n                      http:\/\/goo.gl\/PNEaO","key":"16_CR7"},{"doi-asserted-by":"crossref","unstructured":"Epstein, J., Black, A.P., Jones, S.L.P.: Towards Haskell in the Cloud. In: Haskell Symposium, pp. 118\u2013129 (2011)","key":"16_CR8","DOI":"10.1145\/2096148.2034690"},{"doi-asserted-by":"crossref","unstructured":"Fabre, J.-C., Nicomette, V., P\u00e9rennou, T., Stroud, R.J., Wu, Z.: Implementing Fault Tolerant Applications using Reflective Object-Oriented Programming. In: Symposium on Fault-Tolerant Computing, pp. 489\u2013498 (1995)","key":"16_CR9","DOI":"10.1007\/978-3-642-79789-7_12"},{"doi-asserted-by":"crossref","unstructured":"Fagg, G.E., Dongarra, J.: FT-MPI: Fault Tolerant MPI, Supporting Dynamic Applications in a Dynamic World. In: Euro. PVM\/MPI, pp. 346\u2013353 (2000)","key":"16_CR10","DOI":"10.1007\/3-540-45255-9_47"},{"unstructured":"The GAP\u00a0Group. GAP \u2013 Groups, Algorithms, and Programming, \n                    \n                      http:\/\/www.gap-system.org\n                    \n                    \n                  .","key":"16_CR11"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1177\/1094342004046045","volume":"18","author":"W. Gropp","year":"2002","unstructured":"Gropp, W., Lusk, E.: Fault Tolerance in MPI Programs. Special Issue of the Journal High Performance Computing Applications\u00a018, 363\u2013372 (2002)","journal-title":"Special Issue of the Journal High Performance Computing Applications"},{"unstructured":"Gropp, W., Lusk, E., Skjellum, A.: Using MPI: Portable Parallel Programming with the Message-Passing Interface. Scientific And Engineering Computation. MIT Press (1994)","key":"16_CR13"},{"doi-asserted-by":"crossref","unstructured":"Larson, J.: Erlang for Concurrent Programming. In: ACM Queue, vol.\u00a06, pp. 18\u201323. ACM (September 2008)","key":"16_CR14","DOI":"10.1145\/1454456.1454463"},{"doi-asserted-by":"crossref","unstructured":"Liskov, B., Shrira, L.: Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. In: PLDI, pp. 260\u2013267. ACM (1988)","key":"16_CR15","DOI":"10.1145\/960116.54016"},{"unstructured":"Maier, P., Stewart, R., Trinder, P.: Reliable Scalable Symbolic Computation: The Design of SymGridPar2. In: SAC 2013. ACM (to appear, 2013)","key":"16_CR16"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-34407-7_3","volume-title":"Implementation and Application of Functional Languages","author":"P. Maier","year":"2012","unstructured":"Maier, P., Trinder, P.: Implementing a high-level distributed-memory parallel Haskell in Haskell. In: Gill, A., Hage, J. (eds.) IFL 2011. LNCS, vol.\u00a07257, pp. 35\u201350. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Marlow, S., Jones, S.L.P., Singh, S.: Runtime Support for Multicore Haskell. In: ICFP, pp. 65\u201378 (2009)","key":"16_CR18","DOI":"10.1145\/1631687.1596563"},{"doi-asserted-by":"crossref","unstructured":"Marlow, S., Newton, R., Jones, S.L.P.: A Monad for Deterministic Parallelism. In: Haskell Symposium, pp. 71\u201382 (2011)","key":"16_CR19","DOI":"10.1145\/2096148.2034685"},{"issue":"3","key":"16_CR20","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/j.tcs.2006.08.016","volume":"364","author":"J. Niehren","year":"2006","unstructured":"Niehren, J., Schwinghammer, J., Smolka, G.: A Concurrent Lambda Calculus with Futures. Theoretical Computer Science\u00a0364(3), 338\u2013356 (2006)","journal-title":"Theoretical Computer Science"},{"unstructured":"Schroeder, B., Gibson, G.A.: Disk Failures in the Real World: What Does an MTTF of 1,000,000 Hours Mean to You? In: FAST. USENIX Association (2007)","key":"16_CR21"},{"doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software Transactional Memory. In: PODC 1995, pp. 204\u2013213. ACM (1995)","key":"16_CR22","DOI":"10.1145\/224964.224987"},{"unstructured":"Stewart, R., Maier, P., Trinder, P.: Implementation of the HdpH Supervised Workpool (July 2012), \n                    \n                      http:\/\/www.macs.hw.ac.uk\/~rs46\/papers\/tfp2012\/SupervisedWorkpool.hs","key":"16_CR23"},{"unstructured":"Stewart, R., Maier, P., Trinder, P.: Supervised Workpools for Reliable Massively Parallel Computing. Technical report, Heriot-Watt University (2012), \n                    \n                      http:\/\/www.macs.hw.ac.uk\/~rs46\/papers\/tfp2012\/TFP2012_Robert_Stewart.pdf","key":"16_CR24"},{"issue":"1","key":"16_CR25","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1017\/S0956796897002967","volume":"8","author":"P.W. Trinder","year":"1998","unstructured":"Trinder, P.W., Hammond, K., Loidl, H.-W., Peyton Jones, S.L.: Algorithm + Strategy = Parallelism. Journal of Functional Programming\u00a08(1), 23\u201360 (1998)","journal-title":"Journal of Functional Programming"},{"unstructured":"Trottier-Hebert, F.: Learn You Some Erlang For Great Good - Building an Application With OTP (2012), \n                    \n                      http:\/\/learnyousomeerlang.com\/building-applications-with-otp","key":"16_CR26"},{"unstructured":"Zain, A.A., Hammond, K., Berthold, J., Trinder, P.W., Michaelson, G., Aswad, M.: Low-pain, High-Gain Multicore Programming in Haskell: Coordinating Irregular Symbolic Computations on Multicore Architectures. In: DAMP, pp. 25\u201336. ACM (2009)","key":"16_CR27"}],"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_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T08:38:42Z","timestamp":1557995922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40447-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642404467","9783642404474"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40447-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}