1392 search results - page 136 / 279 » Dynamic Data Structure Analysis for Java Programs |
WABI
2010
Springer
14 years 8 months ago
2010
Springer
Background: Although many RNA molecules contain pseudoknots, computational prediction of pseudoknotted RNA structure is still in its infancy due to high running time and space con...
ISSRE
2002
IEEE
15 years 2 months ago
2002
IEEE
Tracing is a dynamic analysis technique to continuously capture events of interest on a running program. The occurrence of a statement, the invocation of a function, and the trigg...
BMCBI
2007
14 years 10 months ago
2007
Background: Modeling of metabolic networks includes tasks such as network assembly, network overview, calculation of metabolic fluxes and testing the robustness of the network. Re...
100
click to vote
PPPJ
2009
ACM
15 years 4 months ago
2009
ACM
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...