1206 search results - page 142 / 242 » Concurrent Abstract Predicates |
164
click to vote
IICAI
2007
15 years 6 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
160
Voted
FTCS
1997
15 years 6 months ago
1997
This paper presents robust emulation of multi-writer/multi-reader registers in message-passing systems using dynamic quorum con gurations. In addition to processor and link failur...
230
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
159
click to vote
CORR
2011
Springer
15 years 3 days ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
190
Voted
SIGMOD
2012
ACM
13 years 7 months ago
2012
ACM
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...