Sciweavers

4781 search results - page 666 / 957
» Complexity at large
Sort
View
133
Voted
CSMR
1999
IEEE
15 years 8 months ago
Employing Use-cases and Domain Knowledge for Comprehending Resource Usage
Philips Electronics is a world wide electronics company that develops many products containing embedded software. These products range from shavers with only few hundred bytes of ...
René L. Krikhaar, Maarten Pennings, J. Zonn...
130
Voted
DOLAP
1999
ACM
15 years 8 months ago
A Cache Filtering Optimisation for Queries to Massive Datasets on Tertiary Storage
We consider a system in which many users run queries to examine subsets of a large object set. The object set is partitioned into files on tape. A single subset of objects will b...
Koen Holtman, Peter van der Stok, Ian Willers
126
Voted
DATE
1999
IEEE
135views Hardware» more  DATE 1999»
15 years 8 months ago
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
João P. Marques Silva, Thomas Glass
119
Voted
SIGGRAPH
1999
ACM
15 years 8 months ago
Stable Fluids
Building animation tools for fluid-like motions is an important and challenging problem with many applications in computer graphics. The use of physics-based models for fluid ...
Jos Stam
126
Voted
SIGMOD
1999
ACM
101views Database» more  SIGMOD 1999»
15 years 8 months ago
Join Synopses for Approximate Query Answering
In large data warehousing environments, it is often advantageous to provide fast, approximate answers to complex aggregate queries based on statistical summaries of the full data....
Swarup Acharya, Phillip B. Gibbons, Viswanath Poos...