879 search results - page 85 / 176 » A Constraint Programming Approach for the Service Consolidat... |
134
Voted
JPDC
2010
14 years 10 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 ...
109
Voted
SODA
1998
ACM
15 years 4 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 ...
127
Voted
ACTA
2010
15 years 3 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...
139
Voted
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...
141
Voted
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...