1329 search results - page 30 / 266 » Constraint-based model synthesis |
113
click to vote
TCAD
2008
15 years 1 months ago
2008
Physical synthesis tools are responsible for achieving timing closure. Starting with 130nm designs, multiple cycles are required to cross the chip, making latch placement critical...
125
click to vote
FOSSACS
2012
Springer
13 years 9 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
128
click to vote
ICIP
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper describes a supervised segmentation algorithm which draws inspiration from recent advances in non-parametric texture synthesis. A set of example images which have been ...
100
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
In recent papers it has been suggested that human locomotion may be modeled as an inverse optimal control problem. In this paradigm, the trajectories are assumed to be solutions of...
118
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...