Scalable Computation of Inter-Core Bounds Through Exact Abstractions.

Mohammed Aristide Foughali, Marius Mikucionis, Maryline Zhang

Browse the full COMPSAC paper archive.