"Compiler-Assisted Synthesis of Algorithm-Based Checking in Multiprocessors."

Vijay Balasubramanian, Prithviraj Banerjee (1990)

Details and statistics

DOI: 10.1109/12.54837

access: closed

type: Journal Article

metadata version: 2017-05-20

a service of  Schloss Dagstuhl - Leibniz Center for Informatics