426 search results - page 17 / 86 » SAT-Based Techniques in System Synthesis |
155
Voted
CGF
2006
15 years 5 months ago
2006
We present a synthesis technique that can automatically generate stroke patterns based on a user-specified reference pattern. Our method is an extension of texture synthesis techn...
136
Voted
CASES
2007
ACM
15 years 9 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
128
click to vote
CONCUR
2009
Springer
16 years 11 days ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
154
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
175
Voted
TABLEAUX
2009
Springer
16 years 10 days ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...