4541 search results - page 54 / 909 » Cache-Oblivious Algorithms and Data Structures |
CADE
2004
Springer
15 years 11 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
ICDM
2007
IEEE
15 years 5 months ago
2007
IEEE
The ability to mine data represented as a graph has become important in several domains for detecting various structural patterns. One important area of data mining is anomaly det...
GECCO
2008
Springer
15 years 5 days ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
CCGRID
2004
IEEE
15 years 2 months ago
2004
IEEE
A new computational framework is developed for the evolutionary determination of molecular crystal structures using the Shake-and-Bake methodology. Genetic algorithms are performe...
PODC
2004
ACM
15 years 4 months ago
2004
ACM
We describe a load-balancing mechanism for assigning elements to servers in a distributed data structure that supports range queries. The mechanism ensures both load-balancing wit...