4426 search results - page 49 / 886 » Concurrent Constraint Programming |
139
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
124
click to vote
JUCS
2008
15 years 2 months ago
2008
The popularization of multi-core processors and of technologies such as hyper-threading demonstrates a fundamental change in the way processors have been evolving and also increase...
83
Voted
SIGSOFT
2000
ACM
15 years 7 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
117
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
107
click to vote
FOSAD
2009
Springer
15 years 6 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...