Skel-ML

Computing Dictionary

Skel-ML definition


A parallel variant of ML using skeletons being developed (April 1994) as part of Tore Bratvold's PhD in the Department of Computing and Electronic Engineering, Heriot-Watt University, Edinburgh, UK. Programs are written in a subset of Standard ML, and parallelism is extracted from the use of certain higher-order functions. The SkelML compiler uses profiling information together with skeleton performance models to distinguish useful from non-useful parallelism. An important feature is the ability to perform transformations between skeletons to improve performance. Skeletons currently supported are map, filter, fold, pipe (implicitly extracted from function application) and various combinations of these.
See also paraML.
E-mail: Tore A Bratvold .
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: skeine
Next Definition: skelder
Words Near: skel-ml
More from Thesaurus.com
Synonyms and Antonyms for skel-ml
More from Reference.com
Search for articles containing skel-ml
More from Dictionary.com Translator
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature