4356 search results - page 23 / 872 » Communicating Transactions - (Extended Abstract) |
PODC
2010
ACM
15 years 3 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...
109
click to vote
TC
2002
14 years 11 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...
122
click to vote
IACR
2011
13 years 11 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
15 years 6 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...
77
Voted
FMCAD
2007
Springer
15 years 6 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...