32545 search results - page 400 / 6509 » Data Structures and Algorithms |
196
click to vote
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
169
click to vote
CAISE
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Tree structures provide a popular means to organize the information on the Web. Taxonomies of thematic categories, concept hierarchies, e-commerce product catalogs are ex...
182
Voted
WDAS
2000
15 years 8 months ago
2000
This paper reviews literature on scalable data structures for searching in a distributed computing environment. Starting with a system where one server manages a file of a given s...
191
click to vote
IJCSA
2007
15 years 6 months ago
2007
Data warehouse systems service larger and larger sets of data. Effective data indexing is not sufficient, because one system node is unable to store such amount ofquickly flowing ...
170
Voted
IFL
2007
Springer
16 years 1 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...