7393 search results - page 269 / 1479 » Synthesis-for-testability using transformations |
135
click to vote
ACNS
2007
Springer
15 years 10 months ago
2007
Springer
Recently, there are several generic transformation techniques proposed for converting unforgeable signature schemes (the message in the forgery has not been signed yet) into strong...
142
click to vote
CODES
2009
IEEE
15 years 5 months ago
2009
IEEE
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
152
click to vote
SIGARCH
2008
15 years 4 months ago
2008
This paper presents a parallelization framework for emerging applications on the future chip multiprocessors (CMPs). With the continuing prevalence of CMP and the number of on-die...
158
click to vote
PODS
2004
ACM
16 years 4 months ago
2004
ACM
Data exchange is the problem of taking data structured under a source schema and creating an instance of a target schema. Given a source instance, there may be many solutions ? ta...
136
click to vote
CRYPTO
2005
Springer
15 years 9 months ago
2005
Springer
Broadcast encryption schemes allow a message sender to broadcast an encrypted data so that only legitimate receivers decrypt it. Because of the intrinsic nature of one-to-many comm...