Sciweavers

2184 search results - page 22 / 437
» Assistive Embedded Technologies
Sort
View
DSD
2007
IEEE
142views Hardware» more  DSD 2007»
15 years 6 months ago
Decoupling of Computation and Communication with a Communication Assist
Abstract. In an embedded multiprocessor system the minimum throughput and maximum latency of real-time applications are usually derived given the worst-case execution time of the s...
Arno Moonen, Marco Bekooij, Rene van den Berg, Jef...
ICFEM
2007
Springer
15 years 6 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
CSREAESA
2006
15 years 1 months ago
Chip OS: new architecture for next generation embedded system
Nowadays embedded system, hardware/software technology has progressed prosperously. In many field of industrial manufacture and people life, embedded system is indispensable. Rece...
Tianzhou Chen, Yi Lian, Wei Hu
CSREAESA
2004
15 years 1 months ago
Intelligent Resource Agents for Embedded Systems
This paper presents a reconfigurable resource support mechanism to address scheduling issues in distributed embedded environment. A configurable object architecture is employed to...
En-Hsin Huang, Tzilla Elrad