Chronos: A timing analyzer for embedded software
From MaRDI portal
Publication:2463546
DOI10.1016/j.scico.2007.01.014zbMath1129.68423OpenAlexW2163529295MaRDI QIDQ2463546
Abhik Roychoudhury, Yun Liang, Tulika Mitra, Xian-Feng Li
Publication date: 12 December 2007
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2007.01.014
Related Items
Timing analysis of concurrent programs running on shared cache multi-cores, Scalable and precise refinement of cache timing analysis via path-sensitive verification
Uses Software