573 search results - page 106 / 115 » Evolutionary functional testing of continuous control system... |
IPPS
1997
IEEE
14 years 20 days ago
1997
IEEE
Several optimizations to the Time Warp synchronization protocol for parallel discrete event simulation have been proposed and studied. Many of these optimizations have included so...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
The Modular Architecture for Bootstrapped Learning Experiments (MABLE) is a system that is being developed to allow humans to teach computers in the most natural manner possible: ...
RTSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Dynamic voltage scaling (DVS) algorithms save energy by scaling down the processor frequency when the processor is not fully loaded. Many algorithms have been proposed for periodi...
NAR
2006
13 years 8 months ago
2006
There is an increasing need to automatically annotate a set of genes or proteins (from genome sequencing, DNA microarray analysis or protein 2D gel experiments) using controlled v...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...