Sciweavers

5239 search results - page 52 / 1048
» Model-Integrated Embedded Systems
Sort
View
LADS
2007
Springer
14 years 1 months ago
Extending the MaSE Methodology for the Development of Embedded Real-Time Systems
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
Iman Badr, Hisham Mubarak, Peter Göhner
CODES
2002
IEEE
14 years 18 days ago
Metrics for design space exploration of heterogeneous multiprocessor embedded systems
This paper considers the problem of designing heterogeneous multiprocessor embedded systems. The focus is on a step of the design flow: the definition of innovative metrics for th...
Donatella Sciuto, Fabio Salice, Luigi Pomante, Wil...
EUROMICRO
2000
IEEE
14 years 1 days ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
FGCN
2008
IEEE
104views Communications» more  FGCN 2008»
14 years 2 months ago
A Practical Dynamic Frequency Scaling Scheduling Algorithm for General Purpose Embedded Operating System
Dynamic frequency scaling (DFS) techniques for real-time embedded systems have been widely studied. However, most of the scheduling algorithms so far concern only special purpose ...
Tianzhou Chen, Jiangwei Huang, Liangxiang Xiang, Z...
ISLPED
2006
ACM
103views Hardware» more  ISLPED 2006»
14 years 1 months ago
Low power light-weight embedded systems
Light-weight embedded systems are now gaining more popularity due to the recent technological advances in fabrication that have resulted in more powerful tiny processors with grea...
Majid Sarrafzadeh, Foad Dabiri, Roozbeh Jafari, Ta...