Sciweavers

2510 search results - page 284 / 502
» The Discipline of Embedded Systems Design
Sort
View
SPIN
2010
Springer
15 years 2 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki
CODES
2005
IEEE
15 years 10 months ago
A power estimation methodology for systemC transaction level models
Majority of existing works on system level power estimation have focused on the processor, while there are very few that address power consumption of peripherals in a SoC. With th...
Nagu R. Dhanwada, Ing-Chao Lin, Vijay Narayanan
FM
2003
Springer
136views Formal Methods» more  FM 2003»
15 years 9 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
FMCAD
2007
Springer
15 years 10 months ago
Global Optimization of Compositional Systems
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida ...
DATE
2007
IEEE
126views Hardware» more  DATE 2007»
15 years 10 months ago
A future of customizable processors: are we there yet?
Customizable processors are being used increasingly often in SoC designs. During the past few years, they have proven to be a good way to solve the conflicting flexibility and p...
Laura Pozzi, Pierre G. Paulin