7393 search results - page 392 / 1479 » Synthesis-for-testability using transformations |
113
click to vote
MPC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
149
Voted
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a novel source code transformation for control flow optimizationcalled loop nest splitting which minimizes the number of executed if-statements in loop nests ...
125
click to vote
IAT
2003
IEEE
15 years 10 months ago
2003
IEEE
We discuss a rigorous unifying framework for both planning and replanning, extending an existing logic-based approach to resource-based planning. The primitive concepts in this Ac...
174
Voted
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a semi-fragile object-based authentication solution for MPEG4 video. To protect the integrity of the video objects / sequences, a content-based watermark is em...
196
click to vote
FSE
2003
Springer
15 years 10 months ago
2003
Springer
We present our further observations on the structure of the AES algorithm relating to the cyclic properties of the functions used in this cipher. We note that the maximal period of...