Sciweavers

381 search results - page 25 / 77
» Practical PACE for embedded systems
Sort
View
CSIE
2009
IEEE
13 years 8 months ago
On Test Script Technique Oriented Automation of Embedded Software Simulation Testing
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
Yongfeng Yin, Bin Liu, Bentao Zheng
SAMOS
2010
Springer
13 years 5 months ago
CLI-based compilation flows for the C language
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...
Erven Rohou, Andrea C. Ornstein, Marco Cornero
ACRI
2004
Springer
14 years 28 days ago
Heredity, Complexity, and Surprise: Embedded Self-Replication and Evolution in CA
Abstract. This paper reviews the history of embedded, evolvable selfreplicating structures implemented as cellular automata systems. We relate recent advances in this field to the...
Chris Salzberg, Hiroki Sayama
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
13 years 12 months ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen
SIES
2008
IEEE
14 years 1 months ago
Dynamic voltage and frequency scaling for optimal real-time scheduling on multiprocessors
Abstract— Not only system performance but also energy efficiency is critically important for embedded systems. Optimal real-time scheduling is effective to not only schedulabili...
Kenji Funaoka, Akira Takeda, Shinpei Kato, Nobuyuk...