82 search results - page 6 / 17 » Soft-Error Detection Using Control Flow Assertions |
DFT
2006
IEEE
15 years 3 months ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
AAAI
2004
14 years 11 months ago
2004
A wide variety of techniques for visual navigation using robot-mounted cameras have been described over the past several decades, yet adoption of optical flow navigation technique...
DSS
2000
14 years 9 months ago
2000
This paper describes novel market-based technologies that uniquely establish quantifiable and adjustable limits on the power of attackers, enable verifiable accountability for mal...
IMC
2010
ACM
14 years 7 months ago
2010
ACM
The reconvergence of routing protocols in response to changes in network topology can impact application performance. While improvements in protocol specification and implementati...
CAIP
2007
Springer
15 years 1 months ago
2007
Springer
In this paper, we analyse mathematical properties of spatial optical-flow computation algorithm. First by numerical analysis, we derive the convergence property on variational opti...