645 search results - page 30 / 129 » concurrency 2007 |
212
click to vote
POPL
2007
ACM
16 years 22 days ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
107
click to vote
ICCTA
2007
IEEE
15 years 6 months ago
2007
IEEE
We study the dynamic version of the distributed all-pairs shortest paths problem. Most of the solutions given in the literature for this problem work under the assumption that bef...
146
click to vote
HOTOS
2007
IEEE
15 years 4 months ago
2007
IEEE
Optimistic synchronization allows concurrent execution of critical sections while performing dynamic conflict detection and recovery. Optimistic synchronization will increase perf...
95
Voted
DKE
2007
15 years 12 days ago
2007
The use of rules in a distributed environment creates new challenges for the development of active rule execution models. In particular, since a single event can trigger multiple ...
111
Voted
CORR
2007
Springer
15 years 12 days ago
2007
Springer
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...