Sciweavers

639 search results - page 36 / 128
» Integer Programming Models for Optimization Problems in Test...
Sort
View
127
Voted
EUROGP
2008
Springer
135views Optimization» more  EUROGP 2008»
15 years 4 months ago
Using Genetic Programming for Turing Machine Induction
Abstract. Turing machines are playing an increasingly significant role in Computer Science domains such as bioinformatics. Instead of directly formulating a solution to a problem, ...
Amashini Naidoo, Nelishia Pillay
SODA
2001
ACM
157views Algorithms» more  SODA 2001»
15 years 3 months ago
New approaches to covering and packing problems
Covering and packing integer programs model a large family of combinatorial optimization problems. The current-best approximation algorithms for these are an instance of the basic...
Aravind Srinivasan
ICN
2005
Springer
15 years 8 months ago
Primary/Secondary Path Generation Problem: Reformulation, Solutions and Comparisons
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...
Quanshi Xia, Helmut Simonis
114
Voted
ISQED
2008
IEEE
153views Hardware» more  ISQED 2008»
15 years 9 months ago
ILP Based Gate Leakage Optimization Using DKCMOS Library during RTL Synthesis
In this paper dual-K (DKCMOS) technology is proposed as a method for gate leakage power reduction. An integer linear programming (ILP) based algorithm is proposed for its optimiza...
Saraju P. Mohanty
148
Voted
GECCO
2004
Springer
145views Optimization» more  GECCO 2004»
15 years 8 months ago
Search Based Automatic Test-Data Generation at an Architectural Level
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
Yuan Zhan, John A. Clark