615 search results - page 60 / 123 » High-Level Nondeterministic Abstractions in |
EUROCRYPT
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. This paper introduces a cryptographic paradigm called selfescrowed encryption, a concept initiated by kleptography. In simple words, a self-escrowed public-key cryptosyst...
166
click to vote
ICCAD
1994
IEEE
15 years 5 months ago
1994
IEEE
Interconnectperformance does not scale well into deep submicron dimensions, and the rising number of analog effects erodes tal abstraction necessary for high levels of integration...
132
Voted
LICS
1994
IEEE
15 years 5 months ago
1994
IEEE
Relational languages such as Ruby are used to derive circuits from abstract speci cations of their behaviour. Much reasoning is done informally in Ruby using pictorial representat...
133
click to vote
CCL
1994
Springer
15 years 5 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
122
click to vote
NSF
1994
Springer
15 years 5 months ago
1994
Springer
The goal of algebraic geometry is to gain an understanding of the behaviour of functions related by polynomial relationships. Algebraic curves and surfaces having considerable adva...