7393 search results - page 239 / 1479 » Synthesis-for-testability using transformations |
160
click to vote
SOSYM
2010
15 years 2 months ago
2010
Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...
177
click to vote
SIAMNUM
2010
14 years 10 months ago
2010
A straightforward discretisation of problems in d spatial dimensions often leads to an exponential growth in the number of degrees of freedom. Thus, even efficient algorithms like ...
145
Voted
TSP
2010
14 years 10 months ago
2010
Constant modulus transforms like discrete Fourier transform (DFT), Walsh transform, and Gold codes have been successfully used over several decades in several engineering applicati...
186
Voted
STOC
2012
ACM
13 years 6 months ago
2012
ACM
We consider the problem of computing the k-sparse approximation to the discrete Fourier transform of an ndimensional signal. We show: • An O(k log n)-time randomized algorithm f...
219
Voted
VLDB
2003
ACM
16 years 4 months ago
2003
ACM
Data warehousing systems integrate information from operational data sources into a central repository to enable analysis and mining of the integrated information. During the integ...