Sciweavers

4074 search results - page 215 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
15 years 10 months ago
A method for parameter calibration and relevance estimation in evolutionary algorithms
We present and evaluate a method for estimating the relevance and calibrating the values of parameters of an evolutionary algorithm. The method provides an information theoretic m...
Volker Nannen, A. E. Eiben
WSC
2008
15 years 9 months ago
Speeding up call center simulation and optimization by Markov chain uniformization
Staffing and scheduling optimization in large multiskill call centers is time-consuming, mainly because it requires lengthy simulations to evaluate performance measures and their ...
Eric Buist, Wyean Chan, Pierre L'Ecuyer
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
16 years 1 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
WSC
1997
15 years 7 months ago
A Framework for Incorporating Dynamic Strategies in Earth-Moving Simulations
Earthwork projects involve moving specific amounts of earth from a discrete set of source locations to a discrete set of destinations. Constructors use different methods and equip...
Govindan Kannan, Julio C. Martínez, Michael...
ICCD
2003
IEEE
98views Hardware» more  ICCD 2003»
16 years 3 months ago
Specifying and Verifying Systems with Multiple Clocks
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
Edmund M. Clarke, Daniel Kroening, Karen Yorav