1005 search results - page 125 / 201 » Agile Methods for Embedded Systems |
131
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
109
Voted
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
154
Voted
SAMOS
2009
Springer
15 years 9 months ago
2009
Springer
Developing real time multimedia applications for best effort networks such as the Internet requires prohibitions against jitter delay and frame loss. This problem is further compl...
82
Voted
DAC
2009
ACM
15 years 9 months ago
2009
ACM
Endosymbiotic Computing entails attaching an RF-enabled microcontroller module (endomodule) to an appliance such that it appears as a networked device in the cyber world. It enabl...
122
Voted
ICCCN
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— The paper describes a target tracking system running on a Heterogeneous Sensor Network (HSN) and presents results gathered from a realistic deployment. The system fuses...