Work

TSOtool: a program for verifying memory systems using the memory consistency model

Year: 2004

Type: conference-paper

Source: Proceedings - International Symposium on Computer Architecture/Proceedings

DOI: 10.1109/isca.2004.1310768

Authors: S. Hangal, D. Vahia, C. Manovit, Juin-Yeu Joseph Lu, S. Narayanan

Language: English

Topic: Parallel Computing and Optimization Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4251361517

FWCI: 0.602

Cites: 16

Cited by: 36

Related to: 10