14190 search results - page 137 / 2838 » Abstractions for hybrid systems |
183
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
149
click to vote
ISCA
2005
IEEE
16 years 1 days ago
2005
IEEE
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have prim...
203
click to vote
HYBRID
2007
Springer
16 years 18 days ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
190
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. One of the key applications of microarray studies is to select and classify gene expression profiles of cancer and normal subjects. In this study, two hybrid approaches
198
click to vote
HYBRID
1999
Springer
15 years 10 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...