On-the-fly verification of memory consistency with concurrent relaxed scoreboards.

Leandro S. Freitas, Eberle A. Rambo, Luiz C. V. dos Santos

Browse the full DATE paper archive.