Sciweavers

7393 search results - page 108 / 1479
» Synthesis-for-testability using transformations
Sort
View
152
Voted
ICMCS
2006
IEEE
100views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Nonlinearly-Adapted Lapped Transforms for Intra-Frame Coding
The use of block transforms for coding intra-frames in video coding may preclude higher coding performance due to residual correlation across block boundaries and insufficient en...
Dan Lelescu
CC
1999
Springer
116views System Software» more  CC 1999»
15 years 7 months ago
A Programmable ANSI C Transformation Engine
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
Maarten Boekhold, Ireneusz Karkowski, Henk Corpora...
ECEASST
2008
110views more  ECEASST 2008»
15 years 3 months ago
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
Enrico Biermann, Tony Modica
134
Voted
ENTCS
2006
139views more  ENTCS 2006»
15 years 3 months ago
Improving the Usability of a Graph Transformation Language
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...
Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel B...
FMSD
2002
114views more  FMSD 2002»
15 years 2 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa