Sciweavers

15636 search results - page 253 / 3128
» Modelling by supersaturated designs
Sort
View
GECCO
2007
Springer
180views Optimization» more  GECCO 2007»
16 years 1 months ago
Genetic optimization for yacht design
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 ...
Paolo Geremia, Mauro Poian, Silvia Poles
INFOCOM
2006
IEEE
16 years 1 months ago
Designing Low Cost Networks with Short Routes and Low Congestion
— We design network topologies and routing strategies which optimize several measures simultaneously: low cost, small routing diameter , bounded degree and low congestion. This s...
Van Nguyen, Charles U. Martel
DATE
2005
IEEE
152views Hardware» more  DATE 2005»
16 years 26 days ago
Design of Fault-Tolerant and Dynamically-Reconfigurable Microfluidic Biochips
Technology Roadmap for Semiconductors (ITRS) clearly identifies the integration of electrochemical and electrobiological techniques as one of the system-level design challenges tha...
Fei Su, Krishnendu Chakrabarty
ICSE
2009
IEEE-ACM
15 years 5 months ago
Model checking flight control systems: The Airbus experience
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
Thomas Bochot, Pierre Virelizier, Hél&egrav...
IDEAS
2007
IEEE
135views Database» more  IDEAS 2007»
16 years 1 months ago
Bitmap Index Design Choices and Their Performance Implications
Historically, bitmap indexing has provided an important database capability to accelerate queries. However, only a few database systems have implemented these indexes because of t...
Elizabeth J. O'Neil, Patrick E. O'Neil, Kesheng Wu