共 50 条
- [32] High-level Debugging And Verification For FPGA-Based Multicore Architectures 2015 IEEE 23RD ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), 2015, : 135 - 142
- [34] GENERALIZED PATH EXPRESSIONS - A HIGH-LEVEL DEBUGGING MECHANISM - PRELIMINARY DRAFT SIGPLAN NOTICES, 1983, 18 (08): : 34 - 44
- [35] High-level CHILL debugging system in cross-development environments PROCEEDINGS OF THE SIXTH EUROMICRO WORKSHOP ON PARALLEL AND DISTRIBUTED PROCESSING - PDP '98, 1998, : 211 - 216
- [36] Debugging HDL Designs Based on Functional Equivalences with High-Level Specifications PROCEEDINGS OF THE 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2013, : 60 - 65
- [38] HIGH-LEVEL SECURITY ARCHITECTURES AND THE KERBEROS SYSTEM COMPUTER NETWORKS AND ISDN SYSTEMS, 1990, 19 (3-5): : 201 - 214
- [40] Enforcing high-level security properties for applets SMART CARD RESEARCH AND ADVANCED APPLICATIONS VI, 2004, 153 : 1 - 16