4609 search results - page 512 / 922 » Automatic Generation of Sigma-Protocols |
212
click to vote
DAC
2003
ACM
16 years 2 days ago
2003
ACM
We present a novel method to efficiently generate, compress and apply test patterns in a logic BIST architecture. Patterns are generated by a modified automatic test pattern gener...
197
click to vote
SIGMOD
2003
ACM
16 years 2 days ago
2003
ACM
Many web sites contain large sets of pages generated using a common template or layout. For example, Amazon lays out the author, title, comments, etc. in the same way in all its b...
181
click to vote
ITNG
2010
IEEE
15 years 12 months ago
2010
IEEE
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...
165
click to vote
PASTE
2010
ACM
15 years 12 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
192
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
This paper proposes an estimation of distribution algorithm (EDA) aiming at addressing globally multimodal problems, i.e., problems that present several global optima. It can be r...