共 50 条
- [31] Lightweight and generative components I: Source-level components GENERATIVE AND COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, 1799 : 49 - 64
- [32] Source-level proof reconstruction for interactive theorem proving THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2007, 4732 : 232 - +
- [33] Detecting Memory Errors at Runtime with Source-Level Instrumentation PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 341 - 351
- [34] Effective Source-Level Debugging of Wireless Sensor Networks SENSYS'07: PROCEEDINGS OF THE 5TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, 2007, : 405 - 406
- [35] Automated source-level error localization in hardware designs IEEE DESIGN & TEST OF COMPUTERS, 2006, 23 (01): : 8 - 19
- [36] Bringing Source-Level Debugging Frameworks to Hardware Generators PROCEEDINGS OF THE 59TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC 2022, 2022, : 1171 - 1176
- [37] A Source-level Energy Optimization Framework for Mobile Applications 2016 IEEE 16TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM), 2016, : 31 - 40
- [38] Designing source-level debug - for embedded system platform PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 1, 2004, : 743 - 746
- [39] Source-level execution time estimation of C programs PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2001, : 98 - 103
- [40] Source-level loop optimization for DSP code generation ICASSP '99: 1999 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PROCEEDINGS VOLS I-VI, 1999, : 2155 - 2158