Transactional memory provides a new concurrency control mechanism that avoids many of
the pitfalls of lock-based synchronization. High-performance software transactional memory …

Software Transactional Memory (STM) is an attractive basis for the development of language
features for concurrent programming. However, the semantics of these features can be …

LNCS 4228 - Event-Based Programming Without Inversion of Control Page 1 Event-Based
Programming Without Inversion of Control Philipp Haller and Martin Odersky Щcole …

The stream programming paradigm aims to expose coarse-grained parallelism
inapplications that must process continuous sequences of events. The appeal ofstream …

We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml
that provides a synchronization primitive for atomic (transactional) execution of code. A first …

A primary preprocessing block of almost any typical OCR system is binarization, through
which it is intended to remove unwanted part of the input image, and only keep a binarized …

We present an implementation and evaluation of atomicity (also known as software
transactions) for a dialect of Java. Our implementation is fundamentally different from prior …

E-FRP is declarative language for programming resource-bounded, event-driven systems.
The original high-level semantics of E-FRP requires that each event handler execute …

Hardware transactional memory is a promising synchronization technology for chip-
multiprocessors. It simplifies programming of concurrent applications and allows for higher …

The Transactional Memory / Garbage Collection Analogy Page 1 The Transactional Memory /
Garbage Collection Analogy Dan Grossman University of Washington djg@cs.washington.edu …