53 search results - page 6 / 11 » Automatically Exploiting Subproblem Equivalence in Constrain... |
132
click to vote
POPL
2006
ACM
15 years 9 months ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...
85
Voted
ICRA
1998
IEEE
15 years 1 months ago
1998
IEEE
Abstract--Manufacturing scheduling is an important but difficult task. In order to effectively solve such combinatorial optimization problems, this paper presents a novel Lagrangia...
109
click to vote
PLDI
1997
ACM
15 years 1 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...
APLAS
2004
ACM
15 years 2 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...