共 50 条
- [41] Model-Driven Engineering of Machine Executable Code MODELLING FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2010, 6138 : 104 - +
- [42] Transformation of Graphical ECA Policies into Executable PonderTalk Code RULE INTERCHANGE AND APPLICATIONS, PROCEEDINGS, 2009, 5858 : 193 - 207
- [44] Dynamic composition of the executable code of multitechniques spectral systems PROCEEDINGS OF THE SECOND IASTED INTERNATIONAL MULTI-CONFERENCE ON AUTOMATION, CONTROL, AND INFORMATION TECHNOLOGY - AUTOMATION, CONTROL, AND APPLICATIONS, 2005, : 151 - 156
- [45] Automatic classification of executable code for computer virus detection INTELLIGENT INFORMATION PROCESSING AND WEB MINING, 2003, : 277 - 284
- [46] Verifying timing behavior by abstract interpretation of executable code CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 336 - 339
- [47] Compiling Constraint Networks into Multivalued Decomposable Decision Graphs PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 332 - 338
- [48] Compiling mercury to high-level C code COMPILER CONSTRUCTION, PROCEEDINGS, 2002, 2304 : 197 - 212
- [50] Lessons from the Dragon: Compiling PDF to Machine Code DOCENG2010: PROCEEDINGS OF THE 2010 ACM SYMPOSIUM ON DOCUMENT ENGINEERING, 2010, : 65 - 68