4126 search results - page 596 / 826 » Set based logic programming |
104
click to vote
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
131
click to vote
COCOA
2008
Springer
15 years 5 months ago
2008
Springer
We consider the problem of minimizing the total weighted completion time on identical parallel machines when jobs have stochastic processing times and may arrive over time. We give...
156
click to vote
MKWI
2008
15 years 4 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
106
click to vote
CASCON
1996
15 years 4 months ago
1996
This paper describes the use of WatIF, a simple compiler intermediate form based on the -calculus, for writing compiler front-ends for a wide range of programming languages. Somew...
109
click to vote
COR
2010
15 years 3 months ago
2010
The problem addressed in this paper is the decision problem of determining if a set of multi-dimensional rectangular boxes can be orthogonally packed into a rectangular bin while ...