This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
The InfoPad project was started at UC Berkeley in 1992 to investigate the issues involved in providing multimedia information access using a portable, wireless terminal. It quickl...
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
We describe the distributed high performance computing system we have developed to integrate together a heterogeneous set of high performance computers, high capacity storage syst...
Kenneth A. Hawick, Heath A. James, Kevin Maciunas,...
Recent developments in software and hardware changed the way database systems are built and operate. In this paper we present database architectures based on the Client Server par...