Sciweavers

5640 search results - page 125 / 1128
» Parallelizing the Data Cube
Sort
View
IWFM
1998
117views Formal Methods» more  IWFM 1998»
15 years 3 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
15 years 3 months ago
Integrating task and data parallelism with taskHPF
S. Ciarpaglini, L. Folchi, Salvatore Orlando, Susa...