咨询与建议

限定检索结果

文献类型

  • 2 篇 专利

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

机构

  • 2 篇 西安电子科技大学

作者

  • 2 篇 张南
  • 2 篇 田聪
  • 2 篇 王小兵
  • 2 篇 段振华
  • 2 篇 李洁

语言

  • 2 篇 中文
检索条件"主题词=表达式的解释"
2 条 记 录,以下是1-10 订阅
排序:
基于算术表达式的MSVL柱面计算方法和系统
基于算术表达式的MSVL柱面计算方法和系统
收藏 引用
作者: 段振华 张南 李洁 田聪 王小兵 710071 陕西省西安市太白南路2号
本发明公开了一种基于时序逻辑语言MSVL的柱面计算方法和系统,属计算机系统形式化建模与验证技术领域,本发明定义了多核并行程序语法和语义,描述一个或多个进程并发执行,构造柱面计算模型。将基本时序区间表达式扩展到算术表达式和... 详细信息
来源: 评论
基于算术表达式的MSVL柱面计算方法和系统
基于算术表达式的MSVL柱面计算方法和系统
收藏 引用
作者: 段振华 张南 李洁 田聪 王小兵 710071 陕西省西安市太白南路2号
本发明公开了一种基于时序逻辑语言MSVL的柱面计算方法和系统,属计算机系统形式化建模与验证技术领域,本发明定义了多核并行程序语法和语义,描述一个或多个进程并发执行,构造柱面计算模型。将基本时序区间表达式扩展到算术表达式和... 详细信息
来源: 评论