1922 search results - page 91 / 385 » Systems biology, models, and concurrency |
130
Voted
QEST
2006
IEEE
15 years 7 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
116
Voted
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
101
click to vote
INFSOF
2002
15 years 1 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
127
click to vote
CC
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...