1271 search results - page 61 / 255 » On Simulation-Checking with Sequential Systems |
ASPDAC
2004
ACM
15 years 3 months ago
2004
ACM
Delay minimization continues to be an important objective in the design of high-performance computing system. In this paper, we present an effective methodology to guide the delay...
PATAT
2004
Springer
15 years 3 months ago
2004
Springer
Metaheuristic approaches to examination timetabling problems are usually split up into two phases: initialisation phase in which a heuristic is employed to construct an initial sol...
RAID
2004
Springer
15 years 3 months ago
2004
Springer
Worm detection and response systems must act quickly to identify and quarantine scanning worms, as when left unchecked such worms have been able to infect the majority of vulnerabl...
ECOOP
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
PACT
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. In this paper, we apply a competitive coevolutionary approach using loosely coupled genetic algorithms to a distributed optimization of the Rosenbrock's function. Th...