54 search results - page 1 / 11 » An Automata-Theoretic Approach for Model-Checking Systems wi... |
FATES
2004
Springer
13 years 10 months ago
2004
Springer
IPPS
2002
IEEE
13 years 10 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
QEST
2010
IEEE
13 years 3 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
QEST
2010
IEEE
13 years 3 months ago
2010
IEEE
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
QEST
2007
IEEE
13 years 11 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...