1329 search results - page 38 / 266 » Constraint-based model synthesis |
137
click to vote
JVCA
2008
15 years 3 months ago
2008
We present a fast goal-directed motion synthesis technique that integrates sample-based planning methods with constraint-based dynamics simulation using a finite element formulati...
146
click to vote
VLSID
2003
IEEE
16 years 4 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
138
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
130
click to vote
DAC
2005
ACM
15 years 5 months ago
2005
ACM
Automated analog sizing is becoming an unavoidable solution for increasing analog design productivity. The complexity of typical analog SoC subsystems however calls for efficient ...
115
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
This paper addresses the synthesis approach to output feedback robust model predictive control for systems with polytopic description, bounded state disturbance and measurement no...