Sciweavers

4385 search results - page 582 / 877
» Abstraction for Concurrent Objects
Sort
View
CC
2009
Springer
132views System Software» more  CC 2009»
16 years 7 months ago
Implementation and Use of Transactional Memory with Dynamic Separation
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
Andrew Birrell, Johnson Hsieh, Martín Abadi...
ESORICS
2009
Springer
16 years 7 months ago
Tracking Information Flow in Dynamic Tree Structures
Abstract. This paper explores the problem of tracking information flow in dynamic tree structures. Motivated by the problem of manipulating the Document Object Model (DOM) trees by...
Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov
ICIAP
2009
ACM
16 years 7 months ago
Red Eye Detection through Bag-of-Keypoints Classification
Abstract. Red eye artifacts are a well-known problem in digital photography. Small compact devices and point-and-click usage, typical of non-professional photography, greatly incre...
Sebastiano Battiato, Mirko Guarnera, Tony Meccio, ...
POPL
2005
ACM
16 years 7 months ago
Connecting effects and uniqueness with adoption
Abstract. In a previous paper, we discussed how the concepts of uniqueness and effects are interdependent. In this paper, we show how "Adoption and Focus," a proposal for...
John Tang Boyland, William Retert
RECOMB
2005
Springer
16 years 7 months ago
Reversals of Fortune
Abstract. The objective function of the genome rearrangement problems allows the integration of other genome-level problems so that they may be solved simultaneously. Three example...
David Sankoff, Chunfang Zheng, Aleksander Lenert