Architectural support for real-time task scheduling in SMT processors | Publicación