2678 search results - page 81 / 536 » Operational Semantics of Transactions |
161
click to vote
PVLDB
2008
15 years 3 months ago
2008
Our previous work has shown that architectural and application shifts have resulted in modern OLTP databases increasingly falling short of optimal performance [10]. In particular,...
238
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
A minimal, bounded hardware transactional memory implementation significantly improves synchronization performance when used in an operating system kernel. We add HTM to Linux 2.4...
120
click to vote
MOBISYS
2003
ACM
16 years 3 months ago
2003
ACM
Mobile computing characteristics demand data management systems to support independent operation. However, the execution of updates in a mobile client usually need to be considere...
113
click to vote
ASWC
2006
Springer
15 years 7 months ago
2006
Springer
This paper generalizes the idea of traditional syntactic text autocompletion onto the semantic level. The idea is to autocomplete typed text into ontological categories instead of ...
132
Voted
CLEIEJ
2006
15 years 4 months ago
2006
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...