A NEW TRACE-DRIVEN SHARED-MEMORY MULTIPROCESSORS MACHINE SIMULATOR

Article Properties
Refrences
Title Journal Journal Categories Citations Publication Date
Title 1995
A new approach for the verification of cache coherence protocols IEEE Transactions on Parallel and Distributed Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 15 1995
A new approach for the verification of cache coherence protocols 1994
A new approach for the verification of cache coherence protocols 1993
A new approach for the verification of cache coherence protocols 1989