7522 search results - page 113 / 1505 » Spacing memetic algorithms |
144
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Numerical methods for solving the systems of partial differential equations arising in geophysical fluid dynamics rely on a variety of spatial discretization schemes (e.g. finit...
165
click to vote
ASPDAC
1998
ACM
15 years 10 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
165
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
We consider a multi-processor system-on-chip destined for streaming applications. An application is composed of one input and one output queue and in-between, several levels of ide...
145
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we set the first steps towards the development of a commercially viable tool that uses evolutionary computation to address the Product to Shelf Allocation Problem (P...
173
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Clock-tuning has been classified as important but tough tasks due to the non-convex nature caused by the skew requirements. As a result, all existing mathematical programming appr...