Sciweavers

4772 search results - page 28 / 955
» An approach to interface synthesis
Sort
View
SCESM
2006
ACM
266views Algorithms» more  SCESM 2006»
14 years 1 months ago
A comparative survey of scenario-based to state-based model synthesis approaches
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
Hongzhi Liang, Jürgen Dingel, Zinovy Diskin
CGF
2008
98views more  CGF 2008»
13 years 7 months ago
Texture Synthesis From Photographs
The goal of texture synthesis is to generate an arbitrarily large high-quality texture from a small input sample. Generally, it is assumed that the input image is given as a flat,...
Christian Eisenacher, Sylvain Lefebvre, Marc Stamm...
DAC
2012
ACM
11 years 9 months ago
Equivalence checking for behaviorally synthesized pipelines
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
Kecheng Hao, Sandip Ray, Fei Xie
ASSETS
2007
ACM
13 years 11 months ago
EasyVoice: integrating voice synthesis with Skype
This paper presents EasyVoice, a system that integrates voice synthesis with Skype. EasyVoice allows a person with voice disabilities to talk with another person located anywhere ...
Paulo A. Condado, Fernando G. Lobo
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
13 years 11 months ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere