10392 search results - page 1815 / 2079 » Introduction to Computer Science |
173
click to vote
EDBT
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we present the Slim-tree, a dynamic tree for organizing metric datasets in pages of fixed size. The Slim-tree uses the "fat-factor" which provides a simple ...
153
click to vote
SAFECOMP
2000
Springer
15 years 10 months ago
2000
Springer
Fault tolerant systems based on the use of software design diversity may be able to achieve high levels of reliability more cost-effectively than other approaches, such as heroic ...
153
click to vote
PLDI
1995
ACM
15 years 10 months ago
1995
ACM
d Abstract) Alexander Aiken Manuel F¨ahndrich Raph Levieny Computer Science Division University of California, Berkeleyz Static memory managementreplaces runtime garbage collecti...
163
click to vote
LICS
1989
IEEE
15 years 10 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
160
Voted
CAISE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...