The University of Wisconsin - Madison;
机译:ConMem:通过以效果为导向的方法检测崩溃触发的并发错误
机译:大会:通过面向效果的方法检测严重的并发错误
机译:使用基于体系结构的自适应框架提高分布式并发环境中的软件性能和可靠性
机译:大会:通过面向效果的方法检测严重的并发错误
机译:并发软件可靠性的系统支持
机译:NPSO在动态加权NHPP模型上的新方法用于带有附加故障引入参数的软件可靠性分析
机译:改进信息系统软件可靠性的结构方法
机译:计算科学:利用异常流分析提高协同并发系统的可靠性