首页>外文会议>Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on

Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on

召开年：1998
召开地：Munich
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Cyber threats

机译：网络威胁
- 作者：Bartlett W.;Ladkin P.;Long D.;Randell B.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
2.Vision for high-availability of the global infrastructure

机译：全球基础设施高可用性的愿景
- 作者：Chillarege R.;Horst R.;Meltzer C.;Pruscino A.;Vrsalovic D.F.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
3.Dependability assessment of a computerized nuclear protection system

机译：计算机化核防护系统的可靠性评估
- 作者：Allain-Morin;G.;Pourret;O.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
4.Fault detection and recovery coverage improvement by clock synchronized duplicated systems with optimal time diversity

机译：通过具有最佳时间分集的时钟同步复制系统来改善故障检测和恢复范围
- 作者：Kanekawa;N.;Meguro;T.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
5.Avoiding checkpoint contamination in parallel systems

机译：避免并行系统中检查点污染
- 作者：Silva L.M.;Silva J.G.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
6.Fault tolerance via N-modular software redundancy

机译：通过N模块化软件冗余实现容错
- 作者：Tsai T.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
7.Fault-tolerance of spaceborne semiconductor mass memories

机译：星载半导体大容量存储器的容错
- 作者：Fichna T.;Gartner M.;Gliem F.;Rombeck F.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
8.Fault-tolerant computer for the Automated Transfer Vehicle

机译：自动转运车的容错计算机
- 作者：Roques R.;Correge A.;Boleat C.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
9.From dependable computing systems to computing for integrated dependable systems?

机译：从可靠的计算系统到集成可靠系统的计算？
- 作者：Grosspietsch;K.E.;Abraham;J.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
10.How safe is probabilistic checkpointing?

机译：概率检查点的安全性如何？
- 作者：Elnozahy E.N.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
11.MEFISTO-L: a VHDL-based fault injection tool for the experimental assessment of fault tolerance

机译：MEFISTO-L：基于VHDL的故障注入工具，用于对容错进行实验评估
- 作者：Boue;J.;Petillon;P.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
12.A technique for automated validation of fault tolerant designs using laser fault injection (LFI)

机译：一种使用激光故障注入（LFI）自动验证容错设计的技术
- 作者：Samson;J.R.;Jr.;Moreno;W.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
13.Stable memory in substation automation: a case study

机译：变电站自动化中的稳定内存：案例研究
- 作者：Deconinck G.;Bott O.;Cassinari F.;De Florio V.;Lauwereins R.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
14.Time-triggered architecture for safety-related distributed real-time systems in transportation systems

机译：运输系统中与安全相关的分布式实时系统的时间触发架构
- 作者：Heiner;G.;Thurner;T.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
15.Verification of a safety-critical railway interlocking system with real-time constraints

机译：验证具有实时约束的安全关键铁路联锁系统
- 作者：Hartonas-Garmhausen;V.;Campos;S.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
16.Validation of the fault/error handling mechanisms of the Teraflops supercomputer

机译：验证Teraflops超级计算机的故障/错误处理机制
- 作者：Constantinescu;C.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
17.Fault-tolerant communication algorithms in toroidal networks

机译：环形网络中的容错通信算法
- 作者：Almohammad B.;Bose B.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
18.G4: a fault-tolerant CMOS mainframe

机译：G4：容错CMOS主机
- 作者：Spainhower L.;Gregg T.A.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
19.Automated robustness testing of off-the-shelf software components

机译：自动化的现成软件组件的健壮性测试
- 作者：Kropp N.P.;Koopman P.J.;Siewiorek D.P.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
20.Avoiding the babbling-idiot failure in a time-triggered communication system

机译：避免在时间触发的通信系统中出现胡言乱语
- 作者：Temple;C.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
21.Communication-induced determination of consistent snapshots

机译：通信导致的一致快照确定
- 作者：Helary J.-M.;Mostefaoui A.;Raynal M.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
22.Conceptual models for the reliability of diverse systems-new results

机译：多样化系统可靠性的概念模型-新成果
- 作者：Popov;P.;Strigini;L.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
23.Design, implementation, and evaluation of highly available distributed call processing systems

机译：高可用性分布式呼叫处理系统的设计，实现和评估
- 作者：Murakami;K.;Buskens;R.W.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
24.Experimental assessment of workstation failures and their impact on checkpointing systems

机译：工作站故障的实验评估及其对检查点系统的影响
- 作者：Plank;J.S.;Elwasif;W.R.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
25.Fault-tolerant broadcasts in CAN

