884 search results - page 86 / 177 » Linear-Input Subset Analysis |
121
click to vote
ICCD
2006
IEEE
16 years 6 days ago
2006
IEEE
— Microprocessors can have design errors that escape the test and validation process. The cost to rectify these errors after shipping the processors can be very expensive as it m...
127
click to vote
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
123
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
— Fault injection has become a very classical method to determine the dependability of an integrated system with respect to soft errors. Due to the huge number of possible error ...
112
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Providing punctuation in speech transcripts not only improves readability, but it also helps downstream text processing such as information extraction or machine translation. In t...
124
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we consider Quasi-Birth-and-Death (QBD) processes where the upward (resp. downward) transitions are restricted to occur only from (resp. to) a subset of the phase ...