3108 search results - page 537 / 622 » The Elements of Computer Credibility |
150
click to vote
CRYPTO
2001
Springer
15 years 9 months ago
2001
Springer
Consider a network of processors among which elements in a finite field K can be verifiably shared in a constant number of rounds. Assume furthermore constant-round protocols ar...
229
Voted
ERCIMDL
1998
Springer
15 years 8 months ago
1998
Springer
Multimedia communication is a part of everyday life and its appearance in computer applications is increasing in frequency and diversity. Intelligent or knowledge based computer su...
159
Voted
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we consider a quantum computational variant of nondeterminism based on the notion of a quantum proof, which is a quantum state that plays a role similar to a certifi...
164
click to vote
PPSC
1989
15 years 5 months ago
1989
The LAPACK software project currently under development is intended to provide a portable linear algebra library for high performance computers. LAPACK will make use of the Level 1...
134
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Voltage islanding technique in Network-on-Chip (NoC) can significantly reduce the computational energy consumption by scaling down the voltage levels of the processing elements (P...