67 search results - page 10 / 14 » Generating Tests for Control Portion of SDL Specifications |
GECCO
2005
Springer
14 years 13 days ago
2005
Springer
In this paper, we present an approach that extends the Particle Swarm Optimization (PSO) algorithm to handle multiobjective optimization problems by incorporating the mechanism of...
TCAD
2010
13 years 1 months ago
2010
Protein crystallization is a commonly used technique for protein analysis and subsequent drug design. It predicts the 3-D arrangement of the constituent amino acids, which in turn ...
CHI
1999
ACM
13 years 11 months ago
1999
ACM
This work explores a new direction in utilizing eye gaze for computer input. Gaze tracking has long been considered as an alternative or potentially superior pointing method for c...
BMCBI
2006
13 years 7 months ago
2006
Background: Horizontal gene transfer (HGT) is considered a strong evolutionary force shaping the content of microbial genomes in a substantial manner. It is the difference in spee...
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...