Sciweavers

3686 search results - page 35 / 738
» Pattern-Based Parallel Programming
Sort
View
FCCM
2008
IEEE
128views VLSI» more  FCCM 2008»
15 years 4 months ago
Investigation of Programming Models for Emerging FPGA-Based High Performance Computing Systems
This work proposes a set of requirements for programming emerging FPGA-based high performance computing systems, and uses them to evaluate a number of existing parallel programmin...
Andrew W. H. House, Paul Chow
IPPS
2006
IEEE
15 years 3 months ago
A calculus of functional BSP programs with projection
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
Frédéric Loulergue
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 2 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
PPOPP
2012
ACM
13 years 5 months ago
Internally deterministic parallel algorithms can be fast
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
Guy E. Blelloch, Jeremy T. Fineman, Phillip B. Gib...
SNPD
2003
14 years 11 months ago
Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm...
Frédéric Gava, Frédéri...