1108 search results - page 155 / 222 » Algorithm Transformation for FPGA Implementation |
134
Voted
CAV
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
123
click to vote
IEEEPACT
2008
IEEE
15 years 8 months ago
2008
IEEE
The memory access limits the performance of stream processors. By exploiting the reuse of data held in the Stream Register File (SRF), an on-chip storage, the number of memory acc...
106
Voted
ISMIR
2001
Springer
15 years 6 months ago
2001
Springer
In recent years the interest in melodic similarity has mushroomed mainly due to the increased importance of music information retrieval (MIR). A great number of similarity models ...
116
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract: The Principal Component Analysis (PCA) is a data dimensionality reduction technique well-suited for processing data from sensor networks. It can be applied to tasks like ...
115
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...