16568 search results - page 282 / 3314 » Structured Data on the Web |
148
click to vote
CAV
2007
Springer
16 years 24 days 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...
186
click to vote
ICSE
2010
IEEE-ACM
15 years 11 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...
158
click to vote
HIPS
1998
IEEE
15 years 11 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...
119
click to vote
TCS
2002
15 years 6 months ago
2002
We describe a general automata-theoretic approach for analyzing the veri
132
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The present article dedicates itself to fuzzy modelling of data