4013 search results - page 341 / 803 » computer 2002 |
126
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
The architecture and implementation of the LEON-FT processor is presented. LEON-FT is a fault-tolerant 32-bit processor based on the SPARC V8 instruction set. The processors toler...
133
click to vote
FOCS
2002
IEEE
15 years 10 months ago
2002
IEEE
We prove a quasi-polynomial lower bound on the size of bounded-depth Frege proofs of the pigeonhole principle PHPm n where m ´1 · 1 polylog nµn. This lower bound qualitatively ...
159
click to vote
FOCS
2002
IEEE
15 years 10 months ago
2002
IEEE
We show that every language in NP has a (black-box) concurrent zero-knowledge proof system using ˜O(log n) rounds of interaction. The number of rounds in our protocol is optimal,...
129
click to vote
FOCS
2002
IEEE
15 years 10 months ago
2002
IEEE
d abstract) Nathan Segerlind∗ Sam Buss† Russell Impagliazzo‡ We prove a new switching lemma that works for restrictions that set only a small fraction of the variables and i...
135
Voted
HAPTICS
2002
IEEE
15 years 10 months ago
2002
IEEE
Instrument controls in motor vehicles have haptic properties (force and compliance) designed to enhance the ease of use. In conventional control knobs, these properties are obtain...