3221 search results - page 204 / 645 » Termination of Linear Programs |
161
click to vote
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
We study a type of linear placement problem arising in detailed placement optimization of a given cell row in the presence of white-space (extra sites). In this single-row placeme...
158
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Vectorless power grid verification makes it possible to evaluate worst-case voltage drops without enumerating possible current waveforms. Under linear current constraints, the vec...
144
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Separable convex optimization problems with linear ascending inequality and equality constraints are addressed in this paper. An algorithm that explicitly characterizes the optimum...
134
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
nalysis of logic programs, abstract domains for detecting sharing and linearity ion are widely used. Devising abstract unification algorithms for such domains has proved to be ra...
264
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...