NUVA: Architectural support for runtime verification of parametric specifications over multicores.

Ahmed Nassar, Fadi J. Kurdahi, Wael M. Elsharkasy

Browse the full CASES paper archive.