Sciweavers

417 search results - page 17 / 84
» Data-Oriented Transaction Execution
Sort
View
VMCAI
2009
Springer
15 years 4 months ago
An Abort-Aware Model of Transactional Programming
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
Kousha Etessami, Patrice Godefroid
FMOODS
2006
14 years 11 months ago
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo ...
160
Voted
ICDE
2009
IEEE
181views Database» more  ICDE 2009»
15 years 11 months ago
BP-Wrapper: A System Framework Making Any Replacement Algorithms (Almost) Lock Contention Free
Abstract-- In a high-end database system, the execution concurrency level rises continuously in a multiprocessor environment due to the increase in number of concurrent transaction...
Xiaoning Ding, Song Jiang, Xiaodong Zhang
ACSD
2003
IEEE
151views Hardware» more  ACSD 2003»
15 years 2 months ago
Communicating Transaction Processes
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
Abhik Roychoudhury, P. S. Thiagarajan
70
Voted
ASPLOS
2004
ACM
15 years 3 months ago
Programming with transactional coherence and consistency (TCC)
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...
Lance Hammond, Brian D. Carlstrom, Vicky Wong, Ben...