8190 search results - page 187 / 1638 » From Timed to Hybrid Systems |
158
click to vote
LCTRTS
1998
Springer
15 years 10 months ago
1998
Springer
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
176
Voted
RTCSA
2006
IEEE
16 years 15 hour ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
162
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a c...
161
click to vote
ICRA
2007
IEEE
16 years 9 days ago
2007
IEEE
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
161
click to vote
ICCAD
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...