位置：成果数据库 > 期刊 > 期刊详情页
Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy
  • ISSN号：1548-7709
  • 期刊名称：《通讯和计算机：中英文版》
  • 时间：0
  • 分类：TP1[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：[1]Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China
  • 相关基金：Supported by the Basic Research Foundation of Tsinghua National Laboratory for Information Science and Technology （TNList）, the National Natural Science Foundation of China （No. 60573017）, and the National High-Tech Research and Development （863） Program of China （No. 2006AA01Z198）
作者： 王生原[1], 梁英毅[1], 董渊[1]
关键词： 程序设计, 安全政策, 网络, 通道水平, verification, machine level concurrent programming, Petri nets, safety policy, verifying/certifying compilers
中文摘要：

To whom correspondence should be addressed. E-mail： wwssyy@tslnghua.edu.cn; Tel： 86-10-62794240

同期刊论文项目
　面向普适计算的自适应软件平台研究
期刊论文 11
用于目标机描述的元对象Petri网模型
期刊论文 11 会议论文 8
同项目期刊论文
面向多核处理器的低级并行程序验证
基于确认式编译技术的移动代码安全性研究
研究中文文本分类技术的辅助平台
海洋领域知识多维多层次文本分类体系
一种基于P/T网的低级并发程序验证模型
Verification of Concurrent Assembly Programs with a Petri Net based Safety Policy
Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
针对中文文本自动分类算法的评估体系
Retarget Open64 to an Embedded CPU ( A practice for automatic approach， CGO2007 Tutorial 特约报告，av
一种基于Renew的有色网元对象协议的设计与实现
一种面向普适计算的自适应软件平台的设计与实现
面向普适计算环境的资源描述方法
基于结构光源的大屏幕交互技术
ScudCORE：一个情境驱动的推理引擎
一种CBR与RBR相结合的智能家庭推理系统
VGMAP：普适计算中自适应的服务发现模式
Ontology-Based Context-Aware Middleware for Smart Spaces
Smart assistive reminder for elders with memory decline
普适环境下带宽自适应的组播策略
上下文推理技术在智能环境中的研究与应用
期刊信息
  • 《通讯和计算机：中英文版》
  • 主管单位:
  • 主办单位:美国大卫出版公司
  • 主编：袁天祜
  • 地址：武汉洪山区卓刀泉北路金桥花园C座4楼
  • 邮编：430071
  • 邮箱：usachinant@yahoo.com.cn shellyshen_29@yahoo.com
  • 电话：027-87741602
  • 国际标准刊号：ISSN：1548-7709
  • 国内统一刊号：ISSN：
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:161