577 search results - page 72 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
110
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
121
click to vote
IJON
2006
15 years 3 months ago
2006
We present an application of Independent Component Analysis (ICA) to the discrimination of mental tasks for EEG-based Brain Computer Interface systems. ICA is most commonly used w...
115
click to vote
SAFECOMP
2009
Springer
15 years 9 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
136
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
110
click to vote
WSC
2004
15 years 4 months ago
2004
The interactive, simulation-aided analysis of material flow systems is often done with the help of virtual reality. If a user wants to influence the simulation run, the simulation...