7522 search results - page 113 / 1505 » Spacing memetic algorithms |
80
Voted
IPPS
2003
IEEE
15 years 6 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...
106
Voted
ASPDAC
1998
ACM
15 years 4 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...
101
Voted
EUROPAR
2009
Springer
15 years 4 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...
84
Voted
GECCO
2006
Springer
15 years 4 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...
ASPDAC
2001
ACM
15 years 4 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...