21 search results - page 2 / 5 » An efficient software transactional memory using commit-time... |
107
Voted
DEBS
2008
ACM
15 years 2 months ago
2008
ACM
In event stream applications, events flow through a network of components that perform various types of operations, e.g., filtering, aggregation, transformation. When the operatio...
131
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
224
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
150
Voted
PPOPP
2006
ACM
15 years 7 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
115
Voted
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
In Software Transactional Memory (STM), contention management refers to the mechanisms used to ensure forward progress-to avoid livelock and starvation, and to promote throughput ...