共 50 条
- [42] An approach for automatic data virtualization 13TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE DISTRIBUTED COMPUTING, PROCEEDINGS, 2004, : 24 - 33
- [43] An Overview of Chip Multi-Processors Simulators Technology PROGRESS IN SYSTEMS ENGINEERING, 2015, 366 : 877 - 884
- [44] Rapid exploration of pipelined processors through automatic generation of synthesizable RTL models 14TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEMS PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2003, : 226 - 232
- [45] Automatic functional test program generation for pipelined processors using model checking SEVENTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2002, : 99 - 103
- [46] AnBx: Automatic generation and verification of security protocols implementations Lect. Notes Comput. Sci., (156-173):
- [47] AGVI - Automatic generation, verification, and implementation of security protocols COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 241 - 245
- [49] Attack Mitigation Through Memory Encryption of Security-Enhanced Commodity Processors PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON INFORMATION WARFARE AND SECURITY (ICIW-2013), 2013, : 265 - 268
- [50] Automatic Generation and Enforcement of Security Contract for Pervasive Application EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 2, WORKSHOPS, 2008, : 55 - 60