Modeling multi-threaded architectures in PAMELA for real-time high performance applications | IEEE Conference Publication | IEEE Xplore