7393 search results - page 173 / 1479 » Synthesis-for-testability using transformations |
136
Voted
CHES
2008
Springer
15 years 5 months ago
2008
Springer
At CHES 2006, a DPA countermeasure based on the Fourier Transform was published. This generic countermeasure aims at protecting from DPA any S-box calculation used in symmetric cry...
144
Voted
ACL
1990
15 years 4 months ago
1990
In this paper, we present a computational method for transforming a syntactic graph, which represents all syntactic interpretations of a sentence, into a semantic graph which filt...
117
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas w...
122
Voted
INFSOF
2002
15 years 3 months ago
2002
While software methodology encourages the use of libraries and advocates architectures of layered libraries, in practice the composition of libraries is not always seamless and th...
128
Voted
CC
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...