740 search results - page 139 / 148 » Tabu search algorithm for chemical process optimization |
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
KDD
2005
ACM
14 years 7 months ago
2005
ACM
Tasks of data mining and information retrieval depend on a good distance function for measuring similarity between data instances. The most effective distance function must be for...
IEEEPACT
2008
IEEE
14 years 1 months ago
2008
IEEE
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
This paper shows that the evolutionary design of digital circuits which is conducted at the gate level is able to produce human-competitive circuits at the transistor level. In ad...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...