4167 search results - page 482 / 834 » Regression model checking |
143
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
147
click to vote
WCNC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper explores integrated source-channel decoding, driven by wireless sensor network applications where correlated information acquired by the network is gathered ...
143
Voted
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
144
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
143
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...