4426 search results - page 208 / 886 » Concurrent Constraint Programming |
166
click to vote
GECCO
2008
Springer
15 years 7 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 ...
140
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Constraint propagation is one of the techniques central to the success of constraint programming. Fast algorithms are used to prune the search space either before or duri...
173
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Incorrect thread synchronization often leads to concurrency bugs that manifest nondeterministically and are difficult to detect and fix. Past work on detecting concurrency bugs ...
150
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and ef...
179
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...