2227 search results - page 44 / 446 » Reversibility and Models for Concurrency |
JPDC
2007
13 years 9 months ago
2007
Client interactions with modern web-accessible network services are typically organized into sessions involving multiple requests that read and write shared application data. Ther...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
JOC
2007
13 years 9 months ago
2007
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their inputs. In the stand-alone case, it ha...
WOSP
2010
ACM
14 years 4 months ago
2010
ACM
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
SCSC
2007
13 years 11 months ago
2007
— The problem of concurrent thermal and vibration loading has not been thoroughly studied even though it is common in electronic packaging applications. Here we attempt to addres...