3663 search results - page 344 / 733 » Problems in the ontology of computer programs |
199
click to vote
PATAT
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we deal with the problem of building a timetable for the courses of a university faculty. We propose an integer linear programming approach based on column generation...
172
click to vote
PLILP
1998
Springer
15 years 11 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
172
click to vote
AGP
1995
IEEE
15 years 10 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
162
click to vote
ANOR
2008
15 years 7 months ago
2008
Abstract Column generation techniques have become a widely used technique to successfully solve large (integer) linear programs. One of the keys to obtaining a practically efficien...
177
Voted
TVLSI
1998
15 years 6 months ago
1998
— This paper presents a solution to the problem of reducing the power dissipated by a digital system containing an intellectual proprietary core processor which repeatedly execut...