[][ PublicacionArticuloRevista ( PublicacionArticuloRevistaComun ( Publicacion ( ARE39917 , ARE , 2014-01-01 , REC , 421 , 432 , 0 , 0 , CIE , PUB , OmniOrder: Directory-Based Conflict Serialization of Transactions , 2014 ACM/IEEE 41ST ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA) , Qian, Xuehai; Sahelices, Benjamin; Torrellas, Josep , S ) ) ) , PublicacionArticuloRevista ( PublicacionArticuloRevistaComun ( Publicacion ( ARE39916 , ARE , 2014-01-01 , REC , 433 , 444 , 0 , 0 , CIE , PUB , Pacifier: Record and Replay for Relaxed-Consistency Multiprocessors with Distributed Directory Protocol , 2014 ACM/IEEE 41ST ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA) , Qian, Xuehai; Sahelices, Benjamin; Qian, Depei , S ) ) ) , PublicacionArticuloRevista ( PublicacionArticuloRevistaComun ( Publicacion ( ARE39919 , ARE , 2013-04-01 , REC , 535 , 548 , 48 , 4 , CIE , PUB , Volition: Scalable and Precise Sequential Consistency Violation Detection , ACM SIGPLAN NOTICES , Qian, Xuehai; Torrellas, Josep; Sahelices, Benjamin; Qian, Depei , S ) ) ) , PublicacionArticuloRevista ( PublicacionArticuloRevistaComun ( Publicacion ( ARE39918 , ARE , 2013-01-01 , REC , 554 , 565 , 0 , 0 , CIE , PUB , Rainbow: Efficient Memory Dependence Recording with High Replay Parallelism for Relaxed Memory Model , 19TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE COMPUTER ARCHITECTURE (HPCA2013) , Qian, Xuehai; Huang, He; Sahelices, Benjamin; Qian, Depei , S ) ) ) , PublicacionArticuloRevista ( PublicacionArticuloRevistaComun ( Publicacion ( ARE39920 , ARE , 2012-01-01 , REC , 75 , 91 , 27 , 1 , CIE , PUB , Effcient Handling of Lock Hand-off in DSM Multiprocessors with Buffering Coherence Controllers , JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY , Sahelices, Benjamin; de Dios, Agustin; Ibanez, Pablo; Vinals-Yufera, Victor; Maria Llaberia, Jose , S ) ) ) ][][][][][][][][][][][ Tesis ( TES2145623943 , 100 , 2000-06-29 , SC , 58015811 , Universidad de Valladolid , VSR-COMA: UN PROTOCOLO DE COHERENCIA CACHE CON REEMPLAZO PARA SISTEMAS MULTICOMPUTADORES CON GESTIÓN DE MEMORIA DE TIPO COMA , S , ) ][][][][][][][][][][][][][][][][][][ Proyecto ( ActivEquipo ( PJI60167 , PJI , TEC2017-84321-C4-2-R , 2018-01-01 , 2020-12-31 , null , 124630 , S , ) ) , Proyecto ( ActivEquipo ( PJI48309 , PJI , UV90/02 , 2002-06-04 , 2003-11-20 , null , 2924 , S , ) ) , Proyecto ( ActivEquipo ( PJI47122 , PJI , VA61/00B , 2000-01-26 , 2001-12-31 , null , 5819 , S , ) ) , Proyecto ( ActivEquipo ( PJI53394 , PJI , VA36/99 , 1999-03-26 , 2000-11-22 , null , 3606.07 , S , ) ) ][][][ ProjecteInnovacio ( Actividad: ( PID8073 , PID , 2018-09-01 , null , null , PRO , , , Espacios de Ingenio. Creatividad, Tecnología y Sostenibilidad - PID2018/133 , , S , ) ) , ProjecteInnovacio ( Actividad: ( PID8014 , PID , 2018-09-01 , null , null , PRO , , , Gamificación en la Enseñanza Universitaria de la Informática - PID2018/130 , , S , ) ) , ProjecteInnovacio ( Actividad: ( PID6850 , PID , 2017-09-01 , null , null , PRO , , , Gamificación en la Enseñanza Universitaria de la Informática - PID2017/121 , , S , ) ) , ProjecteInnovacio ( Actividad: ( PID5832 , PID , 2016-09-01 , null , null , PRO , , , Espacios de Ingenio. Creatividad, Tecnología y Sostenibilidad - PID2016/127 , , S , ) ) ][]