7785 search results - page 320 / 1557 » The Concept of Dynamic Analysis |
224
click to vote
IV
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...
215
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
178
click to vote
STOC
2012
ACM
13 years 9 months ago
2012
ACM
We analyze the Schelling model of segregation in which a society of n individuals live in a ring. Each individual is one of two races and is only satisfied with his location so l...
195
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Gene Ontology (GO) characterizes and categorizes the functions of genes and their products according to biological processes, molecular functions and cellular componen...
186
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The recent accumulation of closely related genomic sequences provides a valuable resource for the elucidation of the evolutionary histories of various organisms. Howev...