19.FTCS 1989:美国伊利诺伊州芝加哥
-
第十九届容错计算国际研讨会论文集,1989年FTCS,美国伊利诺伊州芝加哥,1989年6月21日至23日。 IEEE计算机学会 1989 ,国际标准图书编号 0-8186-1959-7 迈克尔·伊亚科波尼 , 大卫·K·维尔 :
高级体系结构板载处理器的容错方法。 6-12 菅川信泰 , 前岛秀夫 , 加藤忠彦 , 岩原弘子 :
可靠的机载计算机系统,采用新方法——逐步协商投票。 13-19 理查德·哈珀 , 盖尔·纳格尔 , 马丁·塞拉诺 :
在容错并行处理中使用函数编程模型。 20-26 Kwang-Ting Cheng(光鼎诚) , 维什瓦尼·D·阿格拉瓦尔 :
用于时序逻辑测试生成的经济扫描设计。 28-35 马诺伊·富兰克林 , Kewal K.Saluja公司 , Kozo Kinoshita公司 :
通过内置自检在RAM中进行行/列模式敏感故障检测。 36-43 迈克尔·舒尔茨 , 卡尔·富克斯 , 弗兰兹·芬克 :
针对路径延迟故障的高级自动测试模式生成技术。 44-51 阿比吉特·森古普塔 , 安东·达布拉(Anton T.Dahbura) :
关于可自我诊断的多处理器系统:通过比较方法进行诊断。 54-61 道格拉斯·M·布洛 , 格雷戈里·沙利文 , 杰拉尔德·马森 :
稀疏互连多处理器系统的故障诊断。 62-69 阿伦·索马尼 , 维诺德·阿加瓦尔 :
规则互连结构的分布式综合征解码。 70-77 小伦纳德·M·纳波利塔诺。 , 大卫·D·安达利翁 , K.R.贝里 , P.R.布莱森 , S.R.Klapp公司 , J.E.利珀 , G.罗伯特·雷丁波 :
高速2D卷积器/相关器中的容错:Starloc。 80-87 约翰·特罗特 , 威尔·R·摩尔 :
用于图像处理的连接不完善的2D阵列。 88-92 Onat Menzilcioglu公司 , H.T.Kung(香港) , Siang Wun Song先生 :
二维可配置阵列的综合评估。 93-100 斯里尼瓦斯·德瓦达斯 , Hi-Keung马东尼 , A.理查德·牛顿 :
易于测试的基于PLA的有限状态机。 102-109 汉斯·约阿希姆·旺德利希 :
随机可测时序电路的设计。 110-117 拉杰什·古普塔 , 拉吉夫·古普塔 , 梅尔文·布鲁尔 :
镇流器:部分扫描设计的方法。 118-125 纳格什·瓦桑塔瓦达 , 菲利普·坦比亚 , 彼得·马里诺 :
设计具有实际故障假设的容错时钟。 128-133 Tomohiro Yoneda公司 , Kazutoshi Nakade公司 , 吉弘·托玛 :
一种基于单元独立性的快速定时验证方法。 134-141 菲利普·桑比杜赖(Philip M.Thambidurai) , 艾伦·M·芬恩 , 罗杰·基克哈弗 , 克里斯·沃尔特 :
MAFT中的时钟同步。 142-149 罗伯特·盖斯特 , 马克·斯莫特曼 , 迈克尔·布朗 :
具有全局时间相关失效过程的系统的超高可靠性估计。 152-158 布莱恩·埃里克·奥佩尔 , 约翰·梅耶 , 陆伟 :
评估具有非均匀工作负载的容错系统。 159-166 袁宝诗 , Dipak Ghosal公司 , 萨蒂什·K·特里帕蒂 :
分层系统中容错技术的建模。 167-174 约翰·梅耶 , K.H.穆拉利达尔 , 威廉·桑德斯 :
令牌总线网络在瞬态故障条件下的性能。 175-182 尼尔·A·斯皮尔斯 , 彼得·巴雷特 :
在Delta-4中使用被动复制来提供可靠的分布式计算。 184-190 克劳斯·埃克特尔 :
距离协议协议。 191-198 安德鲁·徐 , 芭芭拉·利斯科夫 :
Linda的容错分布式实现的设计。 199-206 约书亚·布鲁克 , 马里奥·布劳姆 :
一些新的EC/AUED代码。 208-215 拉里·邓宁 , 口香糖拨号 , 穆拉利·瓦拉纳西 :
计算机存储系统的单向9位字节错误检测代码。 216-221 贝拉·博斯 :
字节单向纠错码。 222-228 苏莱曼·巴萨姆 , 贝拉·博斯 :
高效平衡码的设计。 229-236 伊扎克·H·莱文戴尔 :
大型软件系统的缺陷和可靠性分析:现场经验。 238-244 山田高彦 , 小川佐治 :
数字交换系统的容错多处理机。 245-252 米歇尔·莫甘蒂 :
电信网络中的F-T:现状、前景、趋势。 253-258 罗伯特·W·霍斯特 :
高速缓存和控制存储存储器的可靠设计。 259-266 詹姆斯·普蒂洛 , 潘克杰·杰罗特 :
一种支持多语言版本软件容错的系统。 268-274 A.拉维坎德兰 , 克里希纳·康德 :
稳健数据结构中的故障识别。 275-282 Jean-Chrysostome博洛特 , 潘克杰·杰罗特 :
对有例外的程序进行正式验证。 283-290 乔恩·尤德尔 , 爱德华·麦克卢斯基 :
伪穷举测试和分段:形式化定义和扩展的故障覆盖结果。 292-298 伯恩德·贝克尔 , 乌韦·斯帕曼 :
有限幺半群的计算及其测试复杂性。 299-306 米雷尔·贾科米诺 , 勒内·达维 :
一种新的测试置信度估计方法。 307-314 沙姆苏尔·乔杜里 :
集成电路配电系统容错设计的最大电流估计。 316-322 小张洲 , 亚瑟·利斯特曼 :
一种容错二进制超立方体体系结构的建议。 323-330 阿兰·奥尔森 , Kang G.Shin先生 :
HARTS中的消息路由包含故障组件。 331-338 乌尔夫·冈尼弗洛 , 约翰·卡尔森 , 简·托林 :
利用重离子辐射故障注入对错误检测方案进行评估。 340-347 让·阿拉特 , 伊夫·克鲁泽 , Jean-Claude Laprie女士 :
容错计算系统可靠性验证的故障注入。 348-355 Ram Chillarege公司 , 尼古拉斯·鲍文 :
了解大型系统故障——故障注入实验。 356-363 什里·巴拉吉 , 劳伦斯·詹金斯 , 拉利特·帕特奈克(Lalit M.Patnaik) , 普雷姆·尚卡·戈尔 :
硬实时分布式计算系统中用于容错的工作负载重新分配。 366-373 C.马尼·克里希纳 , 施工支洞D.Singh :
容错系统中相关瞬态故障的建模。 374-381 M.J.Iacoponi先生 :
潜在断层堆积的最优控制。 382-388 Takashi Nanya公司 , 内田正人 :
组合电路的一种强容错和强码联合实现。 390-397 迈克尔·尼古拉迪斯 , 谢尔盖·诺拉兹 , 伯纳德·科托伊斯 :
故障安全系统的广义理论。 398-406 尼拉杰·K·贾 :
CVS奇偶校验树中的故障检测:在SSC CVS奇奇偶校验和双轨道检查器中的应用。 407-414 Nirmal R.萨克森那 , 爱德华·麦克卢斯基 :
使用看门狗辅助和扩展精度校验和进行控制流检查。 428-435 古林达尔·索希 , 马诺伊·富兰克林 , Kewal K.Saluja先生 :
高性能流水线计算机的时间冗余容错技术研究。 436-443 保罗·洛查克(Paul R.Lorczak) , 阿尔珀·卡格拉扬 , 戴夫·埃克哈特 :
冗余系统广义选民的理论研究。 444-451 路易吉·文森佐·曼奇尼 , Santosh K.Shrivastava公司 :
原子动作和对话中的复制:容错二元性的案例研究。 454-461 艾哈迈德·盖斯 , 卡斯滕·施万 :
混乱 艺术 :支持实时原子事务。 462-469 苏珊·B·戴维森 , Insup Lee公司 , 维克托·费·沃尔夫 :
定时原子承诺的语言构造。 470-477 Pinaki Mazumder公司 , Jih-Shyr Yih先生 :
嵌入式内存阵列内置自配对的神经计算。 480-487 拉米·梅勒姆 :
双模计算环境中容错阵列的双层重构。 488-495 山塔努·达特 , 约翰·海耶斯 :
容错多处理机设计的自形方法。 496-503 塞缪尔·格雷戈里 , 约翰·C·奈特 :
关于在生产编程语言中提供向后错误恢复。 506-511 斯图亚特·亚当斯 :
硬件辅助从冗余处理系统中的瞬态错误中恢复。 512-519 吴坤龙 , W.Kent Fuchs公司 :
可恢复分布式共享虚拟内存:内存一致性和存储结构。 520-527 奇塔·R·达斯 , 金正日(Jong Kim) :
计算超立方体可用性的分析模型。 530-537 维克兰·V·卡马尔卡 , 乔恩·库尔 :
多总线本地计算机网络的故障软性评估。 538-544 不,洛佩兹-贝尼特斯 , 何塞·A·B·福特斯 :
容错处理器阵列的详细建模。 545-552 黄世泽 , 徐杰(音译) , 陈廷怀 :
顺序t-可诊断系统的特征和设计。 554-559 唐纳德·福塞尔 , 桑帕特·兰加拉扬 :
具有任意连通性的多处理机系统的概率诊断。 560-565 阿伦·索马尼 , 图沙尔·萨尔奈克 :
两种故障-操作/故障-安全体系结构的可靠性分析和比较。 566-573