77 search results - page 3 / 16 » A Verification Approach for GALS Integration of Synchronous ... |
ENTCS
2010
13 years 5 months ago
2010
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
ISSS
2002
IEEE
13 years 10 months ago
2002
IEEE
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
ARC
2010
Springer
13 years 6 months ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...