4074 search results - page 479 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
191
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The sequential parameter optimization (spot) package for R (R Development Core Team, 2008) is a toolbox for tuning and understanding simulation and optimization algorithms. Model-...
134
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, a new method for evolving simple electronic circuits is discussed, with the aim of improving the reliability and performance of basic circuit blocks. Next-generatio...
163
click to vote
WSC
2008
15 years 9 months ago
2008
This paper focuses on a lot merging/splitting problem in a semiconductor wafer fabrication facility. In the fab, two or more lots can be merged into a single lot if routes and all...
195
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Recent rise in maritime piracy prompts the search for novel techniques for addressing the problem. We therefore developed AgentC, a prototype system that demonstrates how agent-ba...
178
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...