12453 search results - page 76 / 2491 » Concurrent Data Structures |
139
click to vote
ICLP
2010
Springer
15 years 5 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...
108
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
139
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Database partitioning is a technique for improving the performance of distributed OLTP databases, since “single partition” transactions that access data on one partition do no...
111
click to vote
LICS
2000
IEEE
15 years 6 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 ...
113
click to vote
COORDINATION
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...