4930 search results - page 561 / 986 » Testing a Safety-Critical Application |
204
click to vote
ACTAC
2002
15 years 7 months ago
2002
Different program slicing methods are used for debugging, testing, reverse engineering and maintenance. Slicing algorithms can be classified as a static slicing or dynamic slicing...
190
click to vote
MAGS
2007
15 years 7 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
170
click to vote
AR
2002
15 years 7 months ago
2002
This paper analyzes the effects of the application of visual adaptation mechanisms on snapshot-based guidance methods. The guidance principle of the visual homing is proven to be a...
180
click to vote
CCE
2004
15 years 7 months ago
2004
: This paper presents a meta-heuristic optimization algorithm, Tabu Search (TS), and describes how it can be used to solve a wide variety of chemical engineering problems. Modifica...
222
click to vote
APIN
2000
15 years 7 months ago
2000
The use of genetic programming for probabilistic pattern matching is investigated. A stochastic regular expression language is used. The language features a statistically sound sem...