1099 search results - page 5 / 220 » A Parallel Programming Style and Its Algebra of Programs |
160
Voted
PDSE
1998
15 years 6 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
162
click to vote
PPOPP
2010
ACM
16 years 2 months ago
2010
ACM
This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...
149
click to vote
LCPC
1999
Springer
15 years 9 months ago
1999
Springer
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
134
click to vote
DEXA
1994
Springer
15 years 9 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
129
click to vote
JUCS
2006
15 years 4 months ago
2006
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...