A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs.

Ngoc-Khai Nguyen Anh-Hoang Truong

Published in: SoICT (2017)

Keyphrases

knowledge base
distributed systems
intelligent systems
neural network
information systems
lower bound
worst case
complex systems
computing systems
lower and upper bounds
artificial intelligence
expert systems
learning systems
embedded systems
memory space
confidence bounds