426 search results - page 37 / 86 » SAT-Based Techniques in System Synthesis |
CODES
2003
IEEE
14 years 1 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
ICIP
2000
IEEE
14 years 25 days ago
2000
IEEE
In the paper, a methodology for individual face synthesis using given orthogonal photos is proposed. And an integrated speech-driven facial animation system is presented. Firstly,...
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
A major trend in a modern system-on-chip design is a growing system complexity, which results in a sharp increase of communication traffic on the on-chip communication bus architec...
RSS
2007
13 years 9 months ago
2007
— In this paper, we design planar nR serial chains that provide one degree-of-freedom movement for an end-effector through five arbitrarily specified task positions. These chai...
DAGSTUHL
2003
13 years 9 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...