11394 search results - page 103 / 2279 » Self-Organizing Data Structures |
103
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
141
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assert...
118
Voted
HIPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
136
Voted
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
We present our experience using a large, real-world application as a course project for the second half of the semester of a CS2 course. Our primary goal for the project was to cr...
90
Voted
TCS
2002
15 years 3 months ago
2002
We describe a general automata-theoretic approach for analyzing the veri