5263 search results - page 162 / 1053 » Open Constraint Optimization |
127
click to vote
USENIX
2008
15 years 6 months ago
2008
Large-scale parallel dataflow systems, e.g., Dryad and Map-Reduce, have attracted significant attention recently. High-level dataflow languages such as Pig Latin and Sawzall are b...
118
click to vote
MOC
2010
14 years 10 months ago
2010
Abstract. Many key algorithms in 3-manifold topology involve the enumeration of normal surfaces, which is based upon the double description method for finding the vertices of a con...
144
Voted
MCS
2008
Springer
15 years 3 months ago
2008
Springer
In many real-life applications of optimal control problems with constraints in form of partial differential equations (PDEs), hyperbolic equations are involved which typically desc...
132
Voted
CASC
2010
Springer
15 years 2 months ago
2010
Springer
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
117
Voted
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...