Sciweavers

2184 search results - page 22 / 437
» Assistive Embedded Technologies
Sort
View
DSD
2007
IEEE
142views Hardware» more  DSD 2007»
15 years 4 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 3 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
14 years 11 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
14 years 11 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