Sciweavers

2607 search results - page 82 / 522
» Complete Functional Synthesis
Sort
View
121
Voted
ICASSP
2011
IEEE
14 years 7 months ago
An analytical approach to local sound field synthesis using linear arrays of loudspeakers
Methods like Wave Field Synthesis aim at the synthesis of a given desired sound field over a large receiver area. Practical limitations lead to considerable artifacts commonly re...
Jens Ahrens, Sascha Spors
EURODAC
1990
IEEE
74views VHDL» more  EURODAC 1990»
15 years 7 months ago
Matching system and component behaviour in MIMOLA synthesis tools
This paper discusses the selection of available components during high-level synthesis. We stress the importance of describing the behaviour of available components in some langua...
Peter Marwedel
131
Voted
AAAI
1990
15 years 4 months ago
Inductive Synthesis of Equational Programs
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
Nachum Dershowitz, Eli Pinchover
153
Voted
DATE
2000
IEEE
169views Hardware» more  DATE 2000»
15 years 8 months ago
Transformational Placement and Synthesis
Novel methodology and algorithms to seamlessly integrate logic synthesis and physical placement through a transformational approach are presented. Contrary to most placement algor...
Wilm E. Donath, Prabhakar Kudva, Leon Stok, Paul V...
120
Voted
DAC
1997
ACM
15 years 7 months ago
A Graph-Based Synthesis Algorithm for AND/XOR Networks
In this paper, we introduce a Shared Multiple Rooted XORbased Decomposition Diagram XORDD to represent functions with multiple outputs. Based on the XORDD representation, we dev...
Yibin Ye, Kaushik Roy