Sciweavers

7393 search results - page 570 / 1479
» Synthesis-for-testability using transformations
Sort
View
228
Voted
ICIP
2000
IEEE
15 years 12 months ago
EBWIC: A low Complexity and Efficient Rate Constrained Wavelet Image Coder
Efficient compression algorithms generally use wavelet transforms. They try to exploit all the signal dependencies that can appear inside and across the different sub-bands of th...
Christophe Parisot, Marc Antonini, Michel Barlaud
177
Voted
PLDI
2000
ACM
15 years 11 months ago
Translation validation for an optimizing compiler
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
George C. Necula
IPPS
1999
IEEE
15 years 11 months ago
A Structured Approach to Parallel Programming: Methodology and Models
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
Berna L. Massingill
ASPDAC
2007
ACM
144views Hardware» more  ASPDAC 2007»
15 years 11 months ago
Parameter Reduction for Variability Analysis by Slice Inverse Regression (SIR) Method
With semiconductor fabrication technologies scaled below 100 nm, the design-manufacturing interface becomes more and more complicated. The resultant process variability causes a nu...
Alexander V. Mitev, Michael Marefat, Dongsheng Ma,...
211
Voted
EURONGI
2006
Springer
15 years 11 months ago
Randomized Self-stabilizing Algorithms for Wireless Sensor Networks
Wireless sensor networks (WSNs) pose challenges not present in classical distributed systems: resource limitations, high failure rates, and ad hoc deployment. The lossy nature of w...
Volker Turau, Christoph Weyer