Sciweavers

417 search results - page 17 / 84
» Data-Oriented Transaction Execution
Sort
View
VMCAI
2009
Springer
15 years 12 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
15 years 6 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 ...
ICDE
2009
IEEE
181views Database» more  ICDE 2009»
16 years 7 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 10 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
ASPLOS
2004
ACM
15 years 10 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...