Automating Memory Model Metatheory with Intersections.

Aristotelis Koutsouridis Michalis Kokologiannakis Viktor Vafeiadis

Published in: CONCUR (2024)

Keyphrases

probabilistic model
computational model
theoretical framework
formal model
machine learning
high level
management system
database
statistical model
experimental data
d objects
neural network model
sensitivity analysis
conceptual model
cost function
case study
decision making
real time