IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications list: <<   <       >   >>  
Showing 1 - 10 (154 total)
 
1 Add to my selection
Jinn-Pean Lin. Optimizing Heap Data Management on Software Managed Many-core Architectures. Master's thesis, Arizona State University, 2017. PDF PPT [Comment]   Bibtex entry
Keywords: Compiler Technique, Embedded Processor, Heap, Scratchpad Memory, Software-managed multicores.  
2 Add to my selection
Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss and Kevin Stanton. Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems. In Proceedings of the International Conference on Embedded Software (EMSOFT), 2017. PDF [Comment]   Bibtex entry
Keywords: CPS, cyber-physical systems, Verification.  
3 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 PPT [Comment]   Bibtex entry
Keywords: Error Correction, Fault Injection, Soft Error, Verification.  
4 Add to my selection
Moslem Didehban, Aviral Shrivastava and Dheeraj Lokam. NEMESIS: A Software Approach for Computing in Presence of Soft Errors. In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 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: CPS, cyber-physical systems, Verification.  
6 Add to my selection
Hugo A. Andrade, Patricia Derler, John Eidson, Ya-Shian Li-Baboud, Aviral Shrivastava, Kevin Stanton and Marc Weiss. Towards a Reconfigurable Distributed Testbed to Enable Advanced Research and Development of Timing and Synchronization in Cyber-Physical Systems. In International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2015. PDF [Comment]   Bibtex entry
Keywords: CPS, cyber-physical systems, FPGA, Reconfigurable computing.  
7 Add to my selection
Aviral Shrivastava, Patricia Derler, Ya-Shian Li, Kevin Stanton, Mohammad Khayatian, Hugo A. Andrade, Marc Weiss, John Eidson and Sundeep Chandhoke. Time in Cyber-Physical Systems. In Proceedings of the international symposium on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2016. PDF [Comment]   Bibtex entry
Keywords: CPS, cyber-physical systems.  
8 Add to my selection
Yooseong Kim. WCET-Aware Scratchpad Memory Management for Hard Real-Time Systems. PhD thesis, Arizona State University, 2017. PDF PPT [Comment]   Bibtex entry
Keywords: Code Management, CPS, cyber-physical systems, Scratchpad Memory, WCET.   Note: Outstanding Computer Science Graduating PhD Student of the Year Award.
9 Add to my selection
Yooseong Kim, David Broman and Aviral Shrivastava. WCET-Aware Function-Level Dynamic Code Management on Scratchpad Memory. In ACM Transactions on Embedded Computing Systems (TECS), Vol. 16(4):112:1-112:26, 2017. PDF [Comment]   Bibtex entry
Keywords: Code Management, Compiler Technique, CPS, cyber-physical systems, Scratchpad Memory, WCET.  
10 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.  
Feedback: Aviral Shrivastava
Last modified: Mon November 22 2010 16:16:55
        BibAdmin