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

researchr

You are not signed in
Sign in
Sign up

Anant Saraswat, Kumar Abhishek 0004, Muhammad Rukunuddin Ghalib, Achyut Shankar, Mamoun Alazab, Bernard Nongpoh. Towards Energy Efficient Approx Cache-coherence Protocol Verified using Model Checker. Computers & Electrical Engineering, 97:107482, 2022. [doi]

This author has not been identified. Look up 'Anant Saraswat' in GoogleThis author has not been identified. Look up 'Kumar Abhishek 0004' in GoogleThis author has not been identified. Look up 'Muhammad Rukunuddin Ghalib' in GoogleThis author has not been identified. Look up 'Achyut Shankar' in GoogleThis author has not been identified. Look up 'Mamoun Alazab' in GoogleThis author has not been identified. Look up 'Bernard Nongpoh' in Google

runs on WebDSL