Sciweavers

5239 search results - page 187 / 1048
» Model-Integrated Embedded Systems
Sort
View
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
15 years 8 months ago
Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
Nicolas Coste, Hubert Garavel, Holger Hermanns, Ri...
QSIC
2008
IEEE
15 years 8 months ago
An Executable Interface Specification for Industrial Embedded System Design
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...