Sciweavers

Share
70 search results - page 2 / 14
» Automating Optimized Table-with-Polynomial Function Evaluati...
Sort
View
GECCO
2004
Springer
259views Optimization» more  GECCO 2004»
9 years 3 months ago
Evaluation of Different Fitness Functions for the Evolutionary Testing of an Autonomous Parking System
The method of evolutionary functional testing allows for the automation of testing by transforming test case design into an optimization problem. To this end it is necessary to def...
Joachim Wegener, Oliver Bühler
ICLP
1997
Springer
9 years 2 months ago
Parallel Evaluation Strategies for Functional Logic Languages
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
Sergio Antoy, Rachid Echahed, Michael Hanus
GECCO
2010
Springer
172views Optimization» more  GECCO 2010»
9 years 2 months ago
Designing better fitness functions for automated program repair
Evolutionary methods have been used to repair programs automatically, with promising results. However, the ļ¬tness function used to achieve these results was based on a few simpl...
Ethan Fast, Claire Le Goues, Stephanie Forrest, We...
FPGA
2007
ACM
163views FPGA» more  FPGA 2007»
9 years 4 months ago
Improved SAT-based Boolean matching using implicants for LUT-based FPGAs
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...
Jason Cong, Kirill Minkovich
CODES
2005
IEEE
9 years 3 months ago
High-level synthesis for large bit-width multipliers on FPGAs: a case study
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...
Gang Quan, James P. Davis, Siddhaveerasharan Devar...
books