5239 search results - page 535 / 1048 » Model-Integrated Embedded Systems |
178
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
181
click to vote
FCCM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a proto-type autonomous signal processing system on a chip. The system is architected such that high performance digital signal processing occurs in the FPGAâ€...
143
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We present a novel type of inter-module connection mechanism for waterborne modular robotic systems. The proposed mechanism exploits the thermoelectric effect to cool d...
203
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
203
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper investigates resource allocation policies for achieving real-time content distribution with subsecond delay bounds on the current Internet. Resource allocation in real-...