Login / Signup
Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution).
Michal Kotoun
Petr Peringer
Veronika Soková
Tomás Vojnar
Published in:
TACAS (2016)
Keyphrases
</>
data structure
memory usage
low memory
limited memory
main memory
memory space
memory size
real world
comparative analysis
memory capacity
random access
computational power
memory requirements
bayesian networks
database systems
information retrieval
machine learning