7393 search results - page 167 / 1479 » Synthesis-for-testability using transformations |
122
click to vote
ISLPED
2000
ACM
15 years 7 months ago
2000
ACM
We introduce the notion of energy scalable computation on general purpose processors. The principle idea is to maximize computational quality for a given energy constraint. The de...
110
click to vote
DAC
1996
ACM
15 years 7 months ago
1996
ACM
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...
141
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
126
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
131
click to vote
Publication
This paper proposes a self-authentication scheme for color images, using a fragile data hiding method based on the Discrete Pascal Transform (DPT). The main contribution of this wo...