400 search results - page 20 / 80 » An Extensible Meta-Model for Program Analysis |
140
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Several problems exist with current methods used to align DNA sequences for comparative sequence analysis. Most dynamic programming algorithms assume that conserved se...
104
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
We present a simple algorithmic extension of the classical call-strings approach to mitigate substantial performance degradation caused by spurious interprocedural cycles. Spuriou...
114
click to vote
ISIPTA
2003
IEEE
15 years 7 months ago
2003
IEEE
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...
117
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
124
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...