掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Pacific Rim International Symposium on Dependable Computing
Pacific Rim International Symposium on Dependable Computing
召开年:
2020
召开地:
Perth(AU)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
An adaptive failure detection protocol
机译:
自适应故障检测协议
作者:
Christof Fetzer
;
Michel Raynal
;
Frederic Tronel
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
2.
A generic availability model for clustered computing systems
机译:
集群计算系统的通用可用性模型
作者:
Hairong Sun
;
Jame J. Han
;
Haim Levendel
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
3.
Table driven proportional access based real-time Ethernet for safety-critical real-time systems
机译:
表驱动的比例基于基于的实时以太网,用于安全关键实时系统
作者:
Daeyoung Kim
;
Yoonmee Doh
;
Yann-Hang Lee
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
4.
SSD: an affordable fault tolerant architecture for superscalar processors
机译:
SSD:用于超卡处理器的实惠的容错架构
作者:
Seongwoo Kim
;
Arun K. Somani
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
5.
Analysis of using convolutional codes to recover packet losses over burst erasure channels
机译:
使用卷积码来恢复突发擦除频道恢复分组损失的分析
作者:
Masayuki Arai
;
Atsushi Yamamoto
;
Anna Yamaguchi
;
Satoshi Fukumoto
;
Kazuhiko Iwasaki
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
6.
Failure detection mechanism for distributed object computing using CORBA
机译:
使用CORBA分布式对象计算的故障检测机制
作者:
Wei-Cheng Su
;
Szu-Chi Wang
;
Sy-Yen Kuo
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
7.
Automatic verification of fault tolerance using model checking
机译:
使用模型检查自动验证容错
作者:
Tomoyuki Yokogawa
;
Tatsuhiro Tsuchiya
;
Tohro Kikuno
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
8.
Fault-tolerant routing in two-dimensional mesh networks with less-restricted fault patterns
机译:
具有较少受限制故障模式的二维网状网络中的容错路由
作者:
Sheng-De Wang
;
Po-Hwa Sui
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
Mesh networks;
Wormhole routing;
Fault-tolerant routing;
Virtual channels;
Deadlocks;
9.
Optimal software rejuvenation policy with discounting
机译:
折扣优化软件复兴政策
作者:
Tadashi Dohi
;
Takashi Danjou
;
Hiroyuki Okamura
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
Preventive maintenance;
Software rejuvenation;
Cost model;
Semi-Markov process;
Modified TTT statistics;
Estimation algorithm;
10.
Connectivity-based multichip module repair
机译:
基于连接的多芯片模块修复
作者:
M. Choi
;
N. Park
;
F. Meyer
;
F. Lombardi
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
11.
OpenSESAME: an intuitive dependability modeling environment supporting inter-component dependencies
机译:
opensesame:支持组件间依赖项的直观可依赖性建模环境
作者:
Max Walter
;
Carsten Trinitis
;
Wolfgang Karl
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
12.
ECC: extended condition coverage for design verification using excitation and observation
机译:
ECC:使用励磁和观察设计验证的扩展条件覆盖范围
作者:
Byeong Min
;
Gwan Choi
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
13.
Novel fault-tolerant techniques for high capacity RAMs
机译:
高容量RAM的新型容错技术
作者:
Chih-Hsien Hsu
;
Shyue-Kung Lu
;
Sy-Yen Kuo
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
Built-in self-repair;
Divided bit-line;
Divided word-line;
Fault tolerance;
Redundancy;
14.
TREG: transactional services based on incremental messages
机译:
Treg:基于增量消息的事务服务
作者:
Carlos Perez
;
German Fabregat
;
Juan J. Villaplana
;
Rafael J. Martinez
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
Transactional systems;
Checkpointing;
Replicated data management;
Operating systems;
Incremental messages;
15.
Modeling the dependability of N-modular redundancy on demand under malicious agreement
机译:
在恶意协议下建模N模块冗余的可靠性
作者:
F. Lombardi
;
N. Park
;
M. Al-Hashimi
;
H. H. Pu
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
16.
A secure checkpointing system
机译:
安全检查点系统
作者:
Hyo-chang Nam
;
Jong Kim
;
Sung Je Hong
;
Sunggu Lee
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
Checkpointing;
Fault tolerance;
Evaluation;
Security;
Cryptography;
17.
An adaptive routing protocol for supporting reliable communication in wireless ad-hoc network environments
机译:
用于支持无线ad-hoc网络环境中可靠通信的自适应路由协议
作者:
Moon Jeong Kim
;
Young Ik Eom
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
18.
Analytical results for reconfiguration of E-1.5-track switch torus arrays with multiple fault types
机译:
具有多种故障类型的E-1.5轨道开关Corus阵列的重新配置的分析结果
作者:
Tadayoshi Horita
;
Itsuo Takanami
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
19.
Approximation Method for probability Distribution functions using Cox distribution to evaluate multimedia systems
机译:
使用COX分布评估多媒体系统概率分布函数的近似方法
作者:
Yukie Sasaki
;
Hiroei Imai
;
Masahiro Tsunoyama
;
Ikuo Ishii
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
20.
A case study: validation of guidance control software requirements for completeness, consistency and fault tolerance
机译:
案例研究:验证指导控制完整性,一致性和容错的要求
作者:
Frederick T. Sheldon
;
Hye Yeon Kim
;
Zhihe Zhou
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
21.
Rejuvenation and failure detection in partitionable systems
机译:
分区系统中的复兴和故障检测
作者:
Christof Fetzer
;
Karin Hogstedt
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
Failure detection;
Failure detection based rejuvenation;
Distributed systems;
Fault-tolerant systems;
Home networking;
Remote system management;
22.
Validating real-time constraints in embedded systems
机译:
验证嵌入式系统中的实时约束
作者:
R. K. Shyamasundar
;
J. V. Aghav
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
Embedded systems;
Esterel;
Real-time systems;
Synchronous Languages;
Validation amp;
Verification;
23.
Impact of a failure detection mechanism on the performance of consensus
机译:
失败检测机制对共识绩效的影响
作者:
Nicole Sergent
;
Xavier Defago
;
Andre Schiper
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
24.
Partial order reduction in verification of wheel structured parameterized circuits
机译:
车轮结构化参数化电路验证的部分顺序减少
作者:
Tomoya Kitai
;
Tomohiro Yoneda
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
25.
Providing persistence for sensor streams with light neighbor WAL
机译:
为带有轻邻居WAL的传感器流提供持久性
作者:
Hideyuki Kawashima
;
Motomichi Toyama
;
Michita Imai
;
Yuichiro Anzai
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
26.
On characteristics of DEF communication-induced checkpointing protocols
机译:
关于DEF通信诱导的检查点协议的特征
作者:
Jichiang Tsai
;
Jenn-Wei Lin
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
27.
Analyzing network reliability with imperfect nodes using OBDD
机译:
使用OBDD与不完美节点的网络可靠性分析
作者:
Fu-Min Yeh
;
Hung-Yau Lin
;
Sy-Yen Kuo
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
28.
A class of random multiple bits in a byte error correcting (S{sub}(t/b)EC) codes for semiconductor memory systems
机译:
用于半导体存储器系统的字节误差校正(S {Sub}(T / B)EC)代码中的一类随机多位
作者:
Ganesan Umanesan
;
Eiji Fujiwara
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
关键词:
Random multiple bits in a byte error;
Single t/p-error correcting (S{sub}(t/b}EC) codes;
29.
An alternative method of generating tests for path delay faults using N{sub}i-detection test sets
机译:
使用N {Sub} I检测测试集生成路径延迟故障测试的替代方法
作者:
Hiroshi Takahashi
;
Kewal K. Saluja
;
Yuzo Takamatsu
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
30.
Asynchronous active replication in three-tier distributed systems
机译:
三层分布式系统中的异步活动复制
作者:
Roberto Baldoni
;
Carlo Marchetti
;
Sara Tucci Piergiovanni
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
31.
A consensus algorithm for synchronous distributed systems using mobile agent
机译:
使用移动代理的同步分布式系统的共识算法
作者:
Jiannong Cao
;
Xianbing Wang
;
Siu Lo
;
Sajal K. Das
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
32.
Fault-tolerant properties of generalized hierarchical completely-connected networks
机译:
广义分层完全连接网络的容错属性
作者:
Toshinori Takabatake
;
Masato Kitakami
;
Hideo Ito
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
33.
Energy efficient and robust multicast protocol for mobile Ad Hoc networks
机译:
用于移动临时网络的能量高效且强大的组播协议
作者:
Sangman Moh
;
Chansu Yu
;
Ben Lee
;
Hee Yong Youn
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
34.
Comparison of defect compensation methods for feedforward neural networks
机译:
馈电神经网络缺陷补偿方法的比较
作者:
Takahashi K.
;
Horiguchi S.
;
Yamamori K.
;
Yoshihara I.
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
关键词:
feedforward neural nets;
generalisation (artificial intelligence);
face recognition;
backpropagation;
fault tolerant computing;
defect compensation methods;
feedforward neural networks;
hardware devices;
partial retraining scheme;
whole network backp;
35.
Comparison with defect compensation methods for feed-forward neural networks
机译:
馈线神经网络缺陷补偿方法的比较
作者:
Kinya Takahashi
;
Kunihito Yamamori
;
Susumu Horiguchi
;
Ikuo Yoshihara
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
36.
An adaptive high-low water mark destage algorithm for cached RAID5
机译:
缓存RAID5的自适应高低水标记算法
作者:
Young Jin Nam
;
Chanik Park
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
37.
Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD
机译:
使用OBDD对多状态系统进行多态系统的可靠性评估
作者:
Yung-Ruei Chang
;
Suprasad V. Amari
;
Sy-Yen Kuo
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
38.
Analysis of the effects of real and injected software faults: Linux as a case study
机译:
实际和注射软件故障的影响分析:Linux为例
作者:
Tahar Jarboui
;
Jean Arlat
;
Yves Crouzet
;
Karama Kanoun
;
Thomas Marteau
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
39.
Consensus in synchronous systems: a concise guided tour
机译:
同步系统的共识:简明的导游
作者:
Michel Raynal
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
关键词:
Byzantine failure;
Consensus;
Crash failure;
Early decision;
Indistinguishability;
Omission Failure;
Message passing system;
Synchronous distributed system;
Uniform agreement;
Weak Validity;
40.
Definition of fault loads based on operator faults for DMBS recovery benchmarking
机译:
基于DMBS恢复基准测试的操作符故障的故障负载定义
作者:
Vieira M.
;
Madeira H.
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
关键词:
database management systems;
software performance evaluation;
system recovery;
DMBS recovery benchmarking;
operator faults;
performance benchmarks;
generic fault loads;
classification;
Oracle 8i DBMS;
transactions;
41.
Principles of multi-level reflection for fault tolerant architectures
机译:
容错架构多级反射原理
作者:
Francois Taiani
;
Jean-Charles Fabre
;
Marc-Olivier Killijian
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
42.
Using software implemented fault inserter in dependability analysis
机译:
在可依赖性分析中使用软件实现故障插入器
作者:
P. Gawkowski
;
J. Sosnowski
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
43.
A low overhead checkpointing protocol for mobile computing systems
机译:
用于移动计算系统的低开销检查点协议
作者:
Chi-Yi Lin
;
Szu-Chi Wang
;
Sy-Yen Kuo
;
Ing-Yi Chen
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
44.
hardware/software Co-reliability of configurable digital systems
机译:
配置可配置数字系统的硬件/软件协同可靠性
作者:
M. Choi
;
N. Park
;
Y. Kim
;
F. Lombardi
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
45.
Enhancing delay fault testability for iterative logic arrays
机译:
增强迭代逻辑阵列的延迟故障可测试性
作者:
Shyue-Kung Lu
;
Chien-Hung Yeh
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
46.
Evaluation of convolutional-code-based FEC under limited recovery time and its application to real-time transmission
机译:
基于恢复时间的基于卷积码的FEC评估及其应用于实时传输
作者:
Masayuki Arai
;
Hitoshi Kurosu
;
Satoshi Fukumoto
;
Kazuhiko Iwasaki
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
关键词:
Convolutional code;
Packet loss;
Forward error correction;
Dependable video conference;
H.323;
47.
Configurable PC clusters using a hierarchical complete-connection-based switching network
机译:
使用基于分层完整连接的交换网络配置可配置的PC群集
作者:
Nobuo Tsuda
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
48.
Definition of faultloads based on operator faults for DMBS recovery benchmarking
机译:
基于DMBS恢复基准测试的操作符故障的故障负载的定义
作者:
Marco Vieira
;
Henrique Maderia
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
49.
Reliability analysis of grid computing systems
机译:
网格计算系统的可靠性分析
作者:
Y. S. Dai
;
M. Xie
;
K. L. Poh
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
50.
Characterization of operating systems behavior in the presence of faulty drivers through software fault emulation
机译:
通过软件故障仿真在存在故障驱动程序中的操作系统行为的表征
作者:
Joao Duraes
;
Henrique Madeira
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
51.
Level oriented formal model for asynchronous circuit verification and its efficient analysis method
机译:
异步电路验证等级正式模型及其高效分析方法
作者:
Tomoya Kitai
;
Yusuke Oguro
;
Tomohiro Yoneda
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
52.
An extreme value injection approach with reduced learning time to make MLNs multiple-weight-fault tolerant
机译:
具有减少的学习时间的极值注射方法,使MLNS多重容错
作者:
Itsuo Takanami
;
Yasuhiro Oyama
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
53.
Enhancing access control with SysGuard, a reference monitor supporting portable and composable kernel module
机译:
使用SysGuard增强访问控制,支持便携式和可协式内核模块的参考监视器
作者:
Yasushi Shinjo
;
Kotaro Eiraku
;
Atsushi Suzuki
;
Dozo Itano
;
Calton Pu
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
54.
A control theory approach for analyzing the effects of data errors in safety-critical control systems
机译:
一种用于分析安全关键控制系统中数据误差影响的控制理论方法
作者:
Orjan Askerdal
;
Magnus Gafvert
;
Martin Hiller
;
Neeraj Suri
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
55.
Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system
机译:
用于入侵群体通信系统的组成员协议的正式规范和验证
作者:
HariGovind V. Ramasamy
;
Michel Cukier
;
William H. Sanders
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
56.
Testing-resource allocation for redundant software systems
机译:
冗余软件系统的测试资源分配
作者:
Bo Yang
;
Min Xie
;
Institute of Electric and Electronic Engineer
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
1999年
57.
A survivability framework for connection-oriented group communications
机译:
基于连接群体通信的生存能力框架
作者:
Yurcik W.
;
Tipper D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2000年
58.
Proceedings 2001 Pacific Rim International Symposium on Dependable Computing
机译:
法律程序2001 Pacific Rim国际研讨会可靠计算
作者:
Institute of Electric and Electronic Engineer
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
59.
Implications of dependable computing in banking industry
机译:
可靠计算在银行业的影响
作者:
Sam Soo Pyo
;
Institute of Electric and Electronic Engineer
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
60.
Author Index
机译:
作者索引
作者:
Institute of Electric and Electronic Engineer
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
61.
Extended BLP security model based on process reliability for secure Linux kernel
机译:
基于安全Linux内核的过程可靠性的扩展BLP安全模型
作者:
Jung-Min Kang
;
Wook Shin
;
Chun-Gu Park
;
Dong-Ik Lee
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
62.
Dependability analysis of a fault-tolerant processor
机译:
容错处理器的可靠性分析
作者:
Cristian Constantinescu
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
63.
Analysis of periodic preventive maintenance with general system failure distribution
机译:
通用系统故障分布定期预防性维护分析
作者:
Dongyan Chen
;
Kishor S. Trivedi
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
Preventive maintenance;
Semi-Markov process;
Availability;
Mean time to failure;
Reliability;
64.
Development of a fail-safe microprocessor LSI with self-diagnosis mechanism depending on an M-sequence code signature
机译:
根据M序列代码签名,具有自诊断机制的故障安全微处理器LSI的开发
作者:
Sei Takahashi
;
Munehisa Taira
;
Hidetaka Saegusa
;
Takehiko Hoshino
;
Hideo Nakamura
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
65.
Event log based dependability analysis of windows NT and 2K systems
机译:
基于Windows NT和2K系统的基于依赖性分析的事件日志
作者:
Cristina Simache
;
Mohamed Kaaniche
;
Ayda Saidane
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
66.
Using VHDL-based fault injection to exercise error detection mechanisms in the time-triggered architecture
机译:
基于VHDL的故障注入在时间触发架构中锻炼错误检测机制
作者:
J. Gracia
;
D. Gil
;
J. C. Baraza
;
P. J. Gil
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
67.
Safety analysis by box modeling method of system behavior - application to train control system
机译:
系统行为盒建模方法的安全分析 - 培训控制系统的应用
作者:
Shigeto Hiraguri
;
Noriyuki Nishibori
;
Yasuko Hidaka
;
Takayuki Kasai
;
Hideo Nakamura
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
68.
Secure access to personalized web services
机译:
安全访问个性化Web服务
作者:
G. B. Barone
;
N. Margarita
;
A. Mazzeo
;
N. Mazzocca
;
L. Romano
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
69.
Instantaneous availability and interval availability for systems with time-varying failure rate: stair-step approximation
机译:
具有时变故障率的系统的瞬时可用性和间隔可用性:阶梯近似
作者:
Hairong Sun
;
James J. Han
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
70.
A study on the system call for the protection of intellectual property rights on Linux base
机译:
系统呼吁保护Linux基础知识产权
作者:
Heun Kim
;
Dae-Joon Hwang
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
IPR;
Systemcall;
Hooking;
Kernel;
RPLA;
71.
Ticket based authentication and payment protocol for mobile telecommunications systems
机译:
移动电信系统的基于票证的身份验证和支付协议
作者:
Byung-Rae Lee
;
Tai-Yun Kim
;
Sang-Seung Kang
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
72.
Enhanced token delivery scheme for reliable multicasting in wireless networks
机译:
增强的无线网络中可靠多播的令牌交付方案
作者:
Ji Y. Lim
;
Tai M. Chung
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
73.
Real-time fingerprints recognition mechanism-based on digital contents protection system for interaction on the web
机译:
实时指纹识别机制 - 基于数字内容保护系统在网上交互
作者:
Yang-Koo Kang
;
Moon-Hyun Kim
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
DRM;
Digital contents protection;
Digital rights providers;
Fingerprint recognition mechanism;
74.
Fault-tolerance of functional programs based on the parallel graph reduction
机译:
基于平行图减少的功能程序的容错
作者:
Masato Kitakami
;
Shunji Kubota
;
Hideo Ito
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
Fault tolerance;
Functional programming;
Graph reduction;
Referential transparency;
Message logging;
75.
Dependable automatic train control system using digital track signals
机译:
可靠的自动列车控制系统使用数字轨道信号
作者:
Masayuki Matsumoto
;
Tadao Tsurumaki
;
Tatsuya Shigeta
;
Korefumi Tashiro
;
Dai Watanabe
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
76.
Safety analysis using temporal database
机译:
使用时间数据库的安全性分析
作者:
Hiromi Kobayashi
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
77.
Intelligent fault-tolerant CORBA service on real-time CORBA
机译:
实时CORBA上的智能容错CORBA服务
作者:
Youngjae Kim
;
Sungjune Hong
;
Kiyong Park
;
Keecheon Kim
;
Sunyoung Han
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
IFTS;
Fault-tolerance;
Real-time;
CORBA service;
Object replication;
78.
Optimal Checkpoint interval analysis using stochastic Petri net
机译:
随机培养网最佳检查点间隔分析
作者:
Gyung-Leen Park
;
Hee Yong Youn
;
Hyun-Seung Choo
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
79.
Tick-based secure delegation service supporting multiple domain models
机译:
支持多个域模型的刻度基的安全委派服务
作者:
Kyung-Ah Chang
;
Tae-Seung Lee
;
Bang-Hum Chun
;
Tai-Yun Kim
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
80.
On the choice of checkpoint interval using memory usage profile and adaptive time series analysis
机译:
使用内存使用配置文件和自适应时间序列分析选择检查点间隔的选择
作者:
Jiman Hong
;
Sangsu Kim
;
Yookun Cho
;
H. Y. Yeom
;
Taesoon Park
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
Checkpoint;
Recover;
Time series analysis;
Memory profile;
Fault Tolerance;
81.
Automatic reconfiguration of an autonomous disk cluster
机译:
自动重新配置自动磁盘群集
作者:
Daisuke Ito
;
Haruo Yokota
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
Autonomous disks;
Network disks;
NAS;
SAN;
Cluster;
Reconfiguration;
82.
Middleware of real-time object based fault-tolerant distributed computing systems: Issues and some approaches
机译:
基于实时对象的容错分布式计算系统的中间件:问题和一些方法
作者:
K. H. Kim
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2001年
关键词:
Abort;
Availability;
Detection;
Distributed computing;
Fault;
Network surveillance;
Object;
Real time;
Recovery;
Reliability;
Replication;
Transaction;
Tolerance;
83.
The cost of checkpointing, logging and recovery for the mobile agent systems
机译:
用于移动代理系统的检查点,记录和恢复的成本
作者:
Hyunjoo Kim
;
Heon Y. Yeom
;
Taesoon Park
;
Hyoungwoo Park
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
84.
An introduction to the renaming problem
机译:
重命名问题的介绍
作者:
Michel Raynal
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
关键词:
Atomic register;
Concurrency;
Fault-tolerance;
Message passing system;
Process cash;
Renaming problem;
Shared memory system;
Wait-free computation;
85.
Detecting feature interactions in telecommunication services with a SAT solver
机译:
用SAT Solver检测电信服务中的特征交互
作者:
Tatsuhiro Tsuchiya
;
Masahide Nakamura
;
Tohru Kikuno
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
86.
Highly fault-tolerant FPGA processor by degrading strategy
机译:
通过降级策略,高容错的FPGA处理器
作者:
Yousuke Nakamura
;
Kei Hiraki
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
87.
Formal verification of a pipelined processor with new memory hierarchy using a commercial model checker
机译:
使用商业模型检查器进行新的内存层次结构的流水线处理器的正式验证
作者:
Hiroshi Nakamura
;
Takanori Arai
;
Masahiro Fujita
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
88.
Fault tolerance in autonomic computing environment
机译:
自主计算环境中的容错
作者:
Yoshihiro Tohma
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
89.
A packet-based caching proxy with loss recovery for video streaming
机译:
基于数据包的缓存代理,用于视频流的丢失恢复
作者:
Kuan-Sheng Hsueh
;
Sheng-De Wang
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
90.
Passive replication schemes in AQUA
机译:
Aqua中的被动复制方案
作者:
Yansong Ren
;
Paul Rubel
;
Mouna Seri
;
Michel Cukier
;
William H. Sanders
;
Tod Courtney
会议名称:
《Pacific Rim International Symposium on Dependable Computing》
|
2002年
意见反馈
回到顶部
回到首页