5239 search results - page 455 / 1048 » Model-Integrated Embedded Systems |
184
click to vote
CSMR
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a case study where SofTrack a Software Defect Report and Tracking System - was implemented using internet technology in a geographically distributed organizat...
164
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...
197
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...
210
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 ...
198
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...