7429 search results - page 588 / 1486 » Embedded System Update |
159
click to vote
LICS
1996
IEEE
15 years 11 months ago
1996
IEEE
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...
193
click to vote
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Dynamic hardware reconfiguration is becoming a key technology in embedded system design that offers among others new potentials in dependable computing. To make system de...
206
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
191
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
We study the epipolar geometry between views acquired by mixtures of central projection systems including catadioptric sensors and cameras with lens distortion. Since the projecti...
167
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Digital fingerprinting is an important tool in multimedia forensics to trace traitors and protect multimedia content after decryption. This paper addresses the enforcement of digi...