共 50 条
- [21] Learning Program Behavior for Run-Time Software Assurance [J]. COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS, 2009, 63 : 135 - +
- [22] Run-Time Assurance for Learning-Enabled Systems [J]. NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 361 - 368
- [23] Towards an Inherently Secure Run-Time Environment for Medical Devices [J]. 2018 IEEE INTERNATIONAL CONGRESS ON INTERNET OF THINGS (ICIOT), 2018, : 140 - 147
- [25] Run-time reconfiguration: Towards reducing the density requirements of FPGAs [J]. CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING 2001, VOLS I AND II, CONFERENCE PROCEEDINGS, 2001, : 1259 - 1264
- [27] Hierarchical run-time reconfiguration managed by an operating system for reconfigurable systems [J]. ERSA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ENGINEERING OF RECONFIGURABLE SYSTEMS AND ALGORITHMS, 2003, : 81 - 87
- [29] EFFICIENT RUN-TIME TYPE CHECKING OF TYPED LOGIC PROGRAMS [J]. JOURNAL OF LOGIC PROGRAMMING, 1992, 14 (1-2): : 31 - 69
- [30] An efficient run-time scheme for exploiting parallelism on multiprocessor systems [J]. HIGH PERFORMANCE COMPUTING - HIPC 2000, PROCEEDINGS, 2001, 1970 : 27 - 36