7820 search results - page 1207 / 1564 » Formalization of Time and Space |
182
click to vote
ISPASS
2005
IEEE
16 years 11 days ago
2005
IEEE
Performance evaluation using only a subset of programs from a benchmark suite is commonplace in computer architecture research. This is especially true during early design space e...
209
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
153
click to vote
APPROX
2005
Springer
16 years 10 days ago
2005
Springer
Traditionally, a fundamental assumption in evaluating the performance of algorithms for sorting and selection has been that comparing any two elements costs one unit (of time, work...
187
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
Agents or agent teams deployed to assist humans often face the challenges of monitoring the state of key processes in their environment (including the state of their human users t...
198
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
Assume a coevolutionary algorithm capable of storing and utilizing all phenotypes discovered during its operation, for as long as it operates on a problem; that is, assume an algo...