位置：成果数据库 > 期刊 > 期刊详情页
基于 Spin 的 UML 状态图模型检查的设计与实现 ,
  • ISSN号：1002-8331
  • 期刊名称：计算机工程与应用
  • 时间：0
  • 页码：43-47
  • 语言：中文
  • 相关项目：基于流分析的分布式Java程序模型检查技术研究
作者： 张大方|郭伟|闵应骅|缪力|
同期刊论文项目
基于流分析的分布式Java程序模型检查技术研究
期刊论文 56 会议论文 14 专利 6
同项目期刊论文
基于计数布鲁姆过滤器的快速多维包分类算法
DHT-based Lightweight Broadcast Algorithms in Large-Scale Computing Infrastructures
基于Gilbert丢包机制的TCP吞吐量模型
Toward accurate and efficient available bandwidth measurement
包对探测统计模型与测量精度分析
一种基于 Linux 内核的高效包分类算法
基于模型检查的 TCP 连接管理协议分析与验证
路径容量测量中包对行为的特征分析
IEEE802.11 中 WEP 认证协议的 SPIN 模型检测
面向流量识别系统的聚类算法的比较与分析 ,
带路径探索检测的 RCN 路由抖动抑制算法
Logical causality analysis method for alert correlation
Non-travelling wave solutions to a (3+1)-dimensional potential-YTSF equation and a simplified model
Reliable user-level rollback recovery implementation for multithreaded processes on windows
过程间并发程序分析不可判定的一个新证明方法
基于仿真分析的端到端最小包时延测量方法
程序模型检查的两阶段框架
基于有效载荷分析的 BT 流量识别技术
高速网络中 TCP 拥塞控制算法的研究和改进
端到端最小时延可测性的排队分析与仿真
On Evaluating the Differences of TCP and ICMP in Network Measurement
基于节点性能估算的应用层组播算法
可信高效的可用带宽测量方法研究
Optimizing the BitTorrent performance using an adaptive peer selection strategy
Linux 进程间通信的模型检测
Performance evaluation of end-to-end path capacity measurement tools in a controlled environment
基于 IXP2400 的流量控制实现
基于正方形网格剖分的无线传感器网络方向性路由算法的研究
基于导出策略的路由配置错误检测方法 ,
基于 SPIN 实现 UML Statechart 的模型检查
通信下推系统的一种有界可达算法
Improved sample filtering method for measuring end-to-end path capacity
基于布鲁姆过滤器距离的集合变动定量评估算法
路径容量测量中包对行为的特性分析
端到端最小包时延可测性的排队分析与仿真
基于梯度化邻居节点信息的传感器网络节点距离测量
BitTorrent中一种基于全局贡献的节点选择策略
基于路由更新的BGP路由稳定性监测工具设计
IEEE802.11中WEP认证协议的SPIN模型检测
Netfilter／Iptables框架下基于TCP滑动窗口的串行流量控制算法
WPathload：一种改进的可用带宽测量方法
基于预测的传感器网络副本自适应控制机制
基于无线传感器网络的数据交换算法的研究
基于人工鱼群的DNA编码序列组合优化算法研究
基于MP、RUP对软件过程的研究
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887