• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Low Overhead Methodology for Validating Memory Consistency Models in Chip Multiprocessors.

Binod KumarSwapniel ThakurKanad BasuMasahiro FujitaVirendra Singh
Published in: VLSI Design (2020)
Keyphrases
  • low overhead
  • high speed
  • probabilistic model
  • pairwise
  • context aware
  • data sets
  • search algorithm
  • multi dimensional
  • distributed systems
  • load balancing
  • high reliability