1287 search results - page 86 / 258 » Reduction of Timed Hybrid Systems |
154
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
123
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Sensor networks are expected to play an important role in hybrid protection infrastructures when combined with robots and human decision makers. In order to be effective, detectio...
155
click to vote
HPCA
2009
IEEE
16 years 5 months ago
2009
IEEE
Performance and power consumption of an on-chip interconnect that forms the backbone of Chip Multiprocessors (CMPs), are directly influenced by the underlying network topology. Bo...
160
click to vote
ASAP
2000
IEEE
15 years 8 months ago
2000
IEEE
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
145
click to vote
ADHOC
2008
15 years 4 months ago
2008
Virtual machines (VM) are promising as system software in sensor networks. A major impediment to their widespread acceptance is their performance overhead. Compiling VM bytecode to...