An Operational Approach to Library Abstraction under Relaxed Memory Concurrency.

Abhishek Kr Singh Ori Lahav

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

memory usage
high level
concurrency control
decision making
database systems
memory space
case study
low memory
main memory
limited memory
transaction processing
object oriented languages
neural network
random access
computational power
data flow
memory requirements
reinforcement learning
data mining