Sciweavers

141 search results - page 6 / 29
» Explicitly Parallel Regular Expressions
Sort
View
140
Voted
LCR
1998
Springer
109views System Software» more  LCR 1998»
15 years 6 months ago
Expressing Irregular Computations in Modern Fortran Dialects
Abstract. Modern dialects of Fortran enjoy wide use and good support on highperformance computers as performance-oriented programming languages. By providing the ability to express...
Jan Prins, Siddhartha Chatterjee, Martin Simons
FPCA
1991
15 years 5 months ago
Syntactic Detection of Single-Threading Using Continuations
We tackle the problem of detecting global variables in functional programs. We present syntactic criteria for single-threading which improves upon previous solutions (both syntact...
Pascal Fradet
92
Voted
IPPS
2000
IEEE
15 years 6 months ago
Pipelining Wavefront Computations: Experiences and Performance
Abstract. Wavefront computations are common in scientific applications. Although it is well understood how wavefronts are pipelined for parallel execution, the question remains: H...
E. Christopher Lewis, Lawrence Snyder
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
15 years 8 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
CAV
2009
Springer
134views Hardware» more  CAV 2009»
16 years 2 months ago
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
Alexander Wenner, Markus Müller-Olm, Peter La...