1886 search results - page 239 / 378 » Verifying and Validating Simulation Models |
ASPDAC
2004
ACM
15 years 1 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
ATAL
2008
Springer
15 years 7 hour ago
2008
Springer
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
DAC
2008
ACM
15 years 11 months ago
2008
ACM
Exponential increases in architectural design complexity threaten to make traditional processor design optimization techniques intractable. Genetically programmed response surface...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
Enterprises today wish to manage their IT resources so as to optimize business objectives, such as income, rather than IT metrics, such as response times. Therefore, we introduce ...
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Hornby’s Age-Layered Population Structure claims to reduce premature convergence in Evolutionary Algorithms. We provide the first evaluation of ALPS on a realworld problem ...