7393 search results - page 335 / 1479 » Synthesis-for-testability using transformations |
127
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
Procedure extraction is an important program transformation that can be used to make programs easier to understand and maintain, to facilitate code reuse, and to convert “monoli...
130
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper proposes a new memory system called shuffle memory. The shuffle memory is a generalization of transposition memory that has been widely used in 2-D Discrete Cosine Tran...
121
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
We prove confluence of two cut-elimination procedures for the implicational fragment of a standard intuitionistic sequent calculus. One of the cut-elimination procedures uses globa...
145
click to vote
DGCI
2006
Springer
15 years 8 months ago
2006
Springer
Duality applied to geometrical problems is widely used in many applications in computer vision or computational geometry. A classical example is the Hough Transform to detect linea...
116
click to vote
SFP
2004
15 years 6 months ago
2004
: In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to an abstract machine for this lan...