2195 search results - page 388 / 439 » Prototyping Networked Embedded Systems |
118
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
114
click to vote
AAAI
2010
15 years 4 months ago
2010
Embedded systems consisting of collaborating agents capable of interacting with their environment are becoming ubiquitous. It is crucial for these systems to be able to adapt to t...
131
click to vote
CVIU
2010
15 years 3 months ago
2010
Bio-inspired vision sensors are particularly appropriate candidates for navigation of vehicles or mobile robots due to their computational simplicity, allowing compact hardware im...
142
click to vote
SASO
2010
IEEE
15 years 27 days ago
2010
IEEE
To keep pace with constantly changing markets, many companies are seeking strategic partnerships. In this paper, we assume that a company can electronically provide a profile of th...
142
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...