82 search results - page 3 / 17 » Soft-Error Detection Using Control Flow Assertions |
108
click to vote
ICDCS
2010
IEEE
14 years 7 months ago
2010
IEEE
Advances in wireless vehicular networks present us with opportunities for developing new distributed traffic control algorithms that avoid phenomena such as abrupt phase-transition...
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
SIGOPS
2008
14 years 9 months ago
2008
Deployment of shared storage systems is increasing with rapid adoption of virtualization technologies to provide isolation, better management and high utilization of resources. Qu...
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Using the variational approaches to estimate optical flow between two frames, the flow discontinuities between different motion fields are usually not distinguished even when an an...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Distance bounding protocols have been proposed as means of detecting relay attacks, also known as mafia fraud. In this paper we present the first symmetric key based distance bou...