11394 search results - page 74 / 2279 » Self-Organizing Data Structures |
204
Voted
POPL
2001
ACM
16 years 3 months ago
2001
ACM
107
click to vote
SIGPLAN
2002
15 years 3 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...
134
Voted
VSTTE
2005
Springer
15 years 9 months 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...
108
Voted
ACSAC
2008
IEEE
15 years 10 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...