3156 search results - page 113 / 632 » An address translation simulator |
CCS
2003
ACM
15 years 6 months ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
106
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
108
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— This paper presents an epipolar based visual servoing for mobile robots equipped with a panoramic camera. The proposed visual servoing is based on the epipolar geometry and exp...
ENTCS
2006
15 years 1 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
109
Voted
MVA
2002
15 years 1 months ago
2002
For global motion estimation in model-based coding, this paper proposes a constrained spatio-temporal gradient method using contour information. To overcome the local minimum prob...