赵常智

作品数：4被引量：8H指数：2
导出分析报告
供职机构：国防科学技术大学更多>>
发文主题：监控器自动机LTLSIMD指令数据流图更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机应用研究》《软件学报》《计算机工程与科学》《湖南科技大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于LTL预测语义的高效监控器构造
《湖南科技大学学报（自然科学版）》2013年第1期87-92,共6页马佩勋 赵常智 
国家自然科学基金项目(50875087)
运行时验证中的一个重要研究内容就是从高层规约生成高效的监控器,并有效控制监控器的生成复杂度与监控器运行时开销.基于线性时序逻辑(LTL)的预测语义,通过删除与合并Büchi自动机中的大部分状态,提出一种高效的预测监控器构造技术.通...
关键词：线性时序逻辑 预测监控器 自动机 运行时验证 
基于三值语义的软件运行时验证方法
《计算机工程与科学》2011年第10期99-104,共6页隋平 赵常智 董威 李冰鹏 
国家自然科学基金资助项目(60970035)
运行时验证技术是对传统的程序正确性保证技术如模型检验和测试的有效补充。模型检验和测试都试图验证系统的所有可能执行路径的正确性,而运行时验证关注的是系统的当前执行路径。本文提出一种基于三值语义的软件运行时验证方法,一方面...
关键词：三值语义 运行时验证 监控器 
面向参数化LTL的预测监控器构造技术被引量：6
《软件学报》2010年第2期318-333,共16页赵常智 董威 隋平 齐治昌 
国家自然科学基金Nos.60673118;60725206;60970035;90818024;60803042~~
介绍了一种基于自动机理论的参数化LTL(parameterized LTL(linear temporal logic),简称PALTL)公式运行时预测监控器构造方法.一方面研究PALTL公式的语法、预测语义、赋值提取以及赋值绑定等重要概念,从语法层面保证公式中参数化变量的...
关键词：运行时验证 软件监控 预测监控器 参数化LTL(linear TEMPORAL logic) 参数化Büchi自动机 
一种支持SIMD指令的表驱动的代码选择技术被引量：2
《计算机应用研究》2006年第6期45-48,共4页赵常智 刘春林 胡定磊 陈书明 
国家"863"计划资助项目(2004AA1Z1040);国家自然科学基金资助项目(60473079)
代码选择在编译器的代码产生阶段是一个十分重要的任务,它的目标就是在与机器无关的中间表示代码和与处理器相关的机器指令之间寻找一种高效的映射方法。为了支持DSP处理器的SIMD指令,在传统的基于数据流树中间表示的代码选择算法的基础...
关键词：代码选择 树匹配和动态规划 数据流图 整数线性规划 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部