4930 search results - page 304 / 986 » Testing a Safety-Critical Application |
192
click to vote
PRIMA
2007
Springer
16 years 24 days ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
196
click to vote
SPIN
2007
Springer
16 years 24 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
151
click to vote
ITC
1996
IEEE
15 years 11 months ago
1996
IEEE
Orthogonal scan paths, which follow the path of the data flow, can be used in data path designs to reduce the test overhead -- area, delay and test application time -- by sharing ...
218
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
167
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
A novel algorithm for robustly segmenting changes between different images of a scene is presented. This computationally efficient algorithm is based on a non-linear comparison of...