32545 search results - page 401 / 6509 » Data Structures and Algorithms |
178
Voted
ICALP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. We show lower bounds in the cell probe model for the redundancy/query time tradeoff of solutions to static data structure problems.
154
Voted
SIGPLAN
2002
15 years 6 months ago
2002
In this paper, we present a new framework for the definition of various data structures (including trees and arrays) together with a generic language of filters enabling a rule-ba...
188
Voted
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
177
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Kernel-level rootkits affect system security by modifying key kernel data structures to achieve a variety of malicious goals. While early rootkits modified control data structur...