Towards Energy Efficient Approx Cache-coherence Protocol Verified using Model Checker

Anant Saraswat, Kumar Abhishek, Muhammad Rukunuddin Ghalib, Achyut Shankar, Mamoun Alazab, Bernard Nongpoh

    Research output: Contribution to journalArticlepeer-review

    9 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Towards Energy Efficient Approx Cache-coherence Protocol Verified using Model Checker'. Together they form a unique fingerprint.

    Computer Science