4609 search results - page 51 / 922 » Automatic Generation of Sigma-Protocols |
127
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we discuss a library generator for parallel sorting routines that examines the input characteristics (and the parameters they affect) to select the best performing ...
148
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
Generation of ground-truths is of great importance for unbiased performance evaluation of document layout analysis methods. This is especially necessary because many methods are c...
137
click to vote
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
133
click to vote
EUC
2006
Springer
15 years 8 months ago
2006
Springer
Software programmers want to manage pure software, not hardware-software entanglements. Unfortunately, traditional development methodologies cannot clearly separate hardware and so...
151
click to vote
WSC
2007
15 years 7 months ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...