462 search results - page 28 / 93 » Symbolic Bounded Synthesis |
145
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
113
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— In modern robust control, control synthesis may be cast as an interpolation problem where the interpolant relates to robustness and performance criteria. In particular, robustn...
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
229
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
101
click to vote
WEA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Graphs can be represented symbolically by the Ordered Binary Decision Diagram (OBDD) of their characteristic function. To solve problems in such implicitly given graphs, ...