首页>外文会议>Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on

Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on

召开年：1996
召开地：Sendai
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Proceedings of Annual Symposium on Fault Tolerant Computing

机译：年度容错计算研讨会论文集
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
2.Efficient service of rediscovered software problems

机译：高效的重新发现软件问题服务
- 作者：Lee I.;Pitt G.;Iyer R.K.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
3.Formal methods for the validation of fault tolerance in autonomous spacecraft

机译：验证自主航天器容错能力的形式化方法
- 作者：Ayache;S.;Conquet;E.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
4.Highly available directory services in DCE

机译：DCE中高度可用的目录服务
- 作者：Acevedo B.;Bahler L.;Elnozahy E.N.;Ratan V.;Segal M.E.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
5.Self-checking and fail-safe LSIs by intra-chip redundancy

机译：通过片内冗余进行自我检查和故障安全的LSI
- 作者：Kanekawa N.;Nohmi M.;Satoh Y.;Satoh H.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
6.Technologies for designing dependable A/D converters

机译：设计可靠的A / D转换器的技术
- 作者：Kawamura K.;Matsubara T.;Koga Y.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
7.The redundancy mechanisms of the Ariane 5 Operational Control Center

机译：Ariane 5操作控制中心的冗余机制
- 作者：Dega;J.-L.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
8.A fault simulation method for crosstalk faults in synchronous sequential circuits

机译：同步时序电路中串扰故障的故障仿真方法
- 作者：Itazaki;N.;Idomoto;Y.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
9.Fault diagnosis using state information

机译：使用状态信息进行故障诊断
- 作者：Boppana V.;Hartanto I.;Fuchs W.K.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
10.Symbol error correcting codes for memory applications

机译：存储器应用的符号纠错码
- 作者：Chen C.L.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
11.Dynamic test compaction for synchronous sequential circuits using static compaction techniques

机译：使用静态压缩技术对同步时序电路进行动态测试压缩
- 作者：Pomeranz;I.;Reddy;S.M.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
12.A framework for conformance testing of systems communicating through rendezvous

机译：通过集合通信的系统一致性测试的框架
- 作者：Tan;Q.M.;Petrenko;A.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
13.Random pattern testing for sequential circuits revisited

机译：重新讨论顺序电路的随机模式测试
- 作者：Nachman L.;Saluja K.K.;Upadyaya S.;Reuse R.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
14.Algebraic techniques for the optimization of control flow checking

机译：优化控制流检查的代数技术
- 作者：Noubir G.;Choueiry B.Y.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
15.An approach towards benchmarking of fault-tolerant commercial systems

机译：基准测试容错商业系统的方法
- 作者：Tsai;T.K.;Iyer;R.K.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
16.Behavioral synthesis of fault secure controller/datapaths using aliasing probability analysis

机译：使用别名概率分析的故障安全控制器/数据路径的行为综合
- 作者：Lakshminarayana;G.;Raghunathan;A.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
17.Compiler-assisted generation of error-detecting parallel programs

机译：编译器辅助的错误检测并行程序的生成
- 作者：Roy-Chowdhury A.;Banerjee P.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
18.Consensus service: a modular approach for building agreement protocols in distributed systems

机译：共识服务：在分布式系统中构建协议协议的模块化方法
- 作者：Guerraoui;R.;Schiper;A.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
19.Design and evaluation of fault-tolerant shared file system for cluster systems

机译：集群系统容错共享文件系统的设计与评估
- 作者：Sumimoto;S.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
20.Evaluating quorum systems over the Internet

机译：通过Internet评估仲裁系统
- 作者：Amir Y.;Wool A.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
21.Evaluation of checkpoint mechanisms for massively parallel machines

机译：大型并行机检查点机制的评估
- 作者：Tzi-Cker Chiueh;Peitao Deng
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
22.Executable assertions and timed traces for on-line software error detection

机译：用于在线软件错误检测的可执行断言和定时跟踪
- 作者：Rabejac;C.;Blanquart;J.-P.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
23.Experimental assessment of parallel systems

机译：并行系统的实验评估
- 作者：Silva J.G.;Carreira J.;Madeira H.;Costa D.;Moreira P.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
24.Experimental evaluation of the fail-silent behaviour in programs with consistency checks

