Skel-ML

0.01 sec.

Skel-ML - 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 <tore@cee.hw.ac.uk>.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			Skatkin, Mikhail Nikolaevich Skatole Skaudvile skauk skavl Skaw Skaw, the Skawina Skaz Skazanie o Kniaziakh Vladimirskikh Skazitel Skazka Skazkin, Sergei Skazkin, Sergei Danilovich Skeat, Walter William skeeling skeen arch Skeena Skeena River skeet skeet gun skeet shooting Skeffington, Frank skeg skein Skel-ML skeletal coding skeletal muscle skeletal structure skeletal system Skeleton skeleton construction skeleton core skeleton crystal skeleton flashing skeleton frame skeleton framing skeleton grain skeleton key skeleton layer skeleton sheeting skeleton sledding skeleton steps skeleton texture skeleton timbering Skeleton Tobogganing skeleton wall skeleton-frame construction skelic index Skelleftea Skellefteå			skeeter Skeeter (disambiguation) Skeeter eater Skeeter eater skeeter hawk Skeeter Ice Boat Club skeetered skeetering skeeters Skeets Skeets SKEF Skeffington, Frank skeg skeg Skeg (surfing) Skeg (surfing) Skegger Skeggjald Skeggjald skegs skegs Skei skein skein skein Skeine skeins skeins SKEL Skel-ML skelalgia Skelaxin Skelder Skeldrake Skelet Skelet Skelet Skelet skeletal skeletal skeletal skeletal Skeletal age Skeletal age Skeletal age Skeletal age skeletal coding skeletal discrepancies skeletal extension skeletal fixation Skeletal fluorosis Skeletal fluorosis Skeletal fluorosis Skeletal formula Skeletal formula Skeletal formula Skeletal formulae Skeletal formulas skeletal frame skeletal function

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information 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.