共 50 条
- [31] SYSTEM MODELING WITH HIGH-LEVEL PETRI NETS [J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (01) : 109 - 136
- [33] Boosting Video-Text Retrieval with Explicit High-Level Semantics [J]. PROCEEDINGS OF THE 30TH ACM INTERNATIONAL CONFERENCE ON MULTIMEDIA, MM 2022, 2022, : 4887 - 4898
- [35] High-level power modeling, estimation, and optimization [J]. DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 504 - 511
- [36] High-level power modeling of CPLDs and FPGAs [J]. 2001 INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, ICCD 2001, PROCEEDINGS, 2001, : 46 - 51
- [37] High-level modeling and verification of cellular signaling [J]. 2016 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2016, : 162 - 169
- [39] Efficient High-Level Modeling in the Networking Domain [J]. 2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 1189 - 1194
- [40] A High-Level Language for Modeling Algorithms and Their Properties [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 49 - +