1206 search results - page 128 / 242 » Concurrent Abstract Predicates |
134
Voted
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
In this demonstration we present BRRL, a library for making distributed main-memory applications fault tolerant. BRRL is optimized for cloud applications with frequent points of c...
107
Voted
ZUM
2000
Springer
15 years 6 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
129
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
127
Voted
PPOPP
2009
ACM
15 years 9 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
114
Voted
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...