3113 search results - page 80 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
135
Voted
IJNSEC
2010
14 years 10 months ago
2010
Digital Signature Algorithm (DSA) is an underlying algorithm to form a signature in the Digital Signature Standard (DSS). DSA uses a new random number (or nonce) each time a signa...
174
Voted
GLVLSI
2009
IEEE
15 years 1 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
132
Voted
TSMC
2010
14 years 10 months ago
2010
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...
130
click to vote
ITC
1993
IEEE
15 years 7 months ago
1993
IEEE
ÐPseudoexhaustive testing of a combinational circuit involves applying all possible input patterns to all its individual output cones. The testing ensures detection of all detecta...
129
Voted
SAC
2002
ACM
15 years 3 months ago
2002
ACM
This paper presents a novel approach for the problem of generating tiled code for nested for-loops using a tiling transformation. Tiling or supernode transformation has been widel...