IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications list: <<   <       >   >>  
Showing 1 - 10 (173 total)
 
1 Add to my selection
Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina Karam and Georgios Fainekos. Encoding and Monitoring Responsibility Sensitive Safety Rules for Automated Vehicles in Signal Temporal Logic. In Proceedings of the 2019 17th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019. PDF [Comment]   Bibtex entry
Keywords: Autonomous Vehicles, cyber-physical systems.  
2 Add to my selection
Shail Dave, Youngbin Kim, Sasikanth Avancha, Kyoungwoo Lee and Aviral Shrivastava. DMazeRunner: Executing Perfectly Nested Loops on Dataflow Accelerators. In ACM Transactions on Embedded Computing Systems (TECS), Vol. 18(5s), 2019. URL PDF PPT [Comment]   Bibtex entry
Keywords: Analytical model, CGRA, Coarse-Grained Reconfigurable Arrays, Compiler Technique, Dataflow, Deep neural networks, Design Automation, Design space exploration, Instruction Scheduling, Memory Management, Power Efficiency, Reconfigurable computing, Scratchpad Memory.   Note: Special Issue on ESWEEK 2019 - Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
3 Add to my selection
Youngbin Kim, Kyoungwoo Lee and Aviral Shrivastava. Static Function Prefetching for Efficient Code Management on Scratchpad Memory. In Proceedings of the 2019 IEEE International Conference on Computer Design (ICCD), 2019. PDF [Comment]   Bibtex entry
Keywords: Code Management, Compiler Technique, Memory Management, Scratchpad Memory.  
4 Add to my selection
Mohammad Khayatian, Yingyan Lou, Mohammadreza Mehrabian and Aviral Shrivastava. Crossroads+: A Time-Aware Approach for Intersection Management of Connected Autonomous Vehicles. In ACM Transactions on Cyber-Physical Systems (TCPS), 2019. PDF [Comment]   Bibtex entry
Keywords: Autonomous Vehicles, cyber-physical systems, Intersection Management.  
5 Add to my selection
Rachel Dedinsky. R2IM: Reliable and Robust Intersection Manager Robust to Rogue Vehicles. Master's thesis, Arizona State University, 2019. PDF PPT [Comment]   Bibtex entry
Keywords: Autonomous Vehicles, cyber-physical systems, Intersection Management.  
6 Add to my selection
Aviral Shrivastava and Moslem Didehban. Software Approaches for In-time Resilience. In Proceedings of the 56th Annual Design Automation Conference (DAC), 2019. PDF [Comment]   Bibtex entry
Keywords: Compiler Technique, Error Correction, Fault Injection, Multi-core Processor, Multithreading, Soft Error, Verification.  
7 Add to my selection
Jing Lu. Application-aware Performance Optimization for Software Managed Manycore Architectures. PhD thesis, Arizona State University, 2019. PDF PPT [Comment]   Bibtex entry
Keywords: Code Placement, Compiler Technique, Embedded Processor, IBM Cell, Memory Management, Scratchpad Memory, Software Branch Hinting, Software-managed multicores.  
8 Add to my selection
Tom Vander Aa, Praveen Raghavan, Scott Mahlke, Bjorn De Sutter, Aviral Shrivastava and Frank Hannig. Compilation Techniques for CGRAs: Exploring All Parallelization Approaches. Pages 185-186, Hardware/Software Codesign and System Synthesis (CODES+ISSS), 24-29 October 2010. PDF [Comment]   Bibtex entry
Keywords: CGRA, Coarse-Grained Reconfigurable Arrays, Compiler Technique.  
9 Add to my selection
Abhishek Risheekesan, Reiley Jeyapaul and Aviral Shrivastava. Control Flow Checking or Not? (for Soft Errors) In ACM Transactions on Embedded Computing Systems (TECS), 2019. PDF [Comment]   Bibtex entry
Keywords: CFC, Soft Error, Verification.  
10 Add to my selection
Hwisoo So, Moslem Didehban, Aviral Shrivastava and Kyoungwoo Lee. A software-level Redundant MultiThreading for Soft/Hard Error Detection and Recovery. In Proceedings of the 22nd International Conference on Design Automation and Test in Europe (DATE), 2019. PDF [Comment]   Bibtex entry
Keywords: Error Correction, Fault Injection, Multithreading, Soft Error, Verification.  
Feedback: Aviral Shrivastava
Last modified: Mon November 22 2010 23:16:55
        BibAdmin