867 search results - page 105 / 174 » An Evolutionary Algorithm for Integer Programming |
111
click to vote
ISQED
2008
IEEE
15 years 8 months ago
2008
IEEE
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...
122
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— In this paper, we consider the problem of scheduling sensor activity to maximize network lifetime while maintaining both discrete targets coverage and network connectivity. We ...
137
Voted
ICPADS
2005
IEEE
15 years 8 months ago
2005
IEEE
Low energy consumptions are extremely important in real-time embedded systems, and scheduling is one of the techniques used to obtain lower energy consumptions. In this paper, we ...
107
click to vote
SAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
167
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...