3169 search results - page 332 / 634 » Robust Timed Automata |
149
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...
323
click to vote
FAST
2011
14 years 10 months ago
2011
We present Anticipatory Memory Allocation (AMA), a new method to build kernel code that is robust to memoryallocation failures. AMA avoids the usual difficulties in handling allo...
191
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
156
click to vote
ICA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Frequency domain ICA has been used successfully to separate the utterances of interfering speakers in convolutive environments, see e.g. [6],[7]. Improved separation resu...
188
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
Application execution time prediction is of key importance in making decisions about efficient usage of Grid resources. Grid services lack support of a generic application executi...