4356 search results - page 23 / 872 » Communicating Transactions - (Extended Abstract) |
PODC
2010
ACM
14 years 1 months ago
2010
ACM
Distributed transactional memory (TM) models based on globally-consistent contention management policies may abort many transactions that could potentially commit without violatin...
TC
2002
13 years 9 months ago
2002
Abstract--Mobile systems increasingly are being used for production-grade datacentered applications which require system support for transactional properties. For mobile applicatio...
IACR
2011
12 years 9 months ago
2011
—Contactless technology is widely used in security sensitive applications, including identification, payment and access-control systems. Near Field Communication (NFC) is a shor...
ICDE
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract— We have developed log-based recovery for middleware servers that access back-end transaction systems (DBMSs). Transactional consistency is provided between in-memory st...
FMCAD
2007
Springer
14 years 4 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...