共 50 条
- [21] A methodology for validation of microprocessors using equivalence checking 4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2003, : 83 - 88
- [22] ON RELIABLE SOFTWARE-DEVELOPMENT FOR MICROPROCESSORS MICROELECTRONICS AND RELIABILITY, 1980, 20 (03): : 273 - 279
- [24] A Performance Counter-based Control Flow Checking Technique for Multi-core Processors PROCEEDINGS OF THE 2017 7TH INTERNATIONAL CONFERENCE ON COMPUTER AND KNOWLEDGE ENGINEERING (ICCKE), 2017, : 461 - 466
- [26] Conformance Checking of Dynamic Access Control Policies FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 227 - 242
- [28] Implementing Dynamic Information Flow Tracking on Microprocessors with Integrated FPGA Fabric FPGA 10, 2010, : 285 - 285
- [29] An improved CFCSS Control Flow Checking Algorithm 2007 INTERNATIONAL WORKSHOP ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION, 2007, : 284 - +
- [30] Algebraic techniques for the optimisation of control flow checking PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 1996, : 128 - 137