Sciweavers

5180 search results - page 939 / 1036
» Concurrency, Time, and Constraints
Sort
View
SIES
2010
IEEE
15 years 4 months ago
Verification of a CAN bus model in SystemC with functional coverage
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
Christoph Kuznik, Gilles B. Defo, Wolfgang Mü...
WCET
2010
15 years 4 months ago
WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...
Christine Rochange, Armelle Bonenfant, Pascal Sain...
WEBI
2010
Springer
15 years 4 months ago
Research Interests: Their Dynamics, Structures and Applications in Web Search Refinement
For most scientists, their research interests are dynamically changing all the time. Through an analysis of research interests, we find that all the changes are with some character...
Yi Zeng, Erzhong Zhou, Yulin Qin, Ning Zhong
ETS
2009
IEEE
117views Hardware» more  ETS 2009»
15 years 4 months ago
A Two Phase Approach for Minimal Diagnostic Test Set Generation
We optimize the full-response diagnostic fault dictionary from a given test set. The smallest set of vectors is selected without loss of diagnostic resolution of the given test se...
Mohammed Ashfaq Shukoor, Vishwani D. Agrawal
GI
2009
Springer
15 years 4 months ago
Visualization of the Influence of SDF on the TMA Solution Space
: In [SH08] we introduced a method for the calculation and visualization of the whole TMA solution space. So, not only the best TMA solution, but also other solution areas with hig...
Ulrich Steimel