492 search results - page 73 / 99 » XML graphs in program analysis |
115
click to vote
SAT
2004
Springer
15 years 7 months ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
105
click to vote
CP
1998
Springer
15 years 6 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
126
click to vote
BMCBI
2002
15 years 1 months ago
2002
Background: Functional genomics involves the parallel experimentation with large sets of proteins. This requires management of large sets of open reading frames as a prerequisite ...
214
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...
129
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...