7393 search results - page 162 / 1479 » Synthesis-for-testability using transformations |
252
click to vote
READING
2004
Springer
16 years 6 days 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...
200
click to vote
SLP
1994
15 years 8 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...
167
Voted
IACR
2011
14 years 6 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 ...
200
click to vote
CVPR
2000
IEEE
16 years 9 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 ...
208
click to vote
ASM
2010
ASM
16 years 1 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...