位置：成果数据库 > 期刊 > 期刊详情页
基于模型检查的TCP连接管理协议分析与验证
  • 期刊名称：计算机工程与设计
  • 时间：0
  • 页码：2381-2386
  • 语言：中文
  • 相关项目：基于模型检查的软件错误定位技术研究
作者： 黄谷|张大方|周志远|缪力|
同期刊论文项目
基于模型检查的软件错误定位技术研究
期刊论文 45 会议论文 9
同项目期刊论文
一种面向深度数据包检测的紧凑型正则表达式匹配算法
基于Java内存模型的并发程序模型检测
Accelerating the Bit-Split String Matching Algorithm Using Bloom Filters
基于计数布鲁姆过滤器的快速多维包分类算法
高性能正则表达式匹配算法评估
一种基于主动探测机制的SYN Flooding攻击检测方法
一种自动化模型检测ANSI-C程序的实用方法
802.11i双向认证协议的模型检查
一种面向深度数据包检测的索引拆分Bloom过滤器
面向端用户的流媒体业务性能监测与分析
基于Gilbert丢包机制的TCP吞吐量模型
基于 Gilbert 丢包机制的 TCP 吞吐量模型
Optimizing the BitTorrent Performance Using Adaptive Peer Selection Strategy
一种基于随机波束天线的自组网拓扑控制协议
基于通用 PC 的高速链路数据包捕获方法评估
Netfilter／Iptables 框架下基于TCP滑动窗口的串行流量控制算法
基于节点性能估算的应用层组播算法
基于 CMAC-PID 并行控制的主动队列管理方法
可信高效的可用带宽测量方法研究
面向网络行为特征分析的网络监测系统设计与实现
对Java并发程序进行模型检测
一种基于Linux内核的高效包分类算法
通信下推系统的一种有界可达算法
面向流量识别系统的聚类算法的比较与分析
布鲁姆过滤器查询算法
计数布鲁姆过滤器代数运算
路径容量测量中包对行为的特性分析
基于路由更新的BGP路由稳定性监测工具设计
Netfilter／Iptables框架下基于TCP滑动窗口的串行流量控制算法
WPathload：一种改进的可用带宽测量方法
基于人工鱼群的DNA编码序列组合优化算法研究
基于Chwa＆Hakimi模型的GA-BPFD算法
农户小额贷款违约影响因素研究
基于PMC模型的MWOFD算法
面向数据中心网络的分层式故障诊断算法