25.FTCS 1995：美国加利福尼亚州帕萨迪纳
论文摘要：FTCS-25，第二十五届容错计算国际研讨会，美国加利福尼亚州帕萨迪纳，1995年6月27日至30日。 IEEE计算机学会 1995 ，十亿 0-8186-7079-7
A1-系统架构
威廉·贝克 , 罗伯特·W·霍斯特 , 大卫·P·桑尼尔 , 威廉·沃森 :
基于灵活ServerNet的容错体系结构。 2-11 哈里克·M·文 , Prashant J.Shenoy公司 , 斯里拉姆·拉奥 :
多磁盘多媒体服务器中的高效故障恢复。 12-21 王一民 , Yennun Huang（黄燕云） 
, 基音Phong Vo , Pi-Yu Chung先生 , 钱德拉·M·R·金塔拉 :
检查点及其应用。 22-31
B1-合成
Hiroyuki Yotsuyanagi先生 , 川原诚司 , Kozo Kinoshita公司 :
通过使用重定时的顺序冗余去除的可测试性综合。 33-40 宁江 , 理查德·M·周 , Kewal K.Saluja公司 :
使用部分扫描合成最小长度同步序列的有限状态机。 41-49 道格拉斯·M·布洛 , Fadi J.Kurdahi公司 , Seong Yong欧姆 :
可恢复微体系结构高水平合成的最佳恢复点插入。 50-59
C1-软件演示I： 系统
路易丝·莫瑟 , P.M.梅利亚·史密斯 , 黛博拉·阿加瓦尔 :
图腾系统。 61-66 马克·拉希诺维奇 , 扎里·西格尔 :
脱机应用程序和硬件的容错功能。 67-71
A2-交互式一致性
斯特凡·波列德纳 :
安全关键型汽车应用中的容错：作为限制因素的协议成本。 73-82 哈里·布尔曼 , 胡安·加雷 , 贾普·亨克·霍普曼 :
针对移动故障的最佳恢复能力。 83-88 蒂斯·克罗尔 :
基于投票和纠错码的交互式一致性算法。 89-98
B2-验证和测试
Trung A.Diep公司 , 约翰·保罗·沈 :
超标量微结构管道联锁的系统验证。 100-109 伊里斯·波梅兰兹 , Sudhakar M.Reddy公司 :
LOCSTEP：一种基于逻辑仿真的测试生成程序。 110-119 罗尔夫·克里格 , 伯恩德·贝克尔 , 坎·克曼 :
基于OBDD的加权随机模式生成输入概率优化。 120-129
C2-软件演示II： 工具
朱利安·巴斯 , 西尔万·米奇 , 阿德里安·布朗 , 彼得·克罗尔 , 彼得·弗莱明 :
原型开发框架中的可靠性建模。 131-136 迈克尔·R·吕 , 劲松S.Yu , 伊莱恩·科拉米达斯 , 悉达多·R·达拉 :
ARMOR：降低模块操作风险的分析器。 137-142
A3-分布式算法
Richard W.Buskens公司 , 罗纳德·比安奇尼（Ronald P.Bianchini Jr.）。 :
存在故障节点时的自我稳定互斥。 144-153 阿兰·奥尔森 , Kang G.Shin先生 , 布鲁诺·J·占卜 :
使用连续同步消息的分布式系统容错时钟同步。 154-163 桑帕特·兰加拉扬 , 卡鲁纳哈兰·拉特南 , 安东·达布拉（Anton T.Dahbura） :
一种用于移动网络中位置目录维护的容错协议。 164-173 金正日（Jong Kim） , Heejo Lee（李熙雄） , 李成谷（Sunggu Lee） :
容错多计算机中负载分配的进程分配。 174-183
B3-面板I： 商业系统的可靠性
A4-故障注入
安德烈亚斯·斯坦宁格 , 赫伯特·施韦恩泽 :
故障注入过程分析模型。 186-195 延斯·古瑟夫 , 沃尔克马尔·谢赫 :
将软件实现和基于仿真的故障注入结合到单一故障注入方法中。 196-206 达尔格伦 , 彼得·利登 :
一种用于模拟组合逻辑中瞬态的开关级算法。 207-216
B4-自检
约阿金·奥尔森 , 马库斯·里曼 :
隐式签名检查。 218-227 斯坦尼斯劳·彼得拉克 , Takashi Nanya公司 :
朝向全自检延迟敏感系统。 228-237 周应泉 , 迈克·W·T·王 , 英华民 :
减少模拟检查器开销算法的可行性和有效性。 238-247
A5-建模与评估
斯泰西·道尔 , 乔安娜·贝赫塔·杜根 :
使用二进制决策图（BDD）进行可靠性评估。 249-258 米拉·巴拉克利什南 , 基索尔·斯特里维迪 :
具有可修复部件系统的有效可靠性计算的部件分解。 259-268 雷纳尔多·瓦莱霍斯·坎波斯 , 埃德蒙多·德·索扎·席尔瓦 :
定期检查点下数据库系统的可用性和性能评估。 269-277
B5-分布式共享内存
高瑞夫 , 鲍勃·詹森 , W·肯特·福克斯 :
减少分布式共享内存中回滚恢复的开销日志记录。 279-288 安娜·马利·科尔马雷克 , 吉尔伯特·卡比利奇 , 阿兰·杰夫劳 , 克里斯汀·莫林 , 伊莎贝尔·普奥 :
集成一致性和可恢复性的可恢复分布式共享内存。 289-298 安德烈亚斯·萨瓦 , Takashi Nanya公司 :
使用随机共享内存的Bulk-Synchronous并行模型优雅地降级系统。 299-308
A6-编码
B6-桥接故障
赵峰 , 黄伟康 , 法布里奇奥·隆巴迪 :
一种新的互连短路故障诊断方法。 331-339 保罗·J·塔迪卡兰 , Sreejit Chakravarty公司 , 贾纳克·H·帕特尔 :
的故障模拟 我 尽职调查 时序电路中桥接故障的测试。 340-349
C6-检查点和恢复
A7a-软件容错
渡边昭一 , 坂村健 :
基于标准化项目的操作系统容错设计。 372-380 Yennun Huang（黄燕云） , 钱德拉·M·R·金塔拉 , 尼克·科莱蒂斯 , N.达德利·富尔顿 :
软件复兴：分析、模块和应用。 381-390
A7b-稳健的数据结构
B7-面板II： 医学计算的可靠性
A8-测量
迈克尔·巴克利 , 丹尼尔·西维奥雷克 :
VAX/VMS事件监测和分析。 414-423 Ram Chillarege公司 , Shriram Biyani先生 , 珍妮特·罗森塔尔 :
广泛分布软件中的故障率测量。 424-433 董唐（Dong Tang） , 迈伦·赫赫特 :
基于稳定性测试数据的软件可靠性评估。 434-443 贝夫·利特伍德 , 大卫·赖特 :
安全关键软件操作测试停止规则。 444-451
B8-实践经验报告I： 建筑
海因茨·坎茨 , 克里斯蒂安·科扎 :
ELEKTRA铁路信号系统：具有多样性的主动复制系统的现场经验。 453-458 Yennun Huang（黄燕农） , 王一民 :
为什么乐观的消息记录没有在电信系统中使用。 459-463 Nirmal R.萨克森那 , 钱震 , 拉维·斯瓦米 , 希德基·奥松 , 沙利什·图索 , 大卫·莱昂 , 大卫·张 , 阿南德·达马拉吉 , 尼登·帕特卡尔 , 陆益智 , 本恰（Ben Chia） :
超标量、推测性无序执行处理器系统中的错误检测和处理。 464-471 巴布·图鲁梅拉 , 艾曼·卡巴基博 , 曼朱纳特·博加迪 , 卡拉库纳卡拉·梅农 , 沙利亚·图索 , 龙阮 , Nirmal R.萨克森那 , 迈克尔·周 :
超标量RISC处理器的设计验证。 472-477
A9-面向对象系统
迈克尔·皮尔西 , Prithviraj Banerjee公司 :
使用Actor模型的分布式存储多计算机中的重新配置和恢复软件方案。 479-488 Jean-Charles Fabre公司 , 文森特·尼科米特 , Tanguy Pérennou餐厅 , 罗伯特·斯特劳德 , 吴志学 :
使用反射式面向对象编程实现容错应用程序。 489-498 徐杰（音译） , 布莱恩·兰德尔 , 亚历山大·罗曼诺夫斯基 , 塞西莉亚·M·F·卢比拉 , 罗伯特·斯特劳德 , 吴志学 :
通过协调错误恢复实现并发面向对象软件的容错。 499-508
B9-实践经验报告II： 评估
图利奥·瓦尔达内加 , P.大卫 , J.-F.Chane , 沃尔夫冈·马德尔 , R.梅萨罗斯 , 让·阿拉特 :
容错车载控制软件的开发及其故障注入评估。 510-515 罗纳德·里特 :
关键容错多进程系统的建模和测试。 516-521 克里斯托弗·丁曼 , 乔·马歇尔 , 丹尼尔·西维奥雷克 :
测量容错航空航天系统的鲁棒性。 522-527 罗伊·马克西恩 , 艾米·德尚博 :
用户界面的可使用性。 528-535
小组简介
拉维山卡·K·伊耶 , 丹尼尔·莱诺斯基 , 乔·辛斯顿 , 安吉洛·普鲁西诺 , 吉姆·谢弗 , 埃里克·斯科特 :
商业系统的可靠性。 537-540 岩原弘子 , 埃克哈德·布兰兹 , 丹尼尔·瓦伦蒂诺 , 林恩·埃利奥特 , 托马斯·林肯 :
医疗计算的可靠性。 FTCS（飞行时间控制系统） 1995 : 541
