3888 search results - page 215 / 778 » Change-Driven Model Transformations |
217
click to vote
IEEEPACT
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract—Optimizing compilers apply numerous interdependent optimizations, leading to the notoriously difficult phase-ordering problem — that of deciding which transformations...
170
click to vote
SPEECH
1998
15 years 5 months ago
1998
This paper illustrates the advantages of using the Discrete Cosine Transform (DCT) as compared to the standard Discrete Fourier Transform (DFT) for the purpose of removing noise e...
196
click to vote
NIPS
2008
15 years 7 months ago
2008
Probabilistic topic models have become popular as methods for dimensionality reduction in collections of text documents or images. These models are usually treated as generative m...
145
click to vote
WSC
2001
15 years 7 months ago
2001
It is readily apparent how important the Internet is to modern life. The exponential growth in its use requires good tools for analyzing congestion. Much has been written recently...
150
click to vote
ASPDAC
2008
ACM
15 years 7 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...