Sciweavers

2512 search results - page 55 / 503
» Software Transactional Memory
Sort
View
VMCAI
2007
Springer
14 years 4 months ago
Verifying Compensating Transactions
Michael Emmi, Rupak Majumdar
PPOPP
2012
ACM
12 years 5 months ago
A speculation-friendly binary search tree
We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-specu...
Tyler Crain, Vincent Gramoli, Michel Raynal
SIGMOD
1992
ACM
111views Database» more  SIGMOD 1992»
14 years 2 months ago
Performance Evaluation of Extended Storage Architectures for Transaction Processing
: The use of non-volatile semiconductor memory within an extended storage hierarchy promises significant performance improvements for transaction processing. Although page-addressa...
Erhard Rahm
IEEEPACT
2002
IEEE
14 years 2 months ago
Software Bubbles: Using Predication to Compensate for Aliasing in Software Pipelines
This paper describes a technique for utilizing predication to support software pipelining on EPIC architectures in the presence of dynamic memory aliasing. The essential idea is t...
Benjamin Goldberg, Emily Crutcher, Chad Huneycutt,...
JIIS
2008
104views more  JIIS 2008»
13 years 10 months ago
Transaction Management for Flash Media Databases in Portable Computing Environments
Flash memory is becoming a major database storage in building embedded systems or portable devices because of its non-volatile, shock-resistant, power-economic nature, and fast acc...
Siwoo Byun