共 50 条
- [21] High-level semantic optimization of numerical codes [J]. Proc Int Conf Supercomputing, (434-443):
- [22] High-level power modeling, estimation, and optimization [J]. DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 504 - 511
- [23] SYNTHESIS AND OPTIMIZATION OF HIGH-LEVEL STREAM PROGRAMS [J]. PROCEEDINGS OF THE 2013 ELECTRONIC SYSTEM LEVEL SYNTHESIS CONFERENCE (ESLSYN), 2013,
- [24] High-level adaptive program optimization with ADAPT [J]. ACM SIGPLAN NOTICES, 2001, 36 (07) : 93 - 102
- [28] Abstraction-based misuse detection: High-level specifications and adaptable strategies [J]. 11TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP - PROCEEDINGS, 1998, : 190 - 201
- [29] Suitability of Requirements Abstraction Model (RAM) Requirements for High-Level System Testing [J]. PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 28, 2008, 28 : 68 - +
- [30] Ethynyl Radical Hydrogen Abstraction Energetics and Kinetics Utilizing High-Level Theory [J]. ACS EARTH AND SPACE CHEMISTRY, 2024, 8 (07): : 1349 - 1358