3307 search results - page 140 / 662 » The meaning of concurrent programs |
101
click to vote
GECCO
2008
Springer
15 years 1 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 ...
103
click to vote
MICRO
2009
IEEE
15 years 7 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 ...
91
Voted
OOPSLA
2009
Springer
15 years 7 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...
111
click to vote
ISSTA
2010
ACM
15 years 4 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, ...
109
click to vote
OTM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this experience report, we present an evaluation of different techniques to manage concurrency in the context of application servers. Traditionally, using entity beans...