426 search results - page 1 / 86 » SAT-Based Techniques in System Synthesis |
ISSS
1999
IEEE
13 years 9 months ago
1999
IEEE
ended tutorial abstract appeared in the Proceedings of the 12th International Symposium On System Synthesis, IEEE, San Jose, CA, USA November, 11, 1999.
JSAT
2006
13 years 4 months ago
2006
In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be h...
SI3D
2012
ACM
12 years 12 days ago
2012
ACM
We synthesize natural-looking locomotion, reaching and grasping for a virtual character in order to accomplish a wide range of movement and manipulation tasks in real time. Our vi...
DAC
1996
ACM
13 years 9 months ago
1996
ACM
Logic synthesis systems are complex systems and algorithmic research in synthesis has become highly specialized. This creates a gap where it is often not clear how an advance in a...
RTCSA
2007
IEEE
13 years 11 months ago
2007
IEEE
We consider a resource synthesis technique for realtime systems where dynamic voltage scaling is supported, the energy budget is limited, and the performance of the system depends...