Alba Cristina Magalhaes Alves de Melo

Latest

• Obtaining possible execution histories on multiple memory consistency models
• Um framework para definição e análise de modelos de consistência de memória