5414 search results - page 1 / 1083 » Data representation synthesis |
ICCAD
1992
IEEE
13 years 8 months ago
1992
IEEE
High-level synthesis (HLS) requires more designer interaction to better meet the needs of experienced designers. However, attempts to create a highly interactive synthesis process...
PLDI
2012
ACM
11 years 7 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
JVCIR
2010
13 years 2 months ago
2010
This paper presents a polygon soup representation for multiview data. Starting from a sequence of multi-view video plus depth (MVD) data, the proposed quad-based representation ta...
ICASSP
2008
IEEE
13 years 11 months ago
2008
IEEE
A physical modeling synthesizer is developed and used to parametrically represent digital audio recordings of clarinet soloists. Empirical data, in the form of acoustic impedance ...