首页> 外文OA文献 >Automated Code Generation Of Dynamic Specializations: An Approach Based On Design Patterns And Formal Techniques

【2h】

Automated Code Generation Of Dynamic Specializations: An Approach Based On Design Patterns And Formal Techniques

机译：动态专业代码自动生成：一种基于设计模式和形式技术的方法

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Vicente Pelechano; Oscar Pastor; Emilio Insfran;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal specification and implementation of an automated pattern-based parallel-code generation framework [J] . Perez Gervasio, Yovine Sergio International Journal on Software Tools for Technology Transfer . 2019,第2期

机译：基于模式的自动并行代码生成框架的正式规范和实现
2. An error diagnosis technique for LUT-based FPGA designs combining pattern-based technique and BDD-based formal technique [J] . Hiroshi Inoue, Toshiyuki Kaimi, Koji Mizutani, 電子情報通信学会技術研究報告. VLSI設計技術. VLSI Design Technologies . 2000,第36期

机译：基于LUT的FPGA设计的错误诊断技术，结合了基于模式的技术和基于BDD的形式技术
3. An error diagnosis technique for LUT-based FPGA designs combining pattern-based technique and BDD-based formal technique [J] . Hiroshi Inoue, Toshiyuki Kaimi, Koji Mizutani, 電子情報通信学会技術研究報告. VLSI設計技術. VLSI Design Technologies . 2000,第36期

机译：基于LUT的FPGA设计结合模式的技术与基于BDD的形式技术的误诊技术
4. An Automatic Code Generation Process for Dynamic Specialization based on Design Patterns and Formal Techniques [C] . Vicente Pelechano, Oscar Pastor, Juan Sanchez IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China . 2000

机译：基于设计模式和形式技术的动态专业化代码自动生成过程
5. Formal Techniques for Automated Design of Adaptive Networked Systems Based on Security and Resiliency Requirements [D] . ?Jakaria, A. H. M. 2020

机译：基于安全性和灵活性要求自适应网络系统的自动化设计技术正式
6. Automating the Assignment of Diagnosis Codes to Patient Encounters Using Example-based and Machine Learning Techniques [O] . Serguei V.S. Pakhomov, James D. Buntrock, Christopher G. Chute 2006

机译：使用基于示例的机器学习技术将诊断代码自动分配给患者
7. Generation of Software Test Data from the Design Specification Using Heuristic Techniques. Exploring the UML State Machine Diagrams and GA Based Heuristic Techniques in the Automated Generation of Software Test Data and Test Code. [O] . Doungsa-ard Chartchai 2011

机译：使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。

Automated Code Generation Of Dynamic Specializations: An Approach Based On Design Patterns And Formal Techniques

著录项

引文网络

相似文献

相关主题

期刊订阅