2227 search results - page 116 / 446 » Reversibility and Models for Concurrency |
174
click to vote
PPOPP
1990
ACM
15 years 10 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...
193
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
163
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
160
click to vote
CONCURRENCY
2004
2004
User transparency: a fully sequential programming model for efficient data parallel image processing
15 years 5 months ago
Although many image processing applications are ideally suited for parallel implementation, most researchers in imaging do not benefit from high performance computing on a daily b...
292
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...