717 search results - page 65 / 144 » Concurrent Engineering |
222
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
117
click to vote
DAC
2008
ACM
16 years 3 months ago
2008
ACM
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
201
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
113
click to vote
EUROMICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
125
click to vote
EUROMICRO
2002
IEEE
15 years 7 months ago
2002
IEEE
Internet services like the world-wide web and multimedia applications like News- and Video-on-Demand have become very popular over the last years. Due to the large number of users ...