机译：通过一致性检查对程序中的静默行为进行实验评估
- 作者：Rela;M.Z.;Madeira;H.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
25.FT-NFS: an efficient fault-tolerant NFS server designed for off-the-shelf workstations

机译：FT-NFS：专为现成工作站设计的高效容错NFS服务器
- 作者：Peyrouze;N.;Muller;G.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
26.Generation of an error set that emulates software faults based on field data

机译：生成基于现场数据模拟软件故障的错误集
- 作者：Christmansson;J.;Chillarege;R.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
27.Group, majority, and strict agreement in timed asynchronous distributed systems

机译：定时异步分布式系统中的组，多数和严格协议
- 作者：Cristian;F.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
28.Hardware-efficient and highly-reconfigurable 4- and 2-track fault-tolerant designs for mesh-connected multicomputers

机译：适用于网状连接多计算机的硬件高效且高度可重新配置的4轨和2轨容错设计
- 作者：Mahapatra;N.R.;Dutt;S.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
29.Limitations of VLSI implementation of delay-insensitive codes

机译：延迟不敏感代码的VLSI实现的局限性
- 作者：Akella V.;Vaidya N.H.;Redinbo G.R.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
30.Mitigating operator-induced unavailability by matching imprecise queries

机译：通过匹配不精确的查询来缓解操作员导致的不可用性
- 作者：Maxion;R.A.;Syme;P.A.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
31.Modeling the dependability of CAUTRA, a subset of the French air traffic control system

机译：对法国空中交通管制系统的一部分CAUTRA的可靠性进行建模
- 作者：Kanoun;K.;Borrel;M.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
32.Multiple fault diagnosis in sequential circuits using sensitizing sequence pairs

机译：使用敏感序列对的时序电路中的多个故障诊断
- 作者：Yanagida;N.;Takahashi;H.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
33.A comparative analysis of event tupling schemes

机译：事件翻转方案的比较分析
- 作者：Buckley M.F.;Siewiorek D.P.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
34.A multiple bus broadcast protocol resilient to non-cooperative Byzantine faults

机译：可应对非合作拜占庭式故障的多总线广播协议
- 作者：Echtle;K.;Masum;A.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
35.A new methodology for calculating distributions of reward accumulated during a finite interval

机译：一种计算有限间隔内累积奖励分配的新方法
- 作者：Qureshi;M.A.;Sanders;W.H.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
36.Optimal two-level unequal error control codes for computer systems

机译：计算机系统的最佳两级不等错误控制码
- 作者：Ritthongpitak T.;Kitakami M.;Fujiwara E.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
37.Reconfiguration and transient recovery in state machine architectures

机译：状态机架构中的重新配置和瞬态恢复
- 作者：Rushby;J.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
38.Recoverable mobile environment: design and trade-off analysis

机译：可恢复的移动环境：设计和权衡分析
- 作者：Pradhan D.K.;Krishna P.;Vaidya N.H.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
39.Reliable broadcasting in product networks with Byzantine faults

机译：具有拜占庭式故障的产品网络中的可靠广播
- 作者：Feng Bao;Igarishi Y.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
40.Spare processor allocation for fault tolerance in torus-based multicomputers

机译：基于Torus的多计算机中用于容错的备用处理器分配
- 作者：Bae;M.M.;Bose;B.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
41.Supporting nondeterministic execution in fault-tolerant systems

机译：支持容错系统中的不确定性执行
- 作者：Slye J.H.;Elnozahy E.N.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
42.The design of totally self-checking checkers for some classes of Hadamard codes

机译：某些Hadamard码类的完全自检检查器的设计
- 作者：Wakita;N.;Takagi;K.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
43.Verification of fault tolerance and real time

机译：验证容错能力和实时性
- 作者：Zhiming Liu;Joseph M.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
44.Testing of fault-tolerant and real-time distributed systems via protocol fault injection

机译：通过协议故障注入测试容错和实时分布式系统
- 作者：Dawson;S.;Jahanian;F.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年
45.Two error-detecting and correcting circuits for space applications

机译：两个用于空间应用的检错和纠错电路
- 作者：Johansson R.
- 会议名称：《Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on》 | 1996年