Sciweavers

46 search results - page 4 / 10
» Sometimes Updates Are Circumscription
Sort
View
PPOPP
2009
ACM
14 years 7 months ago
Transactional memory with strong atomicity using off-the-shelf memory protection hardware
This paper introduces a new way to provide strong atomicity in an implementation of transactional memory. Strong atomicity lets us offer clear semantics to programs, even if they ...
Martín Abadi, Tim Harris, Mojtaba Mehrara
FAST
2010
13 years 8 months ago
DFS: A File System for Virtualized Flash Storage
This paper presents the design, implementation and evaluation of Direct File System (DFS) for virtualized flash storage. of using traditional layers of abstraction, our layers of ...
William K. Josephson, Lars Ailo Bongo, David Flynn...
ECCV
2006
Springer
14 years 9 months ago
Accelerated Convergence Using Dynamic Mean Shift
Mean shift is an iterative mode-seeking algorithm widely used in pattern recognition and computer vision. However, its convergence is sometimes too slow to be practical. In this pa...
Kai Zhang, James T. Kwok, Ming Tang
ISCC
2008
IEEE
171views Communications» more  ISCC 2008»
14 years 1 months ago
The operation mode selection in FMIPv6
The Fast Handover for Mobile IPv6 (FMIPv6) [2] aims at reducing the long handover latency in Mobile IPv6 [1] by fast movement detection and fast binding update. Furthermore, it al...
Bin Liu, Philippe Martins, Philippe Bertin
ICECCS
2005
IEEE
171views Hardware» more  ICECCS 2005»
14 years 28 days ago
Behavior Capture and Test: Automated Analysis of Component Integration
Component-based technology is increasingly adopted to speed up the development of complex software through component reuse. Unfortunately, the lack of complete information about r...
Leonardo Mariani, Mauro Pezzè