1329 search results - page 240 / 266 » Constraint-based model synthesis |
124
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
—We present a new technique for statistical static timing analysis (SSTA) based on Markov chain Monte Carlo (MCMC), that allows fast and accurate estimation of the right-hand tai...
140
Voted
GLVLSI
2010
IEEE
15 years 7 months ago
2010
IEEE
Researchers are looking for alternatives to overcome the upcoming limits of conventional hardware technologies. Reversible logic thereby established itself as a promising directio...
122
Voted
CA
2002
IEEE
15 years 6 months ago
2002
IEEE
A facial analysis-synthesis framework based on a concise set of local, independently actuated, Coarticulation Regions (CR) is presented for the control of 2D animated characters. ...
87
Voted
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
108
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...