Login / Signup
Formal modelling of list based dynamic memory allocators.
Bin Fang
Mihaela Sighireanu
Geguang Pu
Wen Su
Jean-Raymond Abrial
Mengfei Yang
Lei Qiao
Published in:
Sci. China Inf. Sci. (2018)
Keyphrases
</>
memory usage
data sets
data structure
memory requirements
computational power
random access
memory size
real time
artificial intelligence
decision making
image processing
formal model
dynamically changing
memory space