IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications related to 'Verification'   Download bibtex file Order by:   Type | Year
           related to:
Article (Journal)TOP
1 Add to my selection
Yohan Ko, Reiley Jeyapaul, Youngbin Kim, Kyoungwoo Lee and Aviral Shrivastava. Protecting Caches from Soft Errors: A Microarchitect's Perspective. In ACM Transactions on Embedded Computing Systems (TECS), Vol. 16(4):93:1-93:28, 2017. PDF [Comment]   Bibtex entry
Keywords: Cache Vulnerability, Error Correction, Soft Error, Verification.  
InProceedingsTOP
2 Add to my selection
Aviral Shrivastava, Abhishek Risheekesan, Reiley Jeyapaul and Carole-Jean Wu. Quantitative Analysis of Control Flow Checking Mechanisms for Soft Errors. In Proceedings of the The 51st Annual Design Automation Conference (DAC), 2014. PDF PPT [Comment]   Bibtex entry
Keywords: , CFC, Soft Error, Verification.  
3 Add to my selection
Moslem Didehban and Aviral Shrivastava. NZDC: A Compiler technique for near Zero Silent data Corruption. In Proceedings of The 53rd Annual Design Automation Conference (DAC), 2016. PDF PPT [Comment]   Bibtex entry
Keywords: Error Correction, Fault Injection, Soft Error, Verification.  
4 Add to my selection
Moslem Didehban, Dheeraj Lokam and Aviral Shrivastava. An Integrated Safe and Fast Recovery Scheme from Soft Errors. In Proceedings of The 54th Annual Design Automation Conference (DAC), 2017. PDF [Comment]   Bibtex entry
Keywords: Error Correction, Fault Injection, Soft Error, Verification.  
5 Add to my selection
Aviral Shrivastava, Mohammadreza Mehrabian, Mohammad Khayatian, Patricia Derler, Hugo A. Andrade, Kevin Stanton, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss and John Eidson. A Testbed to Verify the Timing Behavior of Cyber-Physical Systems. In Proceedings of The 54th Annual Design Automation Conference (DAC), 2017. PDF [Comment]   Bibtex entry
Keywords: cyber-physical systems, Verification.  
MastersThesisTOP
6 Add to my selection
Srinivas Karthik Tanikella. GemV: A Validated Micro-architecture Vulnerability Estimation Tool. Master's thesis, Arizona State University, 2016. PDF PPT [Comment]   Bibtex entry
Keywords: Cache Vulnerability, Soft Error, Verification.  
Feedback: Aviral Shrivastava
Last modified: Mon November 22 2010 16:16:55
        BibAdmin