机译：CAN中的容错广播
- 作者：Rufino J.;Verissimo P.;Arroz G.;Almeida C.;Rodrigues L.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
26.How fail-stop are faulty programs?

机译：错误程序如何进行故障停止？
- 作者：Chandra S.;Chen P.M.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
27.Improving software robustness with dependability cases

机译：通过可靠性案例提高软件的健壮性
- 作者：Maxion R.A.;Olszewski R.T.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
28.Improving system reliability with automatic fault tree generation

机译：通过自动生成故障树提高系统可靠性
- 作者：Liggesmeyer P.;Rothfelder M.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
29.Modelling software operational reliability via input domain-based reliability growth model

机译：通过基于输入域的可靠性增长模型对软件运行可靠性进行建模
- 作者：Yinong Chen
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
30.NCAPS: application high availability in Unix computer clusters

机译：NCAPS：Unix计算机集群中的应用程序高可用性
- 作者：Laranjeira L.A.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
31.A comparison of simulation based and scan chain implemented fault injection

机译：基于仿真和扫描链实现的故障注入的比较
- 作者：Folkesson;P.;Svensson;S.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
32.A fault-tolerant algorithm for decentralized on-line quorum adaptation

机译：分散在线仲裁自适应的容错算法
- 作者：Bearden;M.;Bianchini;R.P.;Jr.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
33.A generalized test generation procedure for path delay faults

机译：路径延迟故障的通用测试生成过程
- 作者：Pomeranz I.;Reddy S.M.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
34.A hierarchical approach for dependability analysis of a commercial cache-based RAID storage architecture

机译：用于基于商业缓存的RAID存储体系结构的可靠性分析的分层方法
- 作者：Kaaniche;M.;Romano;L.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
35.A survivable avionics system for space applications

机译：适用于太空应用的可生存航空电子系统
- 作者：Urban G.;Kolinowitz H.-J.;Peleska J.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
36.On the use of formal techniques for validation

机译：关于使用形式技术进行验证
- 作者：Suri N.;Sinha P.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
37.Optimal replica control protocols exhibit symmetric operation availabilities

机译：最佳副本控制协议具有对称的操作可用性
- 作者：Theel;O.;Pagnia;H.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
38.Practical issues in the use of ABFT and a new failure model

机译：使用ABFT的实际问题和新的故障模型
- 作者：Silva J.G.;Prata P.;Rela M.;Madeira H.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
39.PREACHES-portable recovery and checkpointing in heterogeneous systems

机译：传授-异构系统中的便携式恢复和检查点
- 作者：Kuo-Feng Ssu;Fuchs;W.K.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
40.Proving correctness of a controller algorithm for the RAID Level 5 System

机译：验证RAID 5系统的控制器算法的正确性
- 作者：Vaziri;M.;Lynch;N.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
41.Rare events in stochastic dynamical systems and failures in ultra-reliable reactive programs

机译：随机动力系统中的罕见事件和超可靠反应式程序中的故障
- 作者：Galves;A.;Gaudel;M.-C.
- 会议名称：《》 | 1998年
42.Reliability modeling of hard real-time systems

机译：硬实时系统的可靠性建模
- 作者：Kim H.;White A.L.;Shin K.G.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
43.RENEW: a tool for fast and efficient implementation of checkpoint protocols

机译：更新：一种用于快速高效地执行检查点协议的工具
- 作者：Neves;N.;Fuchs;W.K.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
44.Software exploitation of a fault-tolerant computer with a large memory

机译：具有大内存的容错计算机的软件开发
- 作者：Eskesen;F.;Hack;M.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
45.Strong partitioning protocol for a multiprocessor VME system

机译：多处理器VME系统的强大分区协议
- 作者：Younis M.F.;Zhou J.X.;Aboutabl M.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
46.Supporting multiple levels of criticality

机译：支持多个关键级别
- 作者：Totel E.;Blanquart J.-P.;Deswarte Y.;Powell D.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
47.TFT: a software system for application-transparent fault tolerance

机译：TFT：用于透明应用程序容错的软件系统
- 作者：Bressoud T.C.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
48.The design and architecture of the Microsoft Cluster Service-a practical approach to high-availability and scalability

机译：Microsoft群集服务的设计和体系结构-一种实现高可用性和可伸缩性的实用方法
- 作者：Vogels;W.;Dumitriu;D.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
49.The SunSCALR framework for Internet servers

机译：用于Internet服务器的SunSCALR框架
- 作者：Singhai A.;Swee-Boon Lim;Radia S.R.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年
50.The timed asynchronous distributed system model

机译：定时异步分布式系统模型
- 作者：Cristian F.;Fetzer C.
- 会议名称：《Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on》 | 1998年