4520 search results - page 626 / 904 » Algebraic Techniques for Timed Systems |
162
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
An Archival Repository reliably stores digital objects for long periods of time (decades or centuries). The archival nature of the system requires new techniques for storing, inde...
164
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Traditional news media report a single set of articles on current news stories. Online news sources make multiple stories on the same topic available re ecting di erent p...
238
click to vote
PKDD
2000
Springer
15 years 10 months ago
2000
Springer
Data mining is a useful decision support technique, which can be used to find trends and regularities in warehouses of corporate data. A serious problem of its practical applicatio...
174
click to vote
SIGMETRICS
1995
ACM
15 years 10 months ago
1995
ACM
Prefetching and caching are e ective techniques for improving the performance of le systems, but they have not been studied in an integrated fashion. This paper proposes four pro...
182
click to vote
DAC
1989
ACM
15 years 10 months ago
1989
ACM
We present an accurate and efficient method for extraction of parasitic capacitances in submicron integrated circuits. The method uses a 3-D finite element model in which the cond...