1287 search results - page 28 / 258 » Reduction of Timed Hybrid Systems |
RTSS
1998
IEEE
15 years 1 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
86
Voted
APCCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
— We conduct a complete analysis of the effect of digit redundancy in adders on their delay, power, energy, and energy-delay product. To our knowledge, this is the first such de...
109
click to vote
SIGMETRICS
2003
ACM
15 years 2 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
RTAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Despite a rapid decrease in the price of solid state memory devices, system memory is still a very precious resource in embedded systems. The use of shared libraries is known to b...
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...