4719 search results - page 263 / 944 » Newtonian program analysis |
319
click to vote
PADL
2009
Springer
16 years 6 months ago
2009
Springer
Analysis of biological data often involves large data sets and computationally expensive algorithms. Databases of biological data continue to grow, leading to an increasing demand ...
204
click to vote
ACSAC
2007
IEEE
16 years 6 days ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
140
click to vote
TACAS
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
141
click to vote
VMCAI
2007
Springer
15 years 12 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
161
click to vote
PRDC
2002
IEEE
15 years 10 months ago
2002
IEEE
Grid computing system is different from conventional distributed computing systems by its focus on large-scale resource sharing, where processors and communication have significan...