{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T07:10:14Z","timestamp":1741158614588,"version":"3.38.0"},"publisher-location":"London","reference-count":33,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852335069"},{"type":"electronic","value":"9781447100973"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-1-4471-0097-3_5","type":"book-chapter","created":{"date-parts":[[2011,4,23]],"date-time":"2011-04-23T02:53:31Z","timestamp":1303527211000},"page":"129-153","source":"Crossref","is-referenced-by-count":1,"title":["Skeleton Realisations from Functional Prototypes"],"prefix":"10.1007","author":[{"given":"Greg","family":"Michaelson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norman","family":"Scaife","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0734-189X(86)90220-3","volume":"33","author":"P Besl","year":"1986","unstructured":"P. Besl and R. Jain. Invariant surface characteristics for 3d object recognition. Computer Vision, Graphics and Image Processing, 33:33\u201380, 1986.","journal-title":"Computer Vision, Graphics and Image Processing"},{"key":"5_CR2","unstructured":"L. Birkedal, N. Rothwell, M. Tofte, and D. N. Turner. The ml kit Version 1. Technical Report 93\/14, Department of Computer Science, University of Copenhagen, 1993."},{"key":"5_CR3","first-page":"213","volume-title":"Proceedings of 4th International Workshop on the Parallel Implementation of Functional Languages, Aachen, Germany","author":"T Bratvold","year":"1992","unstructured":"T. Bratvold. Determing useful parallelism in higher order functions. In Proceedings of 4th International Workshop on the Parallel Implementation of Functional Languages, Aachen, Germany, pages 213\u2013226. Aachener Informatik-Berichte, September 1992."},{"key":"5_CR4","first-page":"23","volume-title":"Proceedings of 5th International Workshop on Implementation of Functional Languages","author":"T Bratvold","year":"1993","unstructured":"T. Bratvold. A skeleton based parallelising compiler for standard ML. In Proceedings of 5th International Workshop on Implementation of Functional Languages, pages 23\u201334, Nijmegen, Holland, September 1993."},{"key":"5_CR5","unstructured":"T. Bratvold. Parallelising a functional program using a list-homomorphism skeleton. In Proceedings of PASCO\u201994, pages 44\u201353. World Scientific Publishing Company, 1994."},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"1141","DOI":"10.1016\/0167-8191(93)90023-E","volume":"19","author":"D Busvine","year":"1993","unstructured":"D. Busvine. Implementing recursive functions as processor farms. Parallel Computing, 19:1141\u20131153, 1993.","journal-title":"Parallel Computing"},{"key":"5_CR7","unstructured":"D. Busvine. Detecting parallel structures in functional programs In PhD thesis. Dept of Computing & Electrical Engineering, July 1994."},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1109\/TPAMI.1986.4767851","volume":"PAMI-8","author":"J Canny","year":"1986","unstructured":"J. Canny. A computational approach to edge detection. IEEE Transactions on Pattern Analysis and Machine Intelligence, PAMI-8:679\u2013698, 1986.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"5_CR9","volume-title":"D\u00e9veloppement d\u2019applications avec Objective Caml","author":"E Chailloux","year":"2000","unstructured":"E. Chailloux, P. Manoury, and B. Pagano. D\u00e9veloppement d\u2019applications avec Objective Caml. O\u2019Reilly, Paris, April 2000."},{"key":"5_CR10","unstructured":"M. I. Clarkson. Parallel implementation of a range image segmentation algorithm. Master\u2019s thesis, Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS, 1994."},{"key":"5_CR11","volume-title":"Using Proof in Transformation Synthesis for Automatic Parallelisation. PhD thesis","author":"A Cook","year":"2001","unstructured":"A. Cook. Using Proof in Transformation Synthesis for Automatic Parallelisation. PhD thesis, Dept of Computing and Electrical Engineering, Heriot-Watt University, 2001."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"A. Cook, A. Ireland, and G. Michaelson. Higher order function synthesis through proof planning. In Proceedings of 16th Annual International Conference on Automated Software Engineering ASE 2001, pages 307\u2013310, San Diego, USA, November 2001. IEEE Computer Society.","DOI":"10.1109\/ASE.2001.989817"},{"key":"5_CR13","unstructured":"M. P. I. Forum. Mpi: A message-passing interface standard. International Journal of Supercomputer Applications and High Performance Computing, 8(3\/4), 1994."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"M. Hamdan. A Combinational Framework for Parallel Programming Using Algorithmic Skeletons. PhD thesis, Department of Computing and Electrical Engineering, Heriot-Watt University, 2000.","DOI":"10.1142\/9781848160170_0064"},{"key":"5_CR15","first-page":"195","volume-title":"Proceedings of 10th International Workshop on Implementation of Functional Languages","author":"M Hamdan","year":"1998","unstructured":"M. Hamdan, G. Michaelson, and P. King. A scheme for nesting algorithmic skeletons. In C. Clack, T. Davie, and K. Hammond, editors, Proceedings of 10th International Workshop on Implementation of Functional Languages, pages 195\u2013212, University College London, September 1998."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"M. Hamdan, G. Michaelson, and P. King. A framework for nesting algorithmic skeletons. In Proceedings of 1999 International Conference on Parallel Computing ParCo\u201999, pages 542\u2013549, Delft, Holland, January 2000. Imperial College Press.","DOI":"10.1142\/9781848160170_0064"},{"key":"5_CR17","unstructured":"Impala. Impala \u2013IMplicitly PArallel LAnguage Application Suite. <URL: http:\/\/www.csg.lcs.mit.edu\/impala\/ >, July 2001."},{"key":"5_CR18","volume-title":"Parallel low level vision from functional prototypes. Master\u2019s thesis, Dept. of Computing and Electrical Engineering","author":"G Koutsakis","year":"1993","unstructured":"G. Koutsakis. Parallel low level vision from functional prototypes. Master\u2019s thesis, Dept. of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh, October 1993."},{"issue":"2","key":"5_CR19","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1006\/ciun.1993.1041","volume":"58","author":"VF Leavers","year":"1993","unstructured":"V. F. Leavers. Survey: Which hough transform? CVGIP: Image Understanding, 58(2):250\u2013264, September 1993.","journal-title":"CVGIP: Image Understanding"},{"key":"5_CR20","first-page":"83","volume-title":"Proc. of 3rd Int. Conf. on Image Processing and its Applications","author":"P McAndrew","year":"1989","unstructured":"P. McAndrew and A. M. Wallace. Rapid invocation and matching of 2d images to 3d models using curvilinear data. In Proc. of 3rd Int. Conf. on Image Processing and its Applications, pages 83\u201387, Warwick, July 1989."},{"key":"5_CR21","first-page":"539","volume-title":"Proceedings of 9th International Workshop on Implementation of Functional Languages","author":"G Michaelson","year":"1997","unstructured":"G. Michaelson, A. Ireland, and P. King. Towards a skeleton based parallelising compiler for sml. In C. Clack, T. Davie, and K. Hammond, editors, Proceedings of 9th International Workshop on Implementation of Functional Languages, pages 539\u2013546, University of St Andrews, September 1997."},{"key":"5_CR22","first-page":"307","volume-title":"Proceedings of 12th International Workshop on the Implementation of Functional Languages","author":"G Michaelson","year":"2000","unstructured":"G. Michaelson and N. Scaife. Parallel functional island model genetic algorithms through nested skeletons. In M. Mohnen and P. Koopman, editors, Proceedings of 12th International Workshop on the Implementation of Functional Languages, pages 307\u2013313, Aachen, September 2000."},{"issue":"2-3","key":"5_CR23","first-page":"181","volume":"16","author":"G Michaelson","year":"2001","unstructured":"G. Michaelson, N. Scaife, P. Bristow, and P. King. Nested algorithmic skeletons from higher order functions. Parallel Algorithms and Applications special issue on High Level Models and Languages for Parallel Processing, 16(2\u20133):2\u20133, 2001.","journal-title":"Parallel Algorithms and Applications special issue on High Level Models and Languages for Parallel Processing"},{"issue":"3","key":"5_CR24","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1017\/S0956796800001398","volume":"5","author":"GJ Michaelson","year":"1995","unstructured":"G. J. Michaelson and N. R. Scaife. Prototyping a parallel vision system in standard ml. Journal of Functional Programming, 5(3):345\u2013382, July 1995.","journal-title":"Journal of Functional Programming"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"R. Rangaswami A Cost Analysis for a Higher-Order Parallel Programming Model. PhD thesis, University of Edinburgh, 1995.","DOI":"10.1016\/B978-044482106-5\/50026-0"},{"key":"5_CR26","first-page":"213","volume-title":"Proceedings of 10th International Workshop on Implementation of Functional Languages","author":"N Scaife","year":"1998","unstructured":"N. Scaife, P. Bristow, G. Michaelson, and P. King. Engineering a parallel compiler for sml. In C. Clack, T. Davie, and K. Hammond, editors, Proceedings of 10th International Workshop on Implementation of Functional Languages, pages 213\u2013226, University College London, September 1998."},{"key":"5_CR27","first-page":"191","volume-title":"Proceedings of 13th International Workshop on the Implementation of Functional Languages","author":"N Scaife","year":"2001","unstructured":"N. Scaife, G. Michaelson, and S. Horiguchi. Comparative cross-platform performance results from a parallelizing sml compiler. In Proceedings of 13th International Workshop on the Implementation of Functional Languages, pages 191\u2013206, Stockholm, September 2001."},{"key":"5_CR28","unstructured":"N. R. Scaife. A Dual Source, Parallel Architecture for Computer Vision. PhD thesis, Department of Computing and Electrical Engineering, HeriotWatt University, 1996."},{"key":"5_CR29","unstructured":"N. R. Scaife, G. J. Michaelson, and A. M. Wallace. Four skeletons for computer vision. In Implementation of Functional Languages \u201997, September 1997."},{"issue":"2","key":"5_CR30","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/2.121474","volume":"25","author":"AM Wallace","year":"1992","unstructured":"A. M. Wallace, G. J. Michaelson, P. McAndrew, K. Waugh, and W. Austin. Dynamic control and prototyping of parallel algorithms for intermediate and high-level vision. IEEE Computer, 25(2):43\u201353, February 1992.","journal-title":"IEEE Computer"},{"issue":"1\/2","key":"5_CR31","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1023\/A:1007925309764","volume":"12","author":"AM Wallace","year":"1998","unstructured":"A. M. Wallace, G. J. Michaelson, N. Scaife, and W. J. Austin. A dual source, parallel architecture for computer vision. The Journal of Super-computing, 12(1\/2):37\u201356, January\/February 1998.","journal-title":"The Journal of Super-computing"},{"key":"5_CR32","first-page":"75","volume-title":"Proceedings of the Workshop on the Parallel Implementation of Functional Languages","author":"KG Waugh","year":"1991","unstructured":"K. G. Waugh. Parallel imperative programs from functional prototypes. In Proceedings of the Workshop on the Parallel Implementation of Functional Languages, pages 75\u201388. Dept. Electronics and Computer Science, University of Southampton, June 1991."},{"key":"5_CR33","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1109\/TENCON.1991.729659","volume":"volume 2","author":"KG Waugh","year":"1991","unstructured":"K. G. Waugh and G. J. Michaelson. Parallel process placement from functional prototype instrumentation. In Proceedings TENCON 91, Energy, Computer, Communication and Control Systems, volume 2, pages 275\u2013282, New Delhi, August 1991. IEEE.","journal-title":"Proceedings TENCON 91, Energy, Computer, Communication and Control Systems"}],"container-title":["Patterns and Skeletons for Parallel and Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0097-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T06:28:23Z","timestamp":1741156103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0097-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9781852335069","9781447100973"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0097-3_5","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}