2004 search results - page 278 / 401 » Interaction nets: programming language design and implementa... |
131
Voted
HLPPP
1991
15 years 8 months ago
1991
Gamma was originally proposed in 1986 as a formalism for the de nition of programs without arti cial sequentiality. The basic idea underlying the formalism is to describe computati...
142
click to vote
FCCM
2007
IEEE
15 years 11 months ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
125
Voted
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Parallel programming is facilitated by constructs which, unlike the widely used SPMD paradigm, provide programmers with a global view of the code and data structures. These constr...
115
click to vote
POS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Defining persistence in terms of reachability is fundamental to achieving orthogonality of persistence. It is implicit to the principles of orthogonal persistence and is ...
155
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Transactional memory (TM) is a promising synchronization mechanism for the next generation of multicore processors. Best-effort Hardware Transactional Memory (HTM) designs, such a...