共 50 条
- [21] Towards a Demonstrably-Correct Ada Compiler SIGADA'07: PROCEEDINGS OF THE 2007 ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE, 2007, : 89 - 95
- [22] Compiler Extensions towards Reliable Multicore Processors 2017 IEEE AEROSPACE CONFERENCE, 2017,
- [23] Towards a verified Lustre compiler with modular reset SCOPES '18: PROCEEDINGS OF THE 21ST INTERNATIONAL WORKSHOP ON SOFTWARE AND COMPILERS FOR EMBEDDED SYSTEMS, 2018, : 14 - 17
- [24] TOWARDS A COMPILER GENERATED ADJOINT MODEL OF FVCOM PROCEEDINGS OF THE 2011 3RD INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGY AND ENGINEERING (ICSTE 2011), 2011, : 101 - 105
- [26] TREETOASTER: Towards an IVM-Optimized Compiler SIGMOD '21: PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2021, : 155 - 167
- [27] TONIC: Towards Oblivious Neural Inference Compiler 36TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2021, 2021, : 491 - 500
- [29] Towards a real-time systems compiler PROCEEDINGS OF THE FIFTH WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSTEMS, 2007, : 63 - 76
- [30] Towards a Compiler Analysis for Parallel Algorithmic Skeletons CC'18: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, 2018, : 174 - 184