Sciweavers

2512 search results - page 55 / 503
» Software Transactional Memory
Sort
View
VMCAI
2007
Springer
15 years 8 months ago
Verifying Compensating Transactions
Michael Emmi, Rupak Majumdar
PPOPP
2012
ACM
13 years 10 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»
15 years 6 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
131
Voted
IEEEPACT
2002
IEEE
15 years 7 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,...
133
Voted
JIIS
2008
104views more  JIIS 2008»
15 years 2 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