A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction.

Vtor Rodrigues, Benny Akesson, Simo Melo de Sousa, Mrio Florido

Browse the full PADL paper archive.