Architectural support for runtime verification on ccNUMA multiprocessors | IEEE Conference Publication | IEEE Xplore