2678 search results - page 24 / 536 » Operational Semantics of Transactions |
140
Voted
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
103
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
101
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
103
Voted
COOPIS
1999
IEEE
15 years 8 months ago
1999
IEEE
171
Voted
ACMMSP
2006
ACM
15 years 9 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...