Sciweavers

891 search results - page 48 / 179
» On Transactional Scheduling in Distributed Transactional Mem...
Sort
View
POPL
2007
ACM
16 years 2 months ago
A concurrent constraint handling rules implementation in Haskell with software transactional memory
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
Edmund S. L. Lam, Martin Sulzmann
115
Voted
EUROSYS
2007
ACM
15 years 11 months ago
STMBench7: a benchmark for software transactional memory
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
Rachid Guerraoui, Michal Kapalka, Jan Vitek
117
Voted
CCS
2008
ACM
15 years 3 months ago
Enforcing authorization policies using transactional memory introspection
Correct enforcement of authorization policies is a difficult task, especially for multi-threaded software. Even in carefully-reviewed code, unauthorized access may be possible in ...
Arnar Birgisson, Mohan Dhawan, Úlfar Erling...
92
Voted
ISPA
2004
Springer
15 years 7 months ago
Ensuring E-Transaction Through a Lightweight Protocol for Centralized Back-End Database
A reasonable end-to-end reliability guarantee for three-tier systems, called e-Transaction (exactly-once Transaction), has been recently proposed. This work presents a lightweight ...
Paolo Romano, Francesco Quaglia, Bruno Ciciani
PLDI
2009
ACM
15 years 8 months ago
Stretching transactional memory
Transactional memory (TM) is an appealing abstraction for programming multi-core systems. Potential target applications for TM, such as business software and video games, are like...
Aleksandar Dragojevic, Rachid Guerraoui, Michal Ka...