Efficient thread‐to‐core mapping alternatives for application‐level redundant multithreading | Publicación