11214 search results - page 63 / 2243 » Just-in-time data structures |
SIGCSE
1999
ACM
14 years 2 months ago
1999
ACM
We describe an approach for incorporating randomization in the teaching of data structures and algorithms. The proofs we include are quite simple and can easily
SIGCSE
2012
ACM
12 years 5 months ago
2012
ACM
We present CSTutor, a sketch-based interface designed to help students understand data structures. It currently supports Linked Lists, Binary Search Trees, AVL Trees, and Heaps, a...
POPL
2001
ACM
14 years 10 months ago
2001
ACM
VSTTE
2005
Springer
14 years 3 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...
ACSAC
2008
IEEE
14 years 4 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...