2678 search results - page 21 / 536 » Operational Semantics of Transactions |
145
Voted
ADBIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
114
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
134
Voted
ACSC
2009
IEEE
15 years 7 months ago
2009
IEEE
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
143
Voted
IISWC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
161
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We examine the role of transactional memory from two perspectives: that of a programming language with atomic actions and that of implementations of the language. We argu...