Sciweavers

891 search results - page 24 / 179
» On Transactional Scheduling in Distributed Transactional Mem...
Sort
View
ADBIS
2008
Springer
90views Database» more  ADBIS 2008»
15 years 3 months ago
An Advanced Transaction Model for Recovery Processing of Integration Processes
Integration processes are increasingly used in order to integrate distributed and heterogeneous systems. Although transactional behavior of workflows has been discussed extensively...
Matthias Böhm, Dirk Habich, Wolfgang Lehner, ...
103
Voted
PLDI
2010
ACM
15 years 5 months ago
Parameterized Verification of Transactional Memories
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
Michael Emmi, Rupak Majumdar, Roman Manevich
108
Voted
SOSP
1997
ACM
15 years 3 months ago
Free Transactions With Rio Vista
Abstract: Transactions and recoverable memories are powerful mechanisms for handling failures and manipulating persistent data. Unfortunately, standard recoverable memories incur a...
David E. Lowell, Peter M. Chen
MSS
2003
IEEE
130views Hardware» more  MSS 2003»
15 years 7 months ago
zFS - A Scalable Distributed File System Using Object Disks
zFS is a research project aimed at building a decentralized file system that distributes all aspects of file and storage management over a set of cooperating machines interconne...
Ohad Rodeh, Avi Teperman
94
Voted
SIGMOD
2005
ACM
108views Database» more  SIGMOD 2005»
15 years 7 months ago
A high-performance, transactional filestore for application servers
There is a class of data, including messages and business workflow state, for which conventional monolithic databases are less than ideal. Performance and scalability of Applicati...
Bill Gallagher, Dean Jacobs, Anno Langen