7393 search results - page 210 / 1479 » Synthesis-for-testability using transformations |
109
click to vote
ISMIS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The needs of efficient and flexible information retrieval on multistructural data stored in database and network are significantly growing. Especially, its flexibility pl...
115
Voted
AOSE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-ori...
116
click to vote
ISMVL
1999
IEEE
15 years 8 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
157
Voted
CHES
2006
Springer
15 years 7 months ago
2006
Springer
Cryptographic algorithms implemented in embedded devices must withstand Side Channel Attacks such as the Differential Power Analysis (DPA). A common method of protecting symmetric ...
123
Voted
ESTIMEDIA
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a new adaptive scheme to reduce the computation energy of the discrete cosine transform (DCT) architecture for image/video coding. The scheme employs the noise ...