10293 search results - page 1674 / 2059 » Describing Semistructured Data |
174
click to vote
ISLPED
1996
ACM
15 years 11 months ago
1996
ACM
This paper describes a family of high-speed Finite Impulse Response (FIR) digital filters that have been scaled across three generations of CMOS processes. The processes include c...
170
click to vote
ISHPC
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Writing e cient iterative solvers for irregular, sparse matrices in HPF is hard. The locality in the computations is unclear, and for e ciency we use storage schemes that...
181
click to vote
SIGSOFT
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
163
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
We present a design for multi-version concurrency control and recovery in a main memory database, and describe logical and physical versioning schemes that allow read-only transac...
213
click to vote
VR
1993
IEEE
15 years 11 months ago
1993
IEEE
The technical limitations of early Virtual Reality systems made them almost teasers for showing the potential of the technology. Since these early days, many researchers have focu...