共 50 条
- [41] Run-time Verification of MSMAS Norms Using Event Calculus [J]. 2014 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS (SASOW), 2014, : 110 - 115
- [43] A Run-Time Modulo Scheduling by using a Binary Translation Mechanism [J]. 2014 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION (SAMOS XIV), 2014, : 75 - 82
- [44] Checking properties of PLL designs using run-time verification [J]. 2007 INTERNATIONAL CONFERENCE ON MICROELECTRONICS, 2007, : 329 - +
- [45] Run-Time Hardware Trojan Detection Using Performance Counters [J]. 2017 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2017,
- [47] Run-Time Adaptation of Mobile Applications using Genetic Algorithms [J]. PROCEEDINGS OF THE 8TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2013), 2013, : 73 - 82
- [48] Using PARBIT to implement partial run-time reconfigurable systems [J]. FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS: RECONFIGURABLE COMPUTING IS GOING MAINSTREAM, 2002, 2438 : 182 - 191
- [49] Run-Time Auditing for Business Processes Data Using Constraints [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2011, 66 : 146 - 157