2377 search results - page 66 / 476 » Hybrid Systems in TLA |
107
click to vote
HYBRID
1998
Springer
15 years 3 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
ISCA
2005
IEEE
15 years 4 months 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...
108
Voted
HYBRID
2007
Springer
15 years 5 months 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...
HYBRID
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
HYBRID
1999
Springer
15 years 3 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...