172 search results - page 25 / 35 » Enforcing synchronous system properties on top of timed syst... |
EMSOFT
2007
Springer
13 years 11 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 ...
TDSC
2008
13 years 7 months ago
2008
Integrated architectures in the automotive and avionic domain promise improved resource utilization and enable a better coordination of application subsystems compared to federated...
WICON
2008
13 years 8 months ago
2008
In recent years, wireless sensor networking has shown great promise in applications ranging from industrial control, environmental monitoring and inventory tracking. Given the res...
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
— With the advent of CMOS cameras, it is now possible to make compact, cheap and low-power image sensors capable of on-board image processing. These embedded vision sensors provi...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
— Recently, research on disconnected networks has been fostered by several studies on delay-tolerant networks, which are designed in order to sustain disconnected operations. We ...