Sciweavers

894 search results - page 25 / 179
» Optimizations for LTL Synthesis
Sort
View
91
Voted
COST
2009
Springer
101views Multimedia» more  COST 2009»
15 years 7 months ago
Optimizing Phonetic Encoding for Viennese Unit Selection Speech Synthesis
While developing lexical resources for a particular language variety (Viennese), we experimented with a set of 5 different phonetic encodings, termed phone sets, used for unit sel...
Michael Pucher, Friedrich Neubarth, Volker Strom
101
Voted
ISQED
2008
IEEE
153views Hardware» more  ISQED 2008»
15 years 7 months ago
ILP Based Gate Leakage Optimization Using DKCMOS Library during RTL Synthesis
In this paper dual-K (DKCMOS) technology is proposed as a method for gate leakage power reduction. An integer linear programming (ILP) based algorithm is proposed for its optimiza...
Saraju P. Mohanty
99
Voted
ISPD
2004
ACM
120views Hardware» more  ISPD 2004»
15 years 6 months ago
On optimal physical synthesis of sleep transistors
Considering the voltage drop constraint over a distributed model for power/ground (P/G) network, we study the following two problems for physical synthesis of sleep transistors: t...
Changbo Long, Jinjun Xiong, Lei He
85
Voted
GRAPHICSINTERFACE
2007
15 years 1 months ago
Optimized tile-based texture synthesis
One significant problem in tile-based texture synthesis is the presence of conspicuous seams in the tiles. The reason is that the sample patches employed as primary patterns of t...
Weiming Dong, Ning Zhou, Jean-Claude Paul
CCE
2008
15 years 19 days ago
Optimal synthesis of heat exchanger networks involving isothermal process streams
This paper proposes a new MINLP model for heat exchanger network synthesis that includes streams with phase change. The model considers every possible combination of process strea...
José María Ponce-Ortega, Arturo Jim&...