[gem5-dev] Gostaria de adicioná-lo à minha rede profissional no LinkedIn.

2014-09-01 Thread Matheus Alcântara Souza via gem5-dev
Olá, Gostaria que você fizesse parte da minha rede do LinkedIn para compartilhar atualizações e manter contato. - Matheus Alcântara Aceitar:

[gem5-dev] MOESI protocol - Model Checking

2014-07-30 Thread Matheus Alcântara Souza via gem5-dev
Hello! Is there any model checking work concerning the MOESI_CMP_directory procotol in http://www.m5sim.org/MOESI_CMP_directory ? I'm asking because there are some state-transition graphs in this link. Maybe something using SMV or so? Thank you all! -- Best regards, Matheus Alcântara Souza