Sciweavers

1099 search results - page 25 / 220
» A Parallel Programming Style and Its Algebra of Programs
Sort
View
76
Voted
ENTCS
2008
120views more  ENTCS 2008»
14 years 9 months ago
Specifying and Executing Reactive Scenarios With Lutin
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
Pascal Raymond, Yvan Roux, Erwan Jahier
CONCUR
1993
Springer
15 years 1 months ago
Loop Parallelization in the Polytope Model
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
Christian Lengauer
IFL
2003
Springer
144views Formal Methods» more  IFL 2003»
15 years 2 months ago
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
Rafael Martínez, Ricardo Pena
EUROPAR
2006
Springer
15 years 1 months ago
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Mas...
CASCON
1996
123views Education» more  CASCON 1996»
14 years 11 months ago
Views on template-based parallel programming
For almost a decade we have been working at developing and using template-based models for coarse-grained parallel computing. Our initial system, FrameWorks, was positively receiv...
Ajit Singh, Jonathan Schaeffer, Duane Szafron