4385 search results - page 49 / 877 » Abstraction for Concurrent Objects |
PPOPP
2005
ACM
15 years 4 months ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
ICC
2007
IEEE
15 years 2 months ago
2007
IEEE
Abstract-- We propose an energy
CAV
2008
Springer
15 years 19 days ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
155
click to vote
POPL
2003
ACM
15 years 11 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...