797 search results - page 152 / 160 » Eliminating Proofs from Programs |
FOCS
2009
IEEE
14 years 4 months ago
2009
IEEE
Canetti, Goldreich, Goldwasser, and Micali (STOC 2000) introduced the notion of resettable zeroknowledge proofs, where the protocol must be zero-knowledge even if a cheating veriļ...
SLOGICA
2011
13 years 4 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...
ICCD
2008
IEEE
14 years 6 months ago
2008
IEEE
ā Veriļ¬cation remains an integral and crucial phase of todayās microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. When test suites become too large, th...
MICRO
2009
IEEE
14 years 4 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and proļ¬ling. To eliminate implementation ...