Sciweavers

3134 search results - page 150 / 627
» Embedded System Design for Network Time Synchronization
Sort
View
151
Voted
HPCC
2007
Springer
15 years 9 months ago
Parallel Genetic Algorithms for DVS Scheduling of Distributed Embedded Systems
Many of today’s embedded systems, such as wireless and portable devices rely heavily on the limited power supply. Therefore, energy efficiency becomes one of the major design con...
Man Lin, Chen Ding
120
Voted
ICCAD
1996
IEEE
127views Hardware» more  ICCAD 1996»
15 years 7 months ago
Comparing models of computation
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
111
Voted
EUROMICRO
2000
IEEE
15 years 8 months 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...
154
Voted
EMSOFT
2007
Springer
15 years 9 months ago
Performance estimation of distributed real-time embedded systems by discrete event simulations
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
Gabor Madl, Nikil Dutt, Sherif Abdelwahed
130
Voted
EUC
2006
Springer
15 years 7 months ago
Fast Mounting and Recovery for NAND Flash Memory Based Embedded Systems
Even though its advantages such as non-volatility, fast write access time and solid-state shock resistance, NAND flash memory suffers from out-place-update, limited erase cycles, a...
Song-Hwa Park, Tae-Hoon Kim, Tae-Hoon Lee, Ki-Dong...