共 50 条
- [41] A Cascade of Checkers for Run-time Certification of Local Robustness SOFTWARE VERIFICATION AND FORMAL METHODS FOR ML-ENABLED AUTONOMOUS SYSTEMS, FOMLAS 2022, NSV 2022, 2022, 13466 : 15 - 28
- [42] Run-Time Middleware to Support Real-Time System Scenarios 2015 EUROPEAN CONFERENCE ON CIRCUIT THEORY AND DESIGN (ECCTD), 2015, : 444 - 447
- [43] AMD SOC Power Management: Improving Performance/Watt Using Run-time Feedback 2014 IEEE PROCEEDINGS OF THE CUSTOM INTEGRATED CIRCUITS CONFERENCE (CICC), 2014,
- [45] Run-Time Techniques for Exploiting Irregular Task Parallelism on Distributed Memory Architectures Journal of Parallel and Distributed Computing, 42 (02):
- [47] Reducing the Run-Time Complexity of Support Vector Data Descriptions IJCNN: 2009 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1- 6, 2009, : 3075 - +
- [48] Using run-time data for program comprehension IWPC 2003: 11TH IEEE INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, 2003, : 245 - 250
- [49] Run-time Complexity Bounds Using Squeezers PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2021, 2021, 12648 : 320 - 347
- [50] Precise Exception Support for Decoupled Run-Time Monitoring Architectures 2011 IEEE 29TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2011, : 437 - 438