{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T04:10:41Z","timestamp":1743221441666,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298219"},{"type":"electronic","value":"9783642298226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29822-6_17","type":"book-chapter","created":{"date-parts":[[2012,5,20]],"date-time":"2012-05-20T13:21:09Z","timestamp":1337520069000},"page":"197-212","source":"Crossref","is-referenced-by-count":2,"title":["Parallel Computation Skeletons with Premature Termination Property"],"prefix":"10.1007","author":[{"given":"Oleg","family":"Lobachev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Cole, M.I.: Algorithmic Skeletons: Structured Management of Parallel Computation. In: Research Monographs in Parallel and Distributed Computing. Pitman (1989)"},{"issue":"3","key":"17_CR2","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1017\/S0956796805005526","volume":"15","author":"R. Loogen","year":"2005","unstructured":"Loogen, R., Ortega-Mall\u00e9n, Y., Pe\u00f1a-Mar\u00ed, R.: Parallel Functional Programming in Eden. Journal of Functional Programming\u00a015(3), 431\u2013475 (2005)","journal-title":"Journal of Functional Programming"},{"key":"17_CR3","unstructured":"Lobachev, O.: Implementation and Evaluation of Algorithmic Skeletons: Parallelisation of Computer Algebra Algorithms. PhD thesis, Philipps-Universit\u00e4t Marburg (2011)"},{"key":"17_CR4","unstructured":"Brown, C., Hammond, K.: Ever-decreasing circles: a skeleton for parallel orbit calculations in Eden. In: Draft Proceedings, TFP 2010 (2010)"},{"key":"17_CR5","unstructured":"Peyton Jones, S. (ed.): Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press (2003)"},{"key":"17_CR6","unstructured":"Trinder, P.W., Barry Jr., E., et al.: GPH: an architecture-independent functional language. IEEE Trans. Software Engineering (1999)"},{"issue":"9","key":"17_CR7","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/1631687.1596563","volume":"44","author":"S. Marlow","year":"2009","unstructured":"Marlow, S., Peyton Jones, S., Singh, S.: Runtime support for multicore Haskell. ACM SIGPLAN Notices\u00a044(9), 65\u201378 (2009)","journal-title":"ACM SIGPLAN Notices"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Marlow, S., Maier, P., Loidl, H.W., Aswad, M.K., Trinder, P.: Seq no more: better strategies for parallel Haskell. In: Haskell 2010, pp. 91\u2013102. ACM (2010)","DOI":"10.1145\/2088456.1863535"},{"key":"17_CR9","unstructured":"Eden Group: Eden skeleton library. Software package (2012) (retrieved February 13, 2012)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/3-540-61756-6_92","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"L.A. Gal\u00e1n","year":"1996","unstructured":"Gal\u00e1n, L.A., Pareja, C., Pe\u00f1a, R.: Functional Skeletons Generate Process Topologies in Eden. In: Kuchen, H., Swierstra, S.D. (eds.) PLILP 1996. LNCS, vol.\u00a01140, pp. 289\u2013303. Springer, Heidelberg (1996)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Pe\u00f1a, R., Rubio, F.: Parallel Functional Programming at Two Levels of Abstraction. In: PPDP 2001, pp. 187\u2013198. ACM (2001)","DOI":"10.1145\/773184.773204"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Loogen, R., Ortega-Mall\u00e9n, Y., Pe\u00f1a, R., Priebe, S., Rubio, F.: Parallelism abstractions in Eden. In: Rabhi, F.A., Gorlatch, S. (eds.) Patterns and Skeletons for Parallel and Distributed Computing, pp. 71\u201388. Springer (2003)","DOI":"10.1007\/978-1-4471-0097-3_4"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-56891-3_12","volume-title":"PARLE \u201993 Parallel Architectures and Languages Europe","author":"J. Darlington","year":"1993","unstructured":"Darlington, J., Field, A.J., Harrison, P.G., Kelly, P.H.J., Sharp, D.W.N., Wu, Q., et al.: Parallel Programming Using Skeleton Functions. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol.\u00a0694, pp. 146\u2013160. Springer, Heidelberg (1993)"},{"issue":"1-2","key":"17_CR14","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0304-3975(97)00196-5","volume":"196","author":"G.H. Botorog","year":"1998","unstructured":"Botorog, G.H., Kuchen, H.: Efficient high-level parallel programming. Theoretical Computer Science\u00a0196(1-2), 71\u2013107 (1998)","journal-title":"Theoretical Computer Science"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1080\/01495730108935271","volume":"16","author":"G. Michaelson","year":"2001","unstructured":"Michaelson, G., Scaife, N., Bristow, P., King, P.: Nested Algorithmic Skeletons from Higher Order Functions. Parallel Algorithms and Appl.\u00a016, 181\u2013206 (2001)","journal-title":"Parallel Algorithms and Appl."},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-25935-0_7","volume-title":"Domain-Specific Program Generation","author":"H. Bischof","year":"2004","unstructured":"Bischof, H., Gorlatch, S., Leshchinskiy, R.: Generic Parallel Programming Using C++ Templates and Skeletons. In: Lengauer, C., Batory, D., Blum, A., Vetta, A. (eds.) Domain-Specific Program Generation. LNCS, vol.\u00a03016, pp. 107\u2013126. Springer, Heidelberg (2004)"},{"issue":"3","key":"17_CR17","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/cpe.4330070305","volume":"7","author":"B. Bacci","year":"1995","unstructured":"Bacci, B., Danelutto, M., Orlando, S., Pelagatti, S., Vanneschi, M.: P3L: A structured high-level parallel language, and its structured support. Concurrency: Practice and Experience\u00a07(3), 225\u2013255 (1995)","journal-title":"Concurrency: Practice and Experience"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Leyton, M., Piquer, J.M.: Skandium: Multi-core programming with algorithmic skeletons. In: 18th Euromicro Conference on Parallel, Distributed and Network-based Processing, pp. 289\u2013296. IEEE (2010)","DOI":"10.1109\/PDP.2010.26"},{"issue":"3","key":"17_CR19","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0167-739X(90)90018-9","volume":"6","author":"A.J.G. Hey","year":"1990","unstructured":"Hey, A.J.G.: Experiments in MIMD parallelism. Future Generation Computer Systems\u00a06(3), 185\u2013196 (1990)","journal-title":"Future Generation Computer Systems"},{"key":"17_CR20","unstructured":"Foster, I.: Designing and building parallel programs: concepts and tools for parallel software engineering. Addison\u2013Wesley (1995)"},{"key":"17_CR21","unstructured":"Grama, A.Y., Kumar, V., Gupta, A., Karypis, G.: Introduction to parallel computing. Addison\u2013Wesley (2003)"},{"key":"17_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/11823285_64","volume-title":"Euro-Par 2006 Parallel Processing","author":"S. Priebe","year":"2006","unstructured":"Priebe, S.: Dynamic Task Generation and Transformation Within a Nestable Workpool Skeleton. In: Nagel, W.E., Walter, W.V., Lehner, W. (eds.) Euro-Par 2006. LNCS, vol.\u00a04128, pp. 615\u2013624. Springer, Heidelberg (2006)"},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-12251-4_24","volume-title":"Functional and Logic Programming","author":"M. Dieterle","year":"2010","unstructured":"Dieterle, M., Berthold, J., Loogen, R.: A Skeleton for Distributed Work Pools in Eden. In: Blume, M., Kobayashi, N., Vidal, G. (eds.) FLOPS 2010. LNCS, vol.\u00a06009, pp. 337\u2013353. Springer, Heidelberg (2010)"},{"key":"17_CR24","unstructured":"Dieterle, M.: Parallele funktionale Implementierung von Master-Worker-Skeletten. Diplomarbeit, Philipps-Universit\u00e4t Marburg (2007) (in German)"},{"key":"17_CR25","unstructured":"Reinders, J.: Intel threading building blocks: outfitting C++ for multi-core processor parallelism. O\u2019Reilly Media, Inc. (2007)"},{"issue":"1","key":"17_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2007.07.001","volume":"70","author":"R. L\u00e4mmel","year":"2008","unstructured":"L\u00e4mmel, R.: Google\u2019s mapreduce programming model \u2014 revisited. Science of Computer Programming\u00a070(1), 1\u201330 (2008)","journal-title":"Science of Computer Programming"},{"key":"17_CR27","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1629175.1629198","volume":"53","author":"J. Dean","year":"2010","unstructured":"Dean, J., Ghemawat, S.: MapReduce: a flexible data processing tool. Communications of the ACM\u00a053, 72\u201377 (2010)","journal-title":"Communications of the ACM"},{"key":"17_CR28","unstructured":"Friedman, D.P., Wise, D.S.: CONS should not evaluate its arguments. In: Automata, Languages, and Programming, pp. 257\u2013281 (1976)"},{"issue":"2","key":"17_CR29","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1093\/comjnl\/32.2.142","volume":"32","author":"S.C. Wray","year":"1989","unstructured":"Wray, S.C., Fairbairn, J.: Non-strict languages \u2014 programming and implementation. Computer Journal\u00a032(2), 142\u2013151 (1989)","journal-title":"Computer Journal"},{"issue":"7","key":"17_CR30","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s002360050095","volume":"34","author":"R. Stephens","year":"1997","unstructured":"Stephens, R.: A survey of stream processing. Acta Inform.\u00a034(7), 491\u2013541 (1997)","journal-title":"Acta Inform."},{"key":"17_CR31","doi-asserted-by":"crossref","unstructured":"Conery, J.S., Kibler, D.F.: Parallel interpretation of logic programs. In: FPCA 1981, pp. 163\u2013170. ACM (1981)","DOI":"10.1145\/800223.806775"},{"key":"17_CR32","unstructured":"Cohen, H.: A Course in Computational Algebraic Number Theory. Springer (2000)"},{"issue":"3","key":"17_CR33","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1016\/S0022-0000(76)80043-8","volume":"13","author":"G.L. Miller","year":"1976","unstructured":"Miller, G.L.: Riemann\u2019s hypothesis and tests for primality. Journal of Computer and System Sciences\u00a013(3), 300\u2013317 (1976)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"17_CR34","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/0022-314X(80)90084-0","volume":"12","author":"M.O. Rabin","year":"1980","unstructured":"Rabin, M.O.: Probabilistic algorithm for testing primality. Journal of Number Theory\u00a012(1), 128\u2013138 (1980)","journal-title":"Journal of Number Theory"},{"issue":"1","key":"17_CR35","doi-asserted-by":"publisher","first-page":"173","DOI":"10.2307\/2006975","volume":"117","author":"L.M. Adleman","year":"1983","unstructured":"Adleman, L.M., Pomerance, C., Rumely, R.S.: On distinguishing prime numbers from composite numbers. Annals of Mathematics\u00a0117(1), 173\u2013206 (1983)","journal-title":"Annals of Mathematics"},{"issue":"165","key":"17_CR36","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1090\/S0025-5718-1984-0726006-X","volume":"42","author":"H. Cohen","year":"1984","unstructured":"Cohen, H., Lenstra Jr., H.W.: Primality testing and Jacobi sums. Mathematics of Computation\u00a042(165), 297\u2013330 (1984)","journal-title":"Mathematics of Computation"},{"key":"17_CR37","unstructured":"Berthold, J., Loogen, R.: Visualizing Parallel Functional Program Executions: Case Studies with the Eden Trace Viewer. In: Parallel Computing: Architectures, Algorithms and Applications, ParCo 2007. IOS Press (2007)"},{"key":"17_CR38","unstructured":"Welch, P.H.: Graceful termination\u2013graceful resetting. In: Bakker, A.W.P. (ed.) Applying Transputer-Based Parallel Machines, pp. 310\u2013317. IOS Press (1989)"},{"key":"17_CR39","doi-asserted-by":"crossref","unstructured":"Brown, N.C.C.: Communicating Haskell processes: Composable explicit concurrency using monads. In: Communicating Process Architectures, pp. 67\u201384 (2008)","DOI":"10.3233\/978-1-58603-907-3-67"},{"key":"17_CR40","unstructured":"Hahnel, T.: The Rabin\u2013Miller Prime Number Test on Systola 1024 on the Background of Cryptography. Master\u2019s thesis, University of Karlsruhe (1998)"},{"key":"17_CR41","doi-asserted-by":"crossref","unstructured":"Cheung, R.C.C., Brown, A., Luk, W., Cheung, P.Y.K.: A scalable hardware architecture for prime number validation. In: FPT 2004, pp. 177\u2013184 (2004)","DOI":"10.1109\/FPT.2004.1393266"},{"key":"17_CR42","unstructured":"Schmidt, B., Schimmler, M., Schroeder, H.: High-Speed Cryptography. In: Embedded Cryptographic Hardware: Methodologies & Architectures. Nova Science Publishers (2004)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29822-6_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T10:23:07Z","timestamp":1743157387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29822-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298219","9783642298226"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29822-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}