24095 search results - page 4526 / 4819 » Researchers and Development - Young Researches |
182
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
178
click to vote
MM
1997
ACM
15 years 11 months ago
1997
ACM
A number of recent technological trends have made data intensive applications such as continuous media (audio and video) servers a reality. These servers store and retrieve a larg...
179
Voted
SIGMOD
1997
ACM
15 years 11 months ago
1997
ACM
The Distributed Information Search COmponent (Disco) is a prototype heterogeneous distributed database that accesses underlying data sources. The Disco prototype currently focuses...
205
click to vote
DBPL
1997
Springer
15 years 11 months ago
1997
Springer
Previous research on materialized views has primarily been in the context of flat relational databases--materialized views defined in terms of one or more flat relations. This pape...
174
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
A common statistical problem is that of nding the median element in a set of data. This paper presents a fastand portable parallel algorithm for nding the median given a set of el...