72 search results - page 5 / 15 » Dynamic detection of atomic-set-serializability violations |
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
CIS
2007
Springer
13 years 9 months ago
2007
Springer
Multi-domain application environments where distributed domains interoperate with each other are becoming a reality in Internet-based enterprise applications. The secure interoper...
ATVA
2005
Springer
14 years 24 days ago
2005
Springer
Mobile ad hoc networks oļ¬er very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
Background modeling is an important component of many vision systems. Existing work in the area has mostly addressed scenes that consist of static or quasi-static structures. When...
3DPVT
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, a unified, segmentation-based approach is proposed to deal with both stereo reconstruction and moving objects detection problems using multiple stereo mosaics. Each...