Skel-ML

A parallel variant of ML using skeletons being developed(April 1994) as part of Tore Bratvold's PhD in the Departmentof Computing and Electronic Engineering, Heriot-WattUniversity, Edinburgh, UK. Programs are written in a subsetof Standard ML, and parallelism is extracted from the use ofcertain higher-order functions. The SkelML compiler usesprofiling information together with skeleton performancemodels to distinguish useful from non-useful parallelism. Animportant feature is the ability to perform transformationsbetween skeletons to improve performance. Skeletons currentlysupported are map, filter, fold, pipe (implicitly extractedfrom function application) and various combinations of these.

See also paraML.

E-mail: Tore A Bratvold .

单词	skel-ml
释义	Skel-ML Skel-ML A parallel variant of ML using skeletons being developed(April 1994) as part of Tore Bratvold's PhD in the Departmentof Computing and Electronic Engineering, Heriot-WattUniversity, Edinburgh, UK. Programs are written in a subsetof Standard ML, and parallelism is extracted from the use ofcertain higher-order functions. The SkelML compiler usesprofiling information together with skeleton performancemodels to distinguish useful from non-useful parallelism. Animportant feature is the ability to perform transformationsbetween skeletons to improve performance. Skeletons currentlysupported are map, filter, fold, pipe (implicitly extractedfrom function application) and various combinations of these. See also paraML. E-mail: Tore A Bratvold .
随便看	hallwachs, wilhelm l.f. hallwachs, wilhelm lf hall-way hallway hallways hallway testing hallwood consolidated resources corporation hall & woodhouse hallyard, st hallé hallé, sir charles halm halma halmahera halmahera island halmat halmeic halm healing halmophagous halmos, paul r. halmote halmstad halmstads bollklubb halmstad, sweden halmstad, sweden - halmstad