879 search results - page 85 / 176 » A Constraint Programming Approach for the Service Consolidat... |
140
click to vote
JPDC
2010
14 years 11 months ago
2010
We show a method for parallelizing top down dynamic programs in a straightforward way by a careful choice of a lock-free shared hash table implementation and randomization of the ...
115
click to vote
SODA
1998
ACM
15 years 5 months ago
1998
ACM
We describe a new exact-arithmetic approach to linear programming when the number of variables n is much larger than the number of constraints m (or vice versa). The algorithm is ...
132
Voted
ACTA
2010
15 years 4 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
145
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—The study of Cyber-Physical System (CPS) has been an active area of research. Internet Data Center (IDC) is an important emerging Cyber-Physical System. As the demand on Interne...
147
click to vote
SIGMOD
2004
ACM
15 years 9 months ago
2004
ACM
Information in today’s enterprises commonly resides in a variety of heterogeneous data sources, including relational databases, web services, files, packaged applications, and c...