72 search results - page 15 / 15 » On the Parallel Complexity of Model Checking in the Modal Mu... |
GECCO
2007
Springer
14 years 12 days ago
2007
Springer
This paper introduces a procedure for using genetic multiobjective optimization in yacht design. The problem described consists on the optimization of a bulb shape to improve the ...
HPCA
2005
IEEE
14 years 6 months ago
2005
IEEE
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...