Sciweavers

894 search results - page 25 / 179
» Optimizations for LTL Synthesis
Sort
View
COST
2009
Springer
101views Multimedia» more  COST 2009»
15 years 5 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
88
Voted
ISQED
2008
IEEE
153views Hardware» more  ISQED 2008»
15 years 5 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
86
Voted
ISPD
2004
ACM
120views Hardware» more  ISPD 2004»
15 years 4 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
GRAPHICSINTERFACE
2007
15 years 11 days 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
14 years 11 months 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&...