共 50 条
- [1] High-Integrity GPU Designs for Critical Real-Time Automotive Systems [J]. 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 824 - 829
- [2] ANALYZING HIGH-INTEGRITY SYSTEMS [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 18 - 23
- [4] Ada 2005 for high-integrity systems [J]. Developments in Risk-Based Approaches to Safety, 2006, : 187 - 198
- [5] Code generation & high-integrity embedded systems [J]. DR DOBBS JOURNAL, 2004, 29 (06): : 68 - 70
- [7] Towards Agile Engineering of High-Integrity Systems [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 30 - +
- [9] Cache-Aware Development of High-Integrity Systems [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, 2010, 6106 : 139 - +
- [10] BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems [J]. 2019 IEEE 37TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2019), 2019, : 660 - 663