2678 search results - page 33 / 536 » Operational Semantics of Transactions |
150
click to vote
TC
2002
15 years 3 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...
140
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
As Service Centric (SC) Systems are being increasingly adopted, new challenges and possibilities emerge. Business processes are now able to execute seamlessly across organizations...
110
click to vote
FMCAD
2007
Springer
15 years 10 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...
115
click to vote
SRDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Replication is widely used in application server products to tolerate faults. An important challenge is to correctly coordinate replication and transaction execution for stateful ...
175
click to vote
CIDR
2011
14 years 7 months ago
2011
The Deuteronomy system supports efficient and scalable ACID transactions in the cloud by decomposing functions of a database storage engine kernel into: (a) a transactional compon...