Sciweavers

4759 search results - page 886 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
TACAS
1998
Springer
98views Algorithms» more  TACAS 1998»
15 years 6 months ago
Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation
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...
Miroslav N. Velev, Randal E. Bryant
DAC
1997
ACM
15 years 6 months ago
InfoPad - An Experiment in System Level Design and Integration
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...
Robert W. Brodersen
127
Voted
COSIT
1997
Springer
115views GIS» more  COSIT 1997»
15 years 6 months ago
Qualitative Representation of Change
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
Kathleen Hornsby, Max J. Egenhofer
HPCN
1997
Springer
15 years 6 months ago
An ATM-based Distributed High Performance Computing System
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,...
VLDB
1992
ACM
161views Database» more  VLDB 1992»
15 years 6 months ago
Performance and Scalability of Client-Server Database Architectures
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...
Alex Delis, Nick Roussopoulos