跳转到主要内容

第56卷第6期

2013年6月

封面图片

国际标准编号0010-4620

EISSN 1460-2067号

问题导航

<上一个下一步>

2013年6月第6期第56卷

对可靠软件系统的特别关注

B部分

对可依赖软件系统的特别关注

可靠软件系统专刊：副主编简介

约翰·劳埃德

计算机杂志，第56卷，第6期，2013年6月，第671-673页，https://doi.org/10.1093/comjnl/bxt016

查看文章

面向瞬态数据错误的高效错误检测机制设计

马修·利克和其他

计算机杂志，第56卷，第6期，2013年6月，第674-692页，https://doi.org/10.1093/comjnl/bxs049

查看文章

BFT-TO：更少副本的入侵容忍

米盖尔·科雷亚和其他

计算机杂志，第56卷，第6期，2013年6月，第693-715页，https://doi.org/10.1093/comjnl/bxs148

查看文章

低延迟容错系统

赵文兵和其他

计算机杂志，第56卷，第6期，2013年6月，第716–740页，https://doi.org/10.1093/comjnl/bxs131

查看文章

比较表达式评估中的不确定性程度

伊恩·海耶斯和其他

计算机杂志，第56卷，第6期，2013年6月，第741-755页，https://doi.org/10.1093/comjnl/bxt005

查看文章

原始文章

三维网络片上动态热优化

拉伊德·杜贾利和其他

计算机杂志，第56卷，第6期，2013年6月，第756–770页，https://doi.org/10.1093/comjnl/bxs135

查看文章

一种具有用户轮廓的双重移动性模型：将用户移动模式与关联模式解耦

Jinpyo Hong公司和黄南·金

计算机杂志，第56卷，第6期，2013年6月，第771-784页，https://doi.org/10.1093/comjnl/bxs142

查看文章

L（左）(第页,q个)-平面图上的标号和整数流

张晓玲和钱建国

计算机杂志，第56卷第6期，2013年6月，第785-792页，https://doi.org/10.1093/comjnl/bxs159

查看文章