Sciweavers

5640 search results - page 125 / 1128
» Parallelizing the Data Cube
Sort
View
IWFM
1998
117views Formal Methods» more  IWFM 1998»
13 years 10 months ago
A Case Study on Proving Transformations Correct: Data-Parallel Conversion
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
Stephen Kilpatrick, Maurice Clint, Peter Kilpatric...
PDPTA
2000
13 years 10 months ago
Integrating task and data parallelism with taskHPF
S. Ciarpaglini, L. Folchi, Salvatore Orlando, Susa...