Sciweavers

439 search results - page 6 / 88
» Efficient stereo-to-multiview synthesis
Sort
View
DAC
2002
ACM
14 years 7 months ago
Efficient code synthesis from extended dataflow graphs for multimedia applications
This paper presents efficient automatic code synthesis techniques from dataflow graphs for multimedia applications. Since multimedia applications require large size buffers contai...
Hyunok Oh, Soonhoi Ha
ISSS
2000
IEEE
144views Hardware» more  ISSS 2000»
13 years 11 months ago
Efficient Hardware Controller Synthesis for Synchronous Dataflow Graph in System Level Design
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...
Hyunuk Jung, Kangnyoung Lee, Soonhoi Ha
WWW
2009
ACM
14 years 7 months ago
Automated synthesis of composite services with correctness guarantee
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, ...
FMCAD
2008
Springer
13 years 8 months ago
Recording Synthesis History for Sequential Verification
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
Alan Mishchenko, Robert K. Brayton
VMV
2001
84views Visualization» more  VMV 2001»
13 years 8 months ago
Multi-step View Synthesis with Occlusion Handling
Virtual view synthesis is essential for 3D teleconference systems like VIRTUE, which utilizes the motion parallax cue. In this paper we propose a multi-step view synthesis algorit...
Bang Jun Lei, Emile A. Hendriks