7393 search results - page 151 / 1479 » Synthesis-for-testability using transformations |
149
click to vote
DATESO
2006
15 years 4 months ago
2006
Huge amount of interesting data has been gathered in the DataPile structure since its creation. This data could be used in the development of RDF databases. When limited to basic i...
113
click to vote
FLAIRS
2001
15 years 4 months ago
2001
This paper presents a methodand implementation resuits for the transformation of WordNetglosses into logic forms. Theglosses, currently expressed in English are a rich source of w...
104
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We define a class of “algebraic” random matrix channels for which one can generically compute the limiting Shannon transform using numerical techniques and often enumerate th...
117
click to vote
LISP
2008
15 years 3 months ago
2008
We describe how to implement strength reduction, loop-invariant code motion and loop quasi-invariant code motion by specializing instrumented interpreters. To curb code duplication...
125
click to vote
CORR
2010
Springer
15 years 22 days ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...