{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:00:03Z","timestamp":1725559203387},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540260431"},{"type":"electronic","value":"9783540321149"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11428848_100","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T13:44:33Z","timestamp":1279115073000},"page":"781-789","source":"Crossref","is-referenced-by-count":1,"title":["Empirical Parallel Performance Prediction from Semantics-Based Profiling"],"prefix":"10.1007","author":[{"given":"Norman","family":"Scaife","sequence":"first","affiliation":[]},{"given":"Greg","family":"Michaelson","sequence":"additional","affiliation":[]},{"given":"Susumu","family":"Horiguchi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Aldinucci, M.: Automatic Program Transformation: The META Tool for Skeleton-based Languages. In: Gorlatch, S., Lengauer, C. (eds.) Constructive Methods for Parallel Programming. Advances in Computation: Theory and Practice, vol.\u00a010, NOVA Science (2002)","key":"100_CR1"},{"issue":"2-3","key":"100_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1080\/01495730108935268","volume":"16","author":"M. Aldinucci","year":"2001","unstructured":"Aldinucci, M., Gorlatch, S., Lengauer, C., Pelegatti, S.: Towards Parallel Programming by Transformation: The FAN Skeleton Framework. Parallel Algorithms and Applications\u00a016(2-3), 87\u2013122 (2001)","journal-title":"Parallel Algorithms and Applications"},{"issue":"2","key":"100_CR3","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1142\/S0129626402000902","volume":"12","author":"M. Alt","year":"2002","unstructured":"Alt, M., Bischof, H., Gorlatch, S.: Program Development for Computational Grids Using Skeletons and Performance Prediction. Parallel Processing Letters\u00a012(2), 157\u2013174 (2002)","journal-title":"Parallel Processing Letters"},{"unstructured":"Bratvold, T.: Skeleton-based Parallelisation of Functional Programmes. PhD thesis, Dept. of Computing and Electrical Engineering, Heriot-Watt University (1994)","key":"100_CR4"},{"key":"100_CR5","doi-asserted-by":"publisher","first-page":"1141","DOI":"10.1016\/0167-8191(93)90023-E","volume":"19","author":"D. Busvine","year":"1993","unstructured":"Busvine, D.: Implementing Recursive Functions as Processor Farms. Parallel Computing\u00a019, 1141\u20131153 (1993)","journal-title":"Parallel Computing"},{"doi-asserted-by":"crossref","unstructured":"Cook, A., Ireland, A., Michaelson, G., Scaife, N.: Deriving Applications of Higher-Order Functions through Proof Planning. Formal Aspects of Computing (accepted) (November 2004)","key":"100_CR6","DOI":"10.1007\/s00165-004-0054-5"},{"issue":"3","key":"100_CR7","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1142\/S0129626403001380","volume":"13","author":"K. Hammond","year":"2003","unstructured":"Hammond, K., Berthold, J., Loogen, R.: Automatic Skeletons in Template Haskell. Parallel Processing Letters\u00a013(3), 413\u2013424 (2003)","journal-title":"Parallel Processing Letters"},{"unstructured":"Michaelson, G., Scaife, N.: Parallel functional island model genetic algorithms through nested skeletons. In: Mohnen, M., Koopman, P. (eds.) Proceedings of 12th International Workshop on the Implementation of Functional Languages, Aachen, September 2000, pp. 307\u2013313 (2000)","key":"100_CR8"},{"key":"100_CR9","volume-title":"Patterns and Skeletons for Parallel and Distributed Computing","author":"G. Michaelson","year":"2003","unstructured":"Michaelson, G., Scaife, N.: Skeleton Realisations from Functional Prototypes. In: Rabhi, F., Gorlatch, S. (eds.) Patterns and Skeletons for Parallel and Distributed Computing. Springer, Heidelberg (2003)"},{"key":"100_CR10","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"Milner, R., Tofte, M., Harper, R.: The Definition of Standard ML. MIT, Cambridge (1990)"},{"unstructured":"Press, W.H., Teukolsky, S.A., Vetterling, W.T., Flannery, B.P.: Numerical Recipes in C, 2nd edn. CUP (1992)","key":"100_CR11"},{"unstructured":"Scaife, N.R.: A Dual Source, Parallel Architecture for Computer Vision. PhD thesis, Dept. of Computing and Electrical Engineering, Heriot-Watt University (1996)","key":"100_CR12"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11428848_100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:06:53Z","timestamp":1559254013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11428848_100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540260431","9783540321149"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11428848_100","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}