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 .


Read Also:

  • Skelter

    verb (used without object) 1. to scurry.

  • Skelton

    noun 1. John, c1460–1529, English poet. 2. Richard Bernard (“Red”) 1913–97, U.S. actor and comedian. noun 1. John. ?1460–1529, English poet celebrated for his short rhyming lines using the rhythms of colloquial speech

  • Sken

    verb skens, skenning, skenned 1. (intransitive) (Northern English, dialect) to squint or stare

  • Skene

    noun, plural skenai [skee-nahy] /ˈski naɪ/ (Show IPA) 1. (in the ancient Greek theater) a structure facing the audience and forming the background before which performances were given. noun 1. skean.

Disclaimer: Skel-ml definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.