Scalable Computation of Inter-Core Bounds Through Exact Abstractions.

Mohammed Aristide Foughali Marius Mikucionis Maryline Zhang

Published in: CoRR (2024)

Keyphrases

lower bound
upper bound
exact computation
error bounds
worst case
high level
trade off
tight bounds
web scale
artificial intelligence
machine learning
real world
real time
database
probability distribution
case study
information systems
average case
highly scalable