4930 search results - page 225 / 986 » Testing a Safety-Critical Application |
167
click to vote
TCAD
1998
15 years 6 months ago
1998
—New methods for fault-effect propagation and state justification that use finite-state-machine sequences are proposed for sequential circuit test generation. Distinguishing se...
173
click to vote
SIAMSC
2010
15 years 5 months ago
2010
In this paper, we will first introduce a novel multiscale representation (MSR) for shapes via level set motions and partial differential equations (PDEs). Based on the MSR, we wi...
250
click to vote
CAINE
2010
15 years 4 months ago
2010
The ability for humans to understand and process the emotional content of speech is unsurpassed by simulated intelligent agents. Beyond the linguistic content of speech are the un...
186
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
In the numerical solution of large-scale eigenvalue problems, Davidson-type methods are an increasingly popular alternative to Krylov eigensolvers. The main motivation is to avoid ...
199
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...