2300 search results - page 165 / 460 » Maximally Concurrent Programs |
123
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
162
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
132
Voted
CP
2010
Springer
15 years 19 days ago
2010
Springer
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
128
Voted
STOC
2001
ACM
16 years 2 months ago
2001
ACM
We consider two-player games played for an infinite number of rounds, with -regular winning conditions. The games may be concurrent, in that the players choose their moves simulta...
115
Voted
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—As software projects continue to grow in scale, being able to maximize the work that developers can carry out in parallel as a set of concurrent development tasks, without incur...