822 search results - page 108 / 165 » Hardware software partitioning of embedded system in OCAPI-x... |
152
click to vote
IFIPTCS
2000
15 years 9 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
183
click to vote
ICAS
2008
IEEE
16 years 2 days ago
2008
IEEE
—The purpose of this paper is to present the linkage of Thetis (a real time multi-vehicles hybrid simulator for heterogeneous vehicles) with a control architecture for the manage...
134
click to vote
FPL
2008
Springer
15 years 7 months ago
2008
Springer
An example of an FPGA based application for a high-energy physics experiment is presented which features all facets of modern FPGA design. The special requirements here are high b...
152
click to vote
FORMATS
2009
Springer
16 years 6 days ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
153
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...