[Lecture Notes in Computer Science] Distributed Computing and Internet Technology Volume 10722 || Formal Verification of Optimizing Compilers
- 作者Negi, Atul; Bhatnagar, Raj; Parida, Laxmi
- 文件大小309.76KB
- 发表时间2018
- DOI10.1007/978-3-319-72344-0_3
- 页码50-65
[Embedded Systems] Reliable and Energy Efficient Streaming Multiprocessor Systems ||Das, Anup Kumar; Kumar, Akash; Veeravalli, Bharadwaj; Catthoor, Francky · 2018
[Embedded Systems] Reliable and Energy Efficient Streaming Multiprocessor Systems || IntroductionDas, Anup Kumar; Kumar, Akash; Veeravalli, Bharadwaj; Catthoor, Francky · 2018
[Embedded Systems] Reliable and Energy Efficient Streaming Multiprocessor Systems || Conclusions and Future DirectionsDas, Anup Kumar; Kumar, Akash; Veeravalli, Bharadwaj; Catthoor, Francky · 2018
[Embedded Systems] Reliable and Energy Efficient Streaming Multiprocessor Systems || Operational Semantics of Application and Reliability ModelDas, Anup Kumar; Kumar, Akash; Veeravalli, Bharadwaj; Catthoor, Francky · 2018
[Embedded Systems] Reliable and Energy Efficient Streaming Multiprocessor Systems || Run-Time Adaptations for Lifetime ImprovementDas, Anup Kumar; Kumar, Akash; Veeravalli, Bharadwaj; Catthoor, Francky · 2018
[Embedded Systems] Reliable and Energy Efficient Streaming Multiprocessor Systems || Literature Survey on System-Level Optimizations TechniquesDas, Anup Kumar; Kumar, Akash; Veeravalli, Bharadwaj; Catthoor, Francky · 2018
[Embedded Systems] Reliable and Energy Efficient Streaming Multiprocessor Systems || Design-Time Analysis for Fault-ToleranceDas, Anup Kumar; Kumar, Akash; Veeravalli, Bharadwaj; Catthoor, Francky · 2018