位置：成果数据库 > 期刊 > 期刊详情页
程序模型检查的两阶段框架
  • ISSN号：1001-9081
  • 期刊名称：计算机应用
  • 时间：0
  • 页码：3089-3091
  • 语言：中文
  • 相关项目：基于流分析的分布式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 连接管理协议分析与验证
路径容量测量中包对行为的特征分析
基于 Spin 的 UML 状态图模型检查的设计与实现 ,
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对软件过程的研究
期刊信息
  • 《计算机应用》
  • 北大核心期刊（2011版）
  • 主管单位:四川省科学技术协会
  • 主办单位:四川省计算机学会中国科学院成都分院
  • 主编：张景中
  • 地址：成都市人民南路四段九号科分院计算所
  • 邮编：610041
  • 邮箱：xzh@joca.cn
  • 电话：028-85224283
  • 国际标准刊号：ISSN：1001-9081
  • 国内统一刊号：ISSN：51-1307/TP
  • 邮发代号:62-110
  • 获奖情况:
  • 全国优秀科技期刊一等奖,国家期刊奖提名奖,中国期刊方阵双奖期刊,中文核心期刊,中国科技核心期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:53679