1387 search results - page 258 / 278 » Next generation CiteSeer |
ASPLOS
1998
ACM
13 years 12 months ago
1998
ACM
This paper describes the Network-Attached Secure Disk (NASD) storage architecture, prototype implementations of NASD drives, array management for our architecture, and three files...
CADE
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
FCCM
1997
IEEE
13 years 12 months ago
1997
IEEE
We propose an FPGA chip architecture based on a conventional FPGA logic array core, in which I/O pins are clocked at a much higher rate than that of the logic array that they serv...
ISCA
1997
IEEE
13 years 12 months ago
1997
IEEE
The SGI Origin 2000 is a cache-coherent non-uniform memory access (ccNUMA) multiprocessor designed and manufactured by Silicon Graphics, Inc. The Origin system was designed from t...
CHI
1997
ACM
13 years 12 months ago
1997
ACM
Most windowing systems follow the independent overlapping windows approach, which emerged as an answer to the needs of the 1980s’ technology. Due to advances in computers and di...