共 50 条
- [1] Automatic Selection of Compiler Optimizations by Machine Learning 2023 31ST SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE, SIU, 2023,
- [2] An Automatic Tool for Tuning Compiler Optimizations 2013 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2013,
- [3] A Framework for Formal Verification of Compiler Optimizations INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 371 - 386
- [6] Automatic Tuning of Compiler Optimizations and Analysis of their Impact 2013 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, 2013, 18 : 1312 - 1321
- [7] A PVS based framework for validating compiler optimizations SEFM 2006: FOURTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2006, : 108 - +
- [8] The Effects of Compiler Optimizations on Embedded System Power Consumption ICED: 2008 INTERNATIONAL CONFERENCE ON ELECTRONIC DESIGN, VOLS 1 AND 2, 2008, : 370 - 375
- [9] On the influence of compiler optimizations in the fault tolerance of embedded systems 2016 IEEE 22ND INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN (IOLTS), 2016, : 207 - 208