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

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