5235 search results - page 352 / 1047 » Analysis of Multithreaded Programs |
169
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Traffic repositories with TCP/IP header information are very important for network analysis. Researchers often assume that such repositories reliably represent all traffic that has...
332
click to vote
PADL
2009
Springer
16 years 7 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 ...
226
click to vote
ACSAC
2007
IEEE
16 years 1 months 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...
156
click to vote
TACAS
2007
Springer
16 years 26 days 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...
149
click to vote
VMCAI
2007
Springer
16 years 26 days 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 ...