17582 search results - page 427 / 3517 » From Distributed Sequential Computing to Distributed Paralle... |
191
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
168
click to vote
PDP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
150
click to vote
ICPP
1993
IEEE
15 years 11 months ago
1993
IEEE
We describe three new Jacobi orderings for parallel computation of SVD problems on tree architectures. The rst ordering uses the high bandwidth of a perfect binary fat-tree to min...
185
click to vote
IFL
2003
Springer
16 years 1 days ago
2003
Springer
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...
204
Voted
TCS
2008
15 years 6 months ago
2008
1 Elimination Game is a well known algorithm that simulates Gaussian elimination of matrices on graphs, and it computes a triangulation of the input graph. The number of fill edge...