期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
并发控制流检测技术综述
被引量：
2
1
作者
吴艳霞
顾国昌
+1 位作者
付岩
程立新
《计算机科学》
CSCD
北大核心
2007年第7期14-19,共6页
并发控制流检测技术是防止由于单粒子反转事件而导致运行系统发生故障的有效手段,目前主要采用以控制流图为基础的结点签名技术。本文首先介绍并发控制流检测技术的分类标准;然后按照技术发展的脉络,从软硬结合、纯软件两方面介绍控制...
并发控制流检测技术是防止由于单粒子反转事件而导致运行系统发生故障的有效手段,目前主要采用以控制流图为基础的结点签名技术。本文首先介绍并发控制流检测技术的分类标准;然后按照技术发展的脉络,从软硬结合、纯软件两方面介绍控制流检测技术的典型方法,对其进行分析评价;最后提出基于目前的方法并发控制流检测技术还需要解决的问题及新的发展方向。
展开更多
关键词
并发控制流
检测
看门狗处理器
控制流
图
分派签名
源签名
在线阅读
下载PDF
职称材料
基于消息语义的UML2.0顺序图控制流分析
2
作者
王洪媛
王琳
+1 位作者
张家晨
金淳兆
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2007年第4期595-600,共6页
基于消息语义提出一种分析UML2.0顺序图控制流的方法,分析了UML2.0顺序图消息发送和接收动作之间的关系,并将其映射到相应的消息上,得到消息的相继顺序关系.根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则,并得到基于消息...
基于消息语义提出一种分析UML2.0顺序图控制流的方法,分析了UML2.0顺序图消息发送和接收动作之间的关系,并将其映射到相应的消息上,得到消息的相继顺序关系.根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则,并得到基于消息语义的并发控制流图(MSCCFG),从而获取顺序图的控制流信息.
展开更多
关键词
UML2.0顺序图
活动图
控制流
分析
并发控制流
消息
动作
在线阅读
下载PDF
职称材料
题名
并发控制流检测技术综述
被引量：
2
1
作者
吴艳霞
顾国昌
付岩
程立新
机构
哈尔滨工程大学计算机科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2007年第7期14-19,共6页
文摘
并发控制流检测技术是防止由于单粒子反转事件而导致运行系统发生故障的有效手段,目前主要采用以控制流图为基础的结点签名技术。本文首先介绍并发控制流检测技术的分类标准;然后按照技术发展的脉络,从软硬结合、纯软件两方面介绍控制流检测技术的典型方法,对其进行分析评价;最后提出基于目前的方法并发控制流检测技术还需要解决的问题及新的发展方向。
关键词
并发控制流
检测
看门狗处理器
控制流
图
分派签名
源签名
Keywords
Concurrent control flow checking, Watchdog processors, Control flow graph, Assigned-signature, Derivedsignature
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于消息语义的UML2.0顺序图控制流分析
2
作者
王洪媛
王琳
张家晨
金淳兆
机构
吉林大学计算机科学与技术学院
吉林大学软件学院
出处
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2007年第4期595-600,共6页
基金
国家自然科学基金(批准号:60473003)
国家高等教育博士生计划研究基金(批准号:20050183065)
文摘
基于消息语义提出一种分析UML2.0顺序图控制流的方法,分析了UML2.0顺序图消息发送和接收动作之间的关系,并将其映射到相应的消息上,得到消息的相继顺序关系.根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则,并得到基于消息语义的并发控制流图(MSCCFG),从而获取顺序图的控制流信息.
关键词
UML2.0顺序图
活动图
控制流
分析
并发控制流
消息
动作
Keywords
UML2.0 sequence diagram
activity diagram
control flow analysis
concurrent control flow
message
action
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
并发控制流检测技术综述
吴艳霞
顾国昌
付岩
程立新
《计算机科学》
CSCD
北大核心
2007
2
在线阅读
下载PDF
职称材料
2
基于消息语义的UML2.0顺序图控制流分析
王洪媛
王琳
张家晨
金淳兆
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2007
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
