Sciweavers

5640 search results - page 538 / 1128
» Parallelizing the Data Cube
Sort
View
CHARME
2001
Springer
117views Hardware» more  CHARME 2001»
15 years 9 months ago
A Higher-Level Language for Hardware Synthesis
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
Richard Sharp, Alan Mycroft
ICCS
2001
Springer
15 years 9 months ago
Computational Design and Performance of the Fast Ocean Atmosphere Model, Version One
The Fast Ocean Atmosphere Model (FOAM) is a climate system model intended for application to climate science questions that require long simulations. FOAM is a distributed-memory p...
Robert L. Jacob, Chad Schafer, Ian T. Foster, Mich...
IPPS
1999
IEEE
15 years 9 months ago
DEFACTO: A Design Environment for Adaptive Computing Technology
The lack of high-level design tools hampers the widespread adoption of adaptive computing systems. Application developers have to master a wide range of functions, from the high-le...
Kiran Bondalapati, Pedro C. Diniz, Phillip Duncan,...
ECOOPW
1999
Springer
15 years 9 months ago
EPOS: An Object-Oriented Operating System
This position paper reports the current development stage of project Epos, which aims to deliver, whenever possible automatically, a customized runtime support system for each (hi...
Antônio Augusto Fröhlich, Wolfgang Schr...
IPPS
1998
IEEE
15 years 9 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa