2173 search results - page 183 / 435 » An operational semantics for skeletons |
195
Voted
CC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
104
Voted
SIGMOD
2003
ACM
16 years 26 days ago
2003
ACM
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
104
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
110
click to vote
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
105
click to vote
SOSP
1993
ACM
15 years 2 months ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...