共 50 条
- [41] ACOUSTIC SOURCE-LEVEL MEASUREMENTS FOR A VARIETY OF MERCHANT SHIPS JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 1991, 89 (02): : 691 - 699
- [42] SolSEE: A Source-Level Symbolic Execution Engine for Solidity PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022, 2022, : 1687 - 1691
- [43] Library functions timing characterization for source-level analysis DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 1132 - 1133
- [44] A Methodology for finding Source-level Vulnerabilities of the Linux Kernel Variables 2008 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-8, 2008, : 3717 - 3722
- [46] The development of component-level thermal compact models of a C4/CBGA interconnect technology: The Motorola PowerPC 603(TM) and PowerPC 604(TM) RISC microprocessors 46TH ELECTRONIC COMPONENTS & TECHNOLOGY CONFERENCE - 1996 PROCEEDINGS, 1996, : 195 - 204
- [47] IMPLEMENTATION ISSUES FOR A SOURCE LEVEL SYMBOLIC DEBUGGER (EXTENDED ABSTRACT) SIGPLAN NOTICES, 1983, 18 (08): : 149 - 151
- [48] A source-level dynamic analysis methodology and tool for high-level synthesis TENTH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, PROCEEDINGS, 1997, : 134 - 140
- [49] A Precise Framework for Source-Level Control-Flow Analysis IEEE 21ST INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM 2021), 2021, : 1 - 11
- [50] Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling EURO-PAR 2010 PARALLEL PROCESSING, PT I, 2010, 6271 : 26 - +