2300 search results - page 258 / 460 » Maximally Concurrent Programs |
180
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
162
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
237
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
181
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
A stochastic game is a two-player game played on a graph, where in each state the successor is chosen either by one of the players, or according to a probability distribution. We s...
205
click to vote
CVPR
2003
IEEE
15 years 12 months ago
2003
IEEE
We develop a framework for the image segmentation problem based on a new graph-theoretic formulation of clustering. The approach is motivated by the analogies between the intuitiv...