2713 search results - page 479 / 543 » Parameterized Tree Systems |
149
click to vote
SSDBM
2000
IEEE
15 years 10 months ago
2000
IEEE
In implementations of non-standard database systems, large objects are often embedded within an aggregate of different types, i.e. a tuple. For a given size and access probabilit...
133
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
Recent advances in DNA sequencing technology have created large data sets upon which phylogenetic inference can be performed. However, current research is limited by the prohibiti...
155
click to vote
CIKM
2000
Springer
15 years 10 months ago
2000
Springer
The complexity of deploying high-performance spatial structures in transactional DBMS environments has motivated researchers to experiment with the idea of reusing the effort inve...
166
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
182
click to vote
DSOM
2000
Springer
15 years 10 months ago
2000
Springer
Operational Data Analysis (ODA) automatically 1) monitors the performance of a computer through time, 2) stores such information in a data repository, 3) applies data-mining techn...