7393 search results - page 162 / 1479 » Synthesis-for-testability using transformations |
187
Voted
READING
2004
Springer
15 years 8 months ago
2004
Springer
Document Transformation techniques have been studied for decades. In this paper, a new approach for a significant improvement is presented based on using a new query expansion met...
142
click to vote
SLP
1994
15 years 4 months ago
1994
Most of the research, to date, on optimizing program transformations for declarative languages has focused on sequential execution strategies. In this paper, we consider a class o...
106
Voted
IACR
2011
14 years 3 months ago
2011
MDS Matrix has an important role in the design of Rijndael Cipher and is the most expensive component of the cipher. It is also used as a perfect diffusion primitive in some other ...
145
click to vote
CVPR
2000
IEEE
16 years 5 months ago
2000
IEEE
We define a process called congealing in which elements of a dataset (images) are brought into correspondence with each other jointly, producing a data-defined model. It is based ...
131
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...