894 search results - page 15 / 179 » Optimizations for LTL Synthesis |
77
Voted
EMSOFT
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Advances in VLSI technology have lead to a tremendous increase in the density and number of devices that can be manufactured in a single microchip. One of the interesting...
144
click to vote
TOG
2012
13 years 1 months ago
2012
We present a motion synthesis framework capable of producing a wide variety of important human behaviors that have rarely been studied, including getting up from the ground, crawl...
CDC
2010
IEEE
14 years 5 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...
106
click to vote
ICCAD
1994
IEEE
15 years 3 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
94
Voted
VLSID
2002
IEEE
15 years 11 months ago
2002
IEEE
Clock selection has a significant impact on the performance and quality of designs in high-level synthesis. In most synthesis systems, a convenient value of the clock is chosen or...