310 search results - page 35 / 62 » Scenario-based Validation of Embedded Systems |
DAC
2009
ACM
15 years 4 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...
IROS
2008
IEEE
15 years 4 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...
DATE
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. Both self-learning architecture (embedded structure) and explicit/implicit teaching from other agents (environmental design issue) are necessary not only for one behavior...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— The analysis regarding the impact of the single-step power control (SSPC) scheme on the system performance such as bit error rate, packet error rate and queueing variation is h...