894 search results - page 86 / 179 » Optimizations for LTL Synthesis |
102
click to vote
AAAI
2007
15 years 3 months ago
2007
We present a novel Text-to-Picture system that synthesizes a picture from general, unrestricted natural language text. The process is analogous to Text-to-Speech synthesis, but wi...
100
click to vote
CEC
2007
IEEE
15 years 2 months ago
2007
IEEE
Abstract—The high-level synthesis process allows the automatic design and implementation of digital circuits starting from a behavioral description. Evolutionary algorithms are v...
104
Voted
FMSD
2006
15 years 20 days ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
98
Voted
TOG
2008
15 years 17 days ago
2008
Example-based texture synthesis algorithms have gained widespread popularity for their ability to take a single input image and create a perceptually similar non-periodic texture....
140
click to vote
ICCAD
2010
IEEE
14 years 10 months ago
2010
IEEE
Clock mesh is popular in high performance VLSI design because it is more robust against variations than clock tree at a cost of higher power consumption. In this paper, we propose ...