Sciweavers

5186 search results - page 418 / 1038
» Embedded Systems
Sort
View
RTAS
2000
IEEE
15 years 10 months ago
An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics
The Integrated Modular Avionics (IMA) approach can achieve lower overall hardware costs and reduced level of spares by getting multiple applications that have traditionally been i...
Mohamed F. Younis, Mohamed Aboutabl, Daeyoung Kim
ECRTS
2010
IEEE
15 years 8 months ago
Reducing Delay Jitter of Real-Time Control Tasks through Adaptive Deadline Adjustments
For many control systems, control performance is strongly dependent on delay variations of the control tasks. Such variations can come from a number of sources including task preem...
Shengyan Hong, Xiaobo Sharon Hu, Michael D. Lemmon
MEMOCODE
2010
IEEE
15 years 4 months ago
LTSs for translation validation of (multi-clocked) SIGNAL specifications
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
Julio C. Peralta, Thierry Gautier, Loïc Besna...
ERSA
2009
109views Hardware» more  ERSA 2009»
15 years 4 months ago
An Implementation of Security Extensions for Data Integrity and Confidentiality in Soft-Core Processors
An increasing number of embedded system solutions in space, military, and consumer electronics applications rely on processor cores inside reconfigurable logic devices. Ensuring da...
Austin Rogers, Aleksandar Milenkovic
ISCAS
2008
IEEE
343views Hardware» more  ISCAS 2008»
16 years 1 months ago
Rigorous study of short periodic orbits for the Lorenz system
— The existence of short periodic orbits for the Lorenz system is studied rigorously. We describe a method for finding all short cycles embedded in a chaotic singular attractor ...
Zbigniew Galias, Warwick Tucker