6554 search results - page 1006 / 1311 » Constraint Logic Programming |
190
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
134
click to vote
TAPSOFT
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
163
click to vote
ALGORITHMICA
2002
15 years 4 months ago
2002
We consider the total weighted completion time scheduling problem for parallel identical machines and precedence constraints, P jprecj PwiCi. This important and broad class of pro...
162
click to vote
OSN
2007
15 years 4 months ago
2007
— We present a review of the various integer linear programming (ILP) formulations that have been proposed for the routing and wavelength assignment problem in WDM optical networ...
119
click to vote
ASPLOS
2012
ACM
14 years 17 days ago
2012
ACM
Emerging scale-out workloads require extensive amounts of computational resources. However, data centers using modern server hardware face physical constraints in space and power,...