39 search results - page 6 / 8 » Proclamation-Based Model for Cooperating Transactions |
CACM
2008
13 years 7 months ago
2008
TxLinux is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler. TxLinux, which is a ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Many firms these days, forced by increasing international competition and an unstable economy, are opting to specialize rather than generalize as a way of maintaining their compet...
TACAS
1999
Springer
13 years 11 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
DKE
2000
13 years 6 months ago
2000
: Large information bases that are used by several different users and applications accommodate the demands of their users more effectively, if they can be split into possibly over...
ADBIS
2003
Springer
14 years 7 days ago
2003
Springer
It’s a long time since video post production became digital, yet the issue of collaborative video authoring has not been seriously investigated so far. In this paper we tackle th...