Sciweavers

2607 search results - page 64 / 522
» Complete Functional Synthesis
Sort
View
COST
2007
Springer
276views Multimedia» more  COST 2007»
15 years 9 months ago
A Gesture-Based Concept for Speech Movement Control in Articulatory Speech Synthesis
An articulatory speech synthesizer comprising a three-dimensional vocal tract model and a gesture-based concept for control of articulatory movements is introduced and discussed in...
Bernd J. Kröger, Peter Birkholz
158
Voted
AES
2004
Springer
190views Cryptology» more  AES 2004»
15 years 8 months ago
Small Size, Low Power, Side Channel-Immune AES Coprocessor: Design and Synthesis Results
Abstract. When cryptosystems are being used in real life, hardware and software implementations themselves present a fruitful field for attacks. Side channel attacks exploit infor...
Elena Trichina, Tymur Korkishko, Kyung-Hee Lee
72
Voted
GECCO
2003
Springer
15 years 8 months ago
Problem-Independent Schema Synthesis for Genetic Algorithms
Abstract. As a preprocessing for genetic algorithms, static reordering helps genetic algorithms effectively create and preserve high-quality schemata, and consequently improves th...
Yong-Hyuk Kim, Yung-Keun Kwon, Byung Ro Moon
ASPDAC
2009
ACM
144views Hardware» more  ASPDAC 2009»
15 years 8 months ago
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee
102
Voted
TODAES
2008
115views more  TODAES 2008»
15 years 2 months ago
Automata-based assertion-checker synthesis of PSL properties
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
Marc Boule, Zeljko Zilic