位置：成果数据库 > 期刊 > 期刊详情页
Reliable user-level rollback recovery implementation for multithreaded processes on windows
  • ISSN号：0038-0644
  • 期刊名称：Software-Practice & Experience
  • 时间：0
  • 页码：331-346
  • 语言：英文
  • 相关项目：基于流分析的分布式Java程序模型检查技术研究
作者： Li, Wen-Wei|Zhang, Da-Fang|Yang, Jin-Min|Yang, Xue-Dong|
同期刊论文项目
基于流分析的分布式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
过程间并发程序分析不可判定的一个新证明方法
基于仿真分析的端到端最小包时延测量方法
程序模型检查的两阶段框架
基于有效载荷分析的 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对软件过程的研究