1206 search results - page 132 / 242 » Concurrent Abstract Predicates |
109
Voted
JPDC
2010
15 years 1 months ago
2010
Transactional Memory (TM) is a promising abstraction as it hides all synchronization complexities from the programmers of concurrent applications. More particularly the TM paradig...
225
Voted
POPL
2009
ACM
16 years 3 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...
145
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
111
click to vote
WOTUG
2007
15 years 3 months ago
2007
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...
124
Voted
ICFEM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...