8109 search results - page 205 / 1622 » A Model of Component-Based Programming |
163
click to vote
AAAI
2000
15 years 7 months ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
160
click to vote
EOR
2006
15 years 6 months ago
2006
In this paper a hybrid algorithm to solve Irregular Strip Packing problems is presented. The metaheuristic simulated annealing is used to guide the search over the solution space ...
188
click to vote
EOR
2007
15 years 6 months ago
2007
: In this paper, the RCPSP (Resource Constrained Project Scheduling Problem) is solved using a linear programming model. Each activity may or may not be preemptive. Each variable i...
173
click to vote
TSP
2008
15 years 6 months ago
2008
The focus of this paper is on VLIW instruction scheduling that minimizes the variation of power consumed by the processor during the execution of a target program. We use rough set...
150
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Intervals are a new model for parallel programming based on an explicit happens before relation. Intervals permit fine-grained but high-level control of the program sched...