共 50 条
[43]
Uncomputation in the Qrisp High-Level Quantum Programming Framework
[J].
REVERSIBLE COMPUTATION, RC 2023,
2023, 13960
:150-165
[45]
HLShield: A Reliability Enhancement Framework for High-Level Synthesis
[J].
2017 12TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES),
2017,
:47-56
[47]
Power Estimation Methodology for a High-Level Synthesis Framework
[J].
ISQED 2009: PROCEEDINGS 10TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, VOLS 1 AND 2,
2009,
:541-+
[48]
A High-Level Framework for Green Customs and Research Agenda
[J].
PROCEEDINGS OF THE 23RD ANNUAL INTERNATIONAL CONFERENCE ON DIGITAL GOVERNMENT RESEARCH, DGO 2022: Intelligent Technologies, Governments and Citizens,
2022,
:456-458
[49]
Identity and Access Management: High-level Conceptual Framework
[J].
CARDIOMETRY,
2022, (24)
:393-399
[50]
ETHIR: A Framework for High-Level Analysis of Ethereum Bytecode
[J].
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2018),
2018, 11138
:513-520