932 search results - page 127 / 187 » Analysis and Optimization of CHR Programs |
PEPM
1997
ACM
14 years 2 months ago
1997
ACM
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
GECCO
2005
Springer
14 years 4 months ago
2005
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in the framework of sy...
ICCAD
2004
IEEE
14 years 7 months ago
2004
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...
GECCO
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. This paper shows how the presence of states in test objects can hinder or render impossible the search for test data using evolutionary testing. Additional guidance is re...
ACCV
1998
Springer
14 years 2 months ago
1998
Springer
A new paradigm, the minimization of errors in synthesized images, is introduced to organically combine Computer Vision and Computer Graphics for Virtual Reality applications. Based...