掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IEEE Pacific Rim International Symposium on Dependable Computing
IEEE Pacific Rim International Symposium on Dependable Computing
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Analysis of read and write availability for generalized hybrid data replication protocol
机译:
广义混合数据复制协议的读写可用性分析
作者:
Arai M.
;
Suzuki T.
;
Ohara M.
;
Fukumoto S.
;
Iwasaki K.
;
Hee Yong Youn
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
grid computing;
protocols;
data integrity;
hybrid data replication protocol;
distributed systems;
tree quorum protocol;
grid protocol;
analytical evaluation;
read/write operation;
2.
Expected-reliability analysis for wireless CORBA with imperfect components
机译:
无需组件无线CORBA的预期可靠性分析
作者:
Xinyu Chen
;
Lyu M.R.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
distributed object management;
reliability;
wireless LAN;
mobile computing;
expected-reliability analysis;
service parameters;
MTTF;
failure parameters;
wireless CORBA platforms;
wireless network systems;
3.
Cache scrubbing in microprocessors: myth or necessity?
机译:
微处理器中的缓存擦洗:神话或必要性?
作者:
Mukherjee S.S.
;
Emer J.
;
Fossum T.
;
Reinhardt S.K.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
microprocessor chips;
cache storage;
error correction codes;
fault tolerant computing;
SRAM chips;
cache scrubbing;
microprocessor;
transient fault;
SRAM cache;
error correcting code;
single-bit error correction;
double-bit error detection;
soft error;
4.
Periodic partial validation: cost-effective source code validation process in cross-platform software development environment
机译:
定期部分验证:跨平台软件开发环境中的经济高效源代码验证过程
作者:
Li S.
;
Xu J.
;
Deng L.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
program verification;
software cost estimation;
programming environments;
program diagnostics;
enterprise software development;
periodic partial validation;
cross-platform software development environment;
cost-effective method;
source code validation;
5.
Analysis and evaluation of topological and application characteristics of unreliable mobile wireless ad-hoc network
机译:
不可靠移动无线临时网络拓扑和应用特征的分析与评价
作者:
Cabuk S.
;
Malhotra N.
;
Lin L.
;
Bagchi S.
;
Shroff N.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
mobile computing;
computer network reliability;
wireless LAN;
ad hoc networks;
quality of service;
failure analysis;
protocols;
network topology;
mobile wireless ad-hoc network;
network protocols;
intelligent goal-directed mobility algorithms;
QoS;
quality of service;
application level protocol;
location determination protocol;
Hop-Terrain protocol;
6.
Towards dependable Web services
机译:
迈向可靠的Web服务
作者:
Debusmann M.
;
Geihs K.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
Internet;
system monitoring;
client-server systems;
object-oriented programming;
application program interfaces;
grid computing;
Web service;
distributed enterprise level application;
client-server interaction;
service level management;
Web service instrumentation;
frontend Web service;
backend service;
aspect-oriented programming;
application response measurement;
application program interface;
7.
Evaluation of fault-tolerant designs implemented on SRAM-based FPGAs
机译:
基于SRAM的FPGA实现容错设计的评估
作者:
Asadi G.
;
Miremadi S.G.
;
Zarandi H.R.
;
Ejlali A.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
fault tolerant computing;
SRAM chips;
benchmark testing;
field programmable gate arrays;
fault-tolerant designs;
SRAM-based FPGA;
field programmable gate arrays;
single event upsets;
configuration bitstream file;
Altera FPGA;
8.
An algorithmic approach to identifying link failures
机译:
识别链接故障的算法方法
作者:
Lad M.
;
Akash Nanavati
;
Massey D.
;
Zhang L.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
fault diagnosis;
system monitoring;
Internet;
routing protocols;
graph theory;
telecommunication links;
fault tolerant computing;
telecommunication link failure;
Internet;
routing policy;
BGP;
border gateway protocol;
MVSChange algorithm;
simple path vector protocol;
graph theory;
fault diagnosis;
fault tolerance algorithm;
link failures;
9.
Node-to-node internally disjoint paths problem in bubble-sort graphs
机译:
节点 - 节点内部不相交的散流图中的路径问题
作者:
Kaneko K.
;
Suzuki Y.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
sorting;
graph theory;
computational complexity;
parallel algorithms;
disjoint paths problem;
bubble-sort graphs;
Cayley graph;
parallel system;
polynomial order complexity;
time complexity;
10.
Software rejuvenation policies for cluster systems under varying workload
机译:
不同工作量下的集群系统的软件恢复策略
作者:
Xie W.
;
Hong Y.
;
Trivedi K.S.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
systems re-engineering;
Markov processes;
Petri nets;
software fault tolerance;
software rejuvenation policy;
cluster server system;
delayed rejuvenation policy;
Markov chains;
automated specification generation;
stochastic Petri nets;
Erlangian distribution;
steady-state system;
11.
Systematic comparisons of RDT communication-induced checkpointing protocols
机译:
RDT通信诱导的检查点协议的系统性比较
作者:
Jicchiang Tsai
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
system recovery;
protocols;
message passing;
RDT communication-induced checkpointing protocol;
rollback-dependency trackability;
transitive dependency vector;
simulation;
12.
Cost-cutting through standardization
机译:
通过标准化成本削减
作者:
Gaisler J.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
software cost estimation;
aerospace computing;
computer architecture;
cost-benefit analysis;
standardisation;
space research;
public domain software;
space-based computers;
standardization;
cost reduction;
space-PC architecture;
reusable industry standards;
open-source license;
cost-benefit analysis;
public domain software;
13.
Protecting wavelet lifting transforms
机译:
保护小波升降变换
作者:
Redinbo G.R.
;
Nguyen C.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
wavelet transforms;
image processing;
data compression;
fault tolerant computing;
error detection;
iterative methods;
filtering theory;
wavelet lifting transforms;
image processing;
data compression;
multirate filters;
computer-induced numerical errors;
fault tolerance approach;
arithmetic errors;
concurrent weighted parity values;
error gain matrices;
error propagations;
Matlab code;
dual space functionals;
biorthogonality;
14.
A fault tolerance infrastructure for high-performance COTS-based computing in dependable space systems
机译:
基于高性能COTS的可靠性空间系统的容错基础设施
作者:
Avizienis A.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
space research;
aerospace computing;
fault tolerant computing;
dependable space systems;
fault-tolerant hardware infrastructure;
fault tolerance techniques;
COTS-based computing;
15.
On the effects of partial membership knowledge on reliability of gossip-based multicast
机译:
关于部分隶属知识对八卦组多播可靠性的影响
作者:
Tsuchiya T.
;
Kikuno T.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
multicast protocols;
computer network reliability;
fault tolerant computing;
communication complexity;
partial membership knowledge;
gossip-based multicast protocol reliability;
computer network reliability;
fault tolerant computing;
communication complexity;
16.
Efficient built-in self-test techniques for memory-based FFT processors
机译:
基于内存的FFT处理器的高效内置自检技术
作者:
Shyue-Kung Lu
;
Chien-Hung Yeh
;
Han-Wen Lin
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
built-in self test;
fast Fourier transforms;
memory architecture;
automatic test pattern generation;
logic testing;
fault diagnosis;
design for testability;
built-in self-test techniques;
memory-based FFT processors;
fast Fourier transform;
memory-based architecture;
ADSL system;
OFDM systems;
memory test algorithms;
test patterns;
memory faults;
design-for-testability;
Synopsys synthesis tools;
March algorithm;
17.
Connecting network partitions with location-assisted forwarding nodes in mobile ad hoc environments
机译:
将网络分区与移动临时环境中的位置辅助转发节点连接
作者:
Chia-Ho Ou
;
Kuo-Feng Ssu
;
Jiau H.C.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
ad hoc networks;
mobile computing;
data communication;
packet switching;
routing protocols;
network partition connections;
location-assisted forwarding nodes;
mobile ad hoc environments;
data packets;
network topology;
data communication;
routing protocols;
network simulator;
18.
WINDAR: a multithreaded rollback-recovery toolkit on windows
机译:
Windar:Windows上的多线程回滚恢复工具包
作者:
Jin-Min Yang
;
Da-Fang Zhang
;
Zheng Qin
;
Xue-Dong Yang
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
multi-threading;
system recovery;
message passing;
object-oriented methods;
fault tolerant computing;
Internet;
WINDA object-oriented toolkit;
multithreaded rollback-recovery;
distributed applications;
Windows platform;
processor execution resources;
dynamic protocol configuration;
recovery-oriented computing;
Internet environment;
message logging protocols;
pessimistic message logging;
benchmarks;
19.
Quantifying the variance in application reliability
机译:
量化应用可靠性方差
作者:
Gokhale S.S.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
software reliability;
software architecture;
covariance analysis;
object-oriented programming;
software reliability;
architecture-based reliability assessment techniques;
variance reduction strategy;
software architecture;
analytical function;
20.
Application-level fault tolerance in the orbital thermal imaging spectrometer
机译:
轨道热成像光谱仪中的应用级容错
作者:
Ciocca E.
;
Koren I.
;
Koren Z.
;
Krishna C.M.
;
Katz D.S.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
infrared imaging;
software fault tolerance;
spectroscopy computing;
infrared spectrometers;
error statistics;
error detection;
application-level fault tolerance;
orbital thermal imaging spectrometer;
software based fault tolerance;
error statistics;
fault detection;
21.
Safety testing of safety critical software based on critical mission duration
机译:
基于关键任务持续时间的安全关键软件安全测试
作者:
Shiping Yang
;
Nan Sang
;
Guangze Xiong
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
safety-critical software;
Markov processes;
software fault tolerance;
safety critical software;
critical mission duration;
software reliability;
three-state Markov model;
unsafe failure;
safety testing method;
Bayesian testing;
22.
WINDAR: a multithreaded rollback-recovery toolkit on windows
机译:
Windar:Windows上的多线程回滚恢复工具包
作者:
Jin-Min Yang
;
Da-Fang Zhang
;
Zheng Qin
;
Xue-Dong Yang
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
multi-threading;
system recovery;
message passing;
object-oriented methods;
fault tolerant computing;
Internet;
WINDA object-oriented toolkit;
multithreaded rollback-recovery;
distributed applications;
Windows platform;
processor execution resources;
dynamic protocol configuration;
recovery-oriented computing;
Internet environment;
message logging protocols;
pessimistic message logging;
benchmarks;
23.
Improving AI systems' dependability by utilizing historical knowledge
机译:
通过利用历史知识来提高AI系统的可靠性
作者:
Knauf R.
;
Tsuruta S.
;
Ihara H.
;
Gonzalez A.J.
;
Kurbad T.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
software agents;
theorem proving;
knowledge verification;
formal verification;
expert systems;
Turing test;
AI systems;
proof correctness;
human experts;
validation dependability;
validation knowledge base;
validation experts software agents;
24.
An algorithmic approach to identifying link failures
机译:
识别链接故障的算法方法
作者:
Lad M.
;
Akash Nanavati
;
Massey D.
;
Zhang L.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
fault diagnosis;
system monitoring;
Internet;
routing protocols;
graph theory;
telecommunication links;
fault tolerant computing;
telecommunication link failure;
Internet;
routing policy;
BGP;
border gateway protocol;
MVSChange algorithm;
simple path vector protocol;
graph theory;
fault diagnosis;
fault tolerance algorithm;
link failures;
25.
A fault tolerance infrastructure for high-performance COTS-based computing in dependable space systems
机译:
基于高性能COTS的可靠性空间系统的容错基础设施
作者:
Avizienis A.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
space research;
aerospace computing;
fault tolerant computing;
dependable space systems;
fault-tolerant hardware infrastructure;
fault tolerance techniques;
COTS-based computing;
26.
Software rejuvenation policies for cluster systems under varying workload
机译:
不同工作量下的集群系统的软件恢复策略
作者:
Xie W.
;
Hong Y.
;
Trivedi K.S.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
systems re-engineering;
Markov processes;
Petri nets;
software fault tolerance;
software rejuvenation policy;
cluster server system;
delayed rejuvenation policy;
Markov chains;
automated specification generation;
stochastic Petri nets;
Erlangian distribution;
steady-state system;
27.
Representing user workarounds as a component of system dependability
机译:
将用户解决方法表示为系统可靠性的组件
作者:
Martin C.
;
Koopman P.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
specification languages;
software reliability;
embedded systems;
system-level dependability;
system component failures;
sequence diagrams;
UML;
mission graphs;
user workarounds;
user behaviors;
distributed embedded system;
28.
Towards dependable Web services
机译:
迈向可靠的Web服务
作者:
Debusmann M.
;
Geihs K.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
Internet;
system monitoring;
client-server systems;
object-oriented programming;
application program interfaces;
grid computing;
Web service;
distributed enterprise level application;
client-server interaction;
service level management;
Web service instrumentation;
frontend Web service;
backend service;
aspect-oriented programming;
application response measurement;
application program interface;
29.
Aspects for improvement of performance in fault-tolerant software
机译:
改进容错软件性能的方面
作者:
Szentivanyi D.
;
Nadjm-Tehrani S.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
software performance evaluation;
middleware;
software fault tolerance;
synchronisation;
distributed object management;
object-oriented programming;
fault-tolerant software;
aspect-oriented programming;
performance evaluation;
fault-tolerant servers;
middleware;
method call logging;
primary-backup replication;
synchronization;
CORBA platform;
telecom application;
base-line platform;
30.
Connecting network partitions with location-assisted forwarding nodes in mobile ad hoc environments
机译:
将网络分区与移动临时环境中的位置辅助转发节点连接
作者:
Chia-Ho Ou
;
Kuo-Feng Ssu
;
Jiau H.C.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
ad hoc networks;
mobile computing;
data communication;
packet switching;
routing protocols;
network partition connections;
location-assisted forwarding nodes;
mobile ad hoc environments;
data packets;
network topology;
data communication;
routing protocols;
network simulator;
31.
RedCAN/sup TM/: simulations of two fault recovery algorithms for CAN
机译:
Redcan / sup tm /:可以模拟两个故障恢复算法
作者:
Sivencrona H.
;
Olsson T.
;
Johansson R.
;
Torin J.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
controller area networks;
system recovery;
fault tolerant computing;
distributed algorithms;
protocols;
redundancy;
computational complexity;
computer network reliability;
fault recovery algorithms;
RedCAN Simulation Manager;
controller area networks;
fault tolerance;
centralized protocol;
distributed algorithm;
redundancy;
logarithmic complexity;
break-even point;
centralized algorithms;
32.
The need for a generalized compositional framework
机译:
需要广义的组成框架
作者:
Neeraj Suri
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
object-oriented programming;
aerospace computing;
fault tolerant computing;
space borne systems;
generalized compositional framework;
fault tolerance;
real-time computing;
COTS philosophy;
compositional framework;
33.
Fault tolerance for future COTS hardware
机译:
未来COTS硬件的容错
作者:
Shubu Mukherjee
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
fault tolerant computing;
microprocessor chips;
cosmically-induced soft errors;
microprocessor chips;
soft error protection;
commodity off-the-shelf hardware;
highly dependable systems;
off-chip lockstepping;
processor sparing;
mission-critical systems;
fault tolerant computing;
34.
Dependability analysis of a class of probabilistic Petri nets
机译:
一类概率培养网的可靠性分析
作者:
Hsu-Chun Yen
;
Lien-Po Yu
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
Petri nets;
reachability analysis;
formal verification;
probability;
multiprocessing systems;
formal verification;
concurrent systems;
distributed systems;
dependable systems;
finite-state systems;
dependability analysis;
probabilistic infinite-state systems;
probabilistic conflict-free Petri nets;
self-stabilization;
controllability;
35.
RedCAN/sup TM/: simulations of two fault recovery algorithms for CAN
机译:
Redcan / sup tm /:可以模拟两个故障恢复算法
作者:
Sivencrona H.
;
Olsson T.
;
Johansson R.
;
Torin J.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
controller area networks;
system recovery;
fault tolerant computing;
distributed algorithms;
protocols;
redundancy;
computational complexity;
computer network reliability;
fault recovery algorithms;
RedCAN Simulation Manager;
controller area networks;
fault tolerance;
centralized protocol;
distributed algorithm;
redundancy;
logarithmic complexity;
break-even point;
centralized algorithms;
36.
A freshness detection mechanism for railway applications
机译:
铁路应用新鲜度检测机制
作者:
Bondavalli A.
;
De Giudici E.
;
Porcarelli S.
;
Sabina S.
;
Zanini F.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
railway engineering;
computerised control;
railway safety;
signalling;
message passing;
real-time systems;
open systems;
railway applications;
railway control systems;
trackside subsystems;
signaling purpose;
interoperable railway networks;
railway products;
CENELEC recommendations;
safe message freshness detection algorithm;
message passing safety protocol;
37.
Dependability analysis of a class of probabilistic Petri nets
机译:
一类概率培养网的可靠性分析
作者:
Hsu-Chun Yen
;
Lien-Po Yu
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
Petri nets;
reachability analysis;
formal verification;
probability;
multiprocessing systems;
formal verification;
concurrent systems;
distributed systems;
dependable systems;
finite-state systems;
dependability analysis;
probabilistic infinite-state systems;
probabilistic conflict-free Petri nets;
self-stabilization;
controllability;
38.
Measuring notification loss in publish/subscribe communication systems
机译:
发布/订阅通信系统中的测量通知损失
作者:
Baldoni R.
;
Beraldi R.
;
Piergiovanni S.T.
;
Virgillito A.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
probability;
middleware;
wide area networks;
quality of service;
publish communication system;
subscribe communication;
notification production;
notification loss measurement;
QoS;
quality of service;
distributed computing;
39.
Availabilities and costs of reliable Fat-Btrees
机译:
可靠的脂肪Btrees的可用性和成本
作者:
Miyazaki J.
;
Abe Y.
;
Yokota H.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
software reliability;
tree data structures;
statistical analysis;
database indexing;
reliable Fat-Btrees;
parallel directory structure;
reliable data intensive systems;
databases system;
file systems;
steady-state availability;
computational availability;
40.
Optimal allocation of testing-resource considering cost, reliability, and testing-effort
机译:
考虑成本,可靠性和测试努力的测试资源最佳分配
作者:
Chin-Yu Huang
;
Jung-Hua Lo
;
Sy-Yen Kuo
;
Lyu M.R.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
resource allocation;
software reliability;
software cost estimation;
program testing;
optimal resource allocation problem;
software cost development;
software reliability;
Lagrange multiplier method;
software module testing;
41.
Reliability evaluation of dependable distributed computing systems based on recursive merge and BDD
机译:
基于递归合并和BDD的可靠分布式计算系统可靠性评估
作者:
Yung-Ruei Chang
;
Hung-Yau Lin
;
Sy-Yen Kuo
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
binary decision diagrams;
Boolean functions;
system recovery;
fault tolerant computing;
sensitivity analysis;
distributed processing;
system reliability evaluation;
sensitivity analysis;
failure frequency analysis;
distributed dependable computing system;
minimal file spanning trees;
Boolean algebra;
Boolean functions;
tree-based partitioning algorithm;
binary decision diagram;
BDD technique;
42.
A freshness detection mechanism for railway applications
机译:
铁路应用新鲜度检测机制
作者:
Bondavalli A.
;
De Giudici E.
;
Porcarelli S.
;
Sabina S.
;
Zanini F.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
railway engineering;
computerised control;
railway safety;
signalling;
message passing;
real-time systems;
open systems;
railway applications;
railway control systems;
trackside subsystems;
signaling purpose;
interoperable railway networks;
railway products;
CENELEC recommendations;
safe message freshness detection algorithm;
message passing safety protocol;
43.
Optimal allocation of testing-resource considering cost, reliability, and testing-effort
机译:
考虑成本,可靠性和测试努力的测试资源最佳分配
作者:
Chin-Yu Huang
;
Jung-Hua Lo
;
Sy-Yen Kuo
;
Lyu M.R.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
resource allocation;
software reliability;
software cost estimation;
program testing;
optimal resource allocation problem;
software cost development;
software reliability;
Lagrange multiplier method;
software module testing;
44.
Node-to-node internally disjoint paths problem in bubble-sort graphs
机译:
节点 - 节点内部不相交的散流图中的路径问题
作者:
Kaneko K.
;
Suzuki Y.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
sorting;
graph theory;
computational complexity;
parallel algorithms;
disjoint paths problem;
bubble-sort graphs;
Cayley graph;
parallel system;
polynomial order complexity;
time complexity;
45.
Safety testing of safety critical software based on critical mission duration
机译:
基于关键任务持续时间的安全关键软件安全测试
作者:
Shiping Yang
;
Nan Sang
;
Guangze Xiong
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
safety-critical software;
Markov processes;
software fault tolerance;
safety critical software;
critical mission duration;
software reliability;
three-state Markov model;
unsafe failure;
safety testing method;
Bayesian testing;
46.
Expected-reliability analysis for wireless CORBA with imperfect components
机译:
无需组件无线CORBA的预期可靠性分析
作者:
Xinyu Chen
;
Lyu M.R.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
distributed object management;
reliability;
wireless LAN;
mobile computing;
expected-reliability analysis;
service parameters;
MTTF;
failure parameters;
wireless CORBA platforms;
wireless network systems;
47.
A dynamic checkpointing scheme based on reinforcement learning
机译:
一种基于强化学习的动态检查点方案
作者:
Okamura H.
;
Nishimura Y.
;
Dohi T.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
system recovery;
learning (artificial intelligence);
Markov processes;
software fault tolerance;
dynamic checkpointing scheme;
reinforcement learning algorithm;
uniprocess application;
semiMarkov decision process;
optimal checkpointing policy;
Q-learning algorithm;
adaptive checkpointing scheme;
asymptotic behavior system;
failure time distribution;
48.
Periodic partial validation: cost-effective source code validation process in cross-platform software development environment
机译:
定期部分验证:跨平台软件开发环境中的经济高效源代码验证过程
作者:
Li S.
;
Xu J.
;
Deng L.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
program verification;
software cost estimation;
programming environments;
program diagnostics;
enterprise software development;
periodic partial validation;
cross-platform software development environment;
cost-effective method;
source code validation;
49.
Error detection enhancement in COTS superscalar processors with event monitoring features
机译:
具有事件监控功能的COTS超高卡拉尔处理器中的错误检测增强
作者:
Rajabzadeh A.
;
Mohandespour M.
;
Miremadi G.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
fault tolerant computing;
performance evaluation;
instruction sets;
parallel architectures;
error detection enhancement;
COTS superscalar processor;
event monitoring;
commercial off-the-shelf;
committed instructions counting;
watchdog processor;
performance monitoring;
32-bit Pentium processor;
50.
Using modulo rulers for optimal recovery schemes in distributed computing
机译:
使用Modulo Rulers进行分布式计算中的最佳恢复方案
作者:
Klonowska K.
;
Lundberg L.
;
Lennerstad H.
;
Svahnberg C.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
system recovery;
resource allocation;
distributed processing;
software fault tolerance;
workstation clusters;
modulo ruler;
optimal recovery scheme;
distributed computing;
fault tolerance;
load sharing;
mathematical problem;
51.
Measuring notification loss in publish/subscribe communication systems
机译:
发布/订阅通信系统中的测量通知损失
作者:
Baldoni R.
;
Beraldi R.
;
Piergiovanni S.T.
;
Virgillito A.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
probability;
middleware;
wide area networks;
quality of service;
publish communication system;
subscribe communication;
notification production;
notification loss measurement;
QoS;
quality of service;
distributed computing;
52.
Benchmarking operating system dependability: Windows 2000 as a case study
机译:
基准测试操作系统可靠性:Windows 2000作为案例研究
作者:
Kalakech A.
;
Jarboui T.
;
Arlat J.
;
Crouzet Y.
;
Kanoun K.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
user interfaces;
operating systems (computers);
software reliability;
benchmark testing;
formal specification;
fault tolerant computing;
Windows 2000;
benchmark component specifications;
benchmark prototype;
operating system dependability benchmarking;
application level;
realistic workload;
53.
Evaluation of memory built-in self repair techniques for high defect density technologies
机译:
高缺陷密度技术评价内存内置自修复技术
作者:
Anghel L.
;
Achouri N.
;
Nicolaidis M.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
fault tolerant computing;
CMOS memory circuits;
nanotechnology;
logic simulation;
system-on-chip;
memory built-in self repair techniques;
fault tolerance approach;
nanometric CMOS process;
statistical fault injection simulations;
reasonable hardware cost;
54.
Protecting wavelet lifting transforms
机译:
保护小波升降变换
作者:
Redinbo G.R.
;
Nguyen C.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
wavelet transforms;
image processing;
data compression;
fault tolerant computing;
error detection;
iterative methods;
filtering theory;
wavelet lifting transforms;
image processing;
data compression;
multirate filters;
computer-induced numerical errors;
fault tolerance approach;
arithmetic errors;
concurrent weighted parity values;
error gain matrices;
error propagations;
Matlab code;
dual space functionals;
biorthogonality;
55.
Using modulo rulers for optimal recovery schemes in distributed computing
机译:
使用Modulo Rulers进行分布式计算中的最佳恢复方案
作者:
Klonowska K.
;
Lundberg L.
;
Lennerstad H.
;
Svahnberg C.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
system recovery;
resource allocation;
distributed processing;
software fault tolerance;
workstation clusters;
modulo ruler;
optimal recovery scheme;
distributed computing;
fault tolerance;
load sharing;
mathematical problem;
56.
Evaluation of memory built-in self repair techniques for high defect density technologies
机译:
高缺陷密度技术评价内存内置自修复技术
作者:
Anghel L.
;
Achouri N.
;
Nicolaidis M.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
fault tolerant computing;
CMOS memory circuits;
nanotechnology;
logic simulation;
system-on-chip;
memory built-in self repair techniques;
fault tolerance approach;
nanometric CMOS process;
statistical fault injection simulations;
reasonable hardware cost;
57.
Aspects for improvement of performance in fault-tolerant software
机译:
改进容错软件性能的方面
作者:
Szentivanyi D.
;
Nadjm-Tehrani S.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
software performance evaluation;
middleware;
software fault tolerance;
synchronisation;
distributed object management;
object-oriented programming;
fault-tolerant software;
aspect-oriented programming;
performance evaluation;
fault-tolerant servers;
middleware;
method call logging;
primary-backup replication;
synchronization;
CORBA platform;
telecom application;
base-line platform;
58.
Quantifying the variance in application reliability
机译:
量化应用可靠性方差
作者:
Gokhale S.S.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
software reliability;
software architecture;
covariance analysis;
object-oriented programming;
software reliability;
architecture-based reliability assessment techniques;
variance reduction strategy;
software architecture;
analytical function;
59.
Application-level fault tolerance in the orbital thermal imaging spectrometer
机译:
轨道热成像光谱仪中的应用级容错
作者:
Ciocca E.
;
Koren I.
;
Koren Z.
;
Krishna C.M.
;
Katz D.S.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
infrared imaging;
software fault tolerance;
spectroscopy computing;
infrared spectrometers;
error statistics;
error detection;
application-level fault tolerance;
orbital thermal imaging spectrometer;
software based fault tolerance;
error statistics;
fault detection;
60.
Evaluation of fault-tolerant designs implemented on SRAM-based FPGAs
机译:
基于SRAM的FPGA实现容错设计的评估
作者:
Asadi G.
;
Miremadi S.G.
;
Zarandi H.R.
;
Ejlali A.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
fault tolerant computing;
SRAM chips;
benchmark testing;
field programmable gate arrays;
fault-tolerant designs;
SRAM-based FPGA;
field programmable gate arrays;
single event upsets;
configuration bitstream file;
Altera FPGA;
61.
Honeypots: practical means to validate malicious fault assumptions
机译:
蜜罐:验证恶意故障假设的实用手段
作者:
Dacier M.
;
Pouget F.
;
Debar H.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
fault diagnosis;
security of data;
formal verification;
fault tolerant computing;
honeypots;
fault assumption validation;
intrusion-tolerant systems;
malicious fault assumptions;
62.
A hybrid approach for building eventually accurate failure detectors
机译:
一种建设最终精确的故障探测器的混合方法
作者:
Mostefaoui A.
;
Powell D.
;
Raynal M.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
system recovery;
distributed algorithms;
fault tolerant computing;
message passing;
error detection;
failure detector;
message passing;
hybrid protocol;
distributed algorithm;
asynchronous distributed system;
fault tolerance;
63.
A hybrid approach for building eventually accurate failure detectors
机译:
一种建设最终精确的故障探测器的混合方法
作者:
Mostefaoui A.
;
Powell D.
;
Raynal M.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
system recovery;
distributed algorithms;
fault tolerant computing;
message passing;
error detection;
failure detector;
message passing;
hybrid protocol;
distributed algorithm;
asynchronous distributed system;
fault tolerance;
64.
Honeypots: practical means to validate malicious fault assumptions
机译:
蜜罐:验证恶意故障假设的实用手段
作者:
Dacier M.
;
Pouget F.
;
Debar H.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
fault diagnosis;
security of data;
formal verification;
fault tolerant computing;
honeypots;
fault assumption validation;
intrusion-tolerant systems;
malicious fault assumptions;
65.
The system recovery benchmark
机译:
系统恢复基准
作者:
Mauro J.
;
Ji Zhu
;
Pramanick I.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
system recovery;
benchmark testing;
general purpose computers;
Unix;
fault tolerant computing;
performance evaluation;
system recovery benchmarking;
nonclustered standalone system;
system availability;
general purpose computer systems;
UNIX based systems;
system startup;
outage recovery;
system variables;
66.
Nonsystematic M-ary asymmetric error correcting codes designed by multilevel coding method
机译:
由多级编码方法设计的非系统性M-ARY非对称纠错码
作者:
Kaneko H.
;
Numakami M.
;
Fujiwara E.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
error correction codes;
character recognition;
maximum likelihood decoding;
binary codes;
nonbinary M-ary words;
data entry systems;
asymmetric errors;
character recognition systems;
specified codebook;
postal codes;
product numbers;
database indexing;
error correcting codes;
multilevel coding method;
set partitioning algorithm;
67.
The need for a generalized compositional framework
机译:
需要广义的组成框架
作者:
Neeraj Suri
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
object-oriented programming;
aerospace computing;
fault tolerant computing;
space borne systems;
generalized compositional framework;
fault tolerance;
real-time computing;
COTS philosophy;
compositional framework;
68.
Systematic comparisons of RDT communication-induced checkpointing protocols
机译:
RDT通信诱导的检查点协议的系统性比较
作者:
Jicchiang Tsai
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
system recovery;
protocols;
message passing;
RDT communication-induced checkpointing protocol;
rollback-dependency trackability;
transitive dependency vector;
simulation;
69.
Improving AI systems' dependability by utilizing historical knowledge
机译:
通过利用历史知识来提高AI系统的可靠性
作者:
Knauf R.
;
Tsuruta S.
;
Ihara H.
;
Gonzalez A.J.
;
Kurbad T.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
software agents;
theorem proving;
knowledge verification;
formal verification;
expert systems;
Turing test;
AI systems;
proof correctness;
human experts;
validation dependability;
validation knowledge base;
validation experts software agents;
70.
A dynamic checkpointing scheme based on reinforcement learning
机译:
一种基于强化学习的动态检查点方案
作者:
Okamura H.
;
Nishimura Y.
;
Dohi T.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
system recovery;
learning (artificial intelligence);
Markov processes;
software fault tolerance;
dynamic checkpointing scheme;
reinforcement learning algorithm;
uniprocess application;
semiMarkov decision process;
optimal checkpointing policy;
Q-learning algorithm;
adaptive checkpointing scheme;
asymptotic behavior system;
failure time distribution;
71.
The system recovery benchmark
机译:
系统恢复基准
作者:
Mauro J.
;
Ji Zhu
;
Pramanick I.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
system recovery;
benchmark testing;
general purpose computers;
Unix;
fault tolerant computing;
performance evaluation;
system recovery benchmarking;
nonclustered standalone system;
system availability;
general purpose computer systems;
UNIX based systems;
system startup;
outage recovery;
system variables;
72.
Ferret: a host vulnerability checking tool
机译:
雪貂:主机漏洞检查工具
作者:
Anil Sharma
;
Martin J.R.
;
Anand N.
;
Cukier M.
;
Sanders W.H.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
software tools;
program verification;
security of data;
Ferret software tool;
host vulnerability checking tool;
plug-in module;
open-source software;
Perl;
security auditing tool;
security evaluation;
73.
Fault-tolerant message switching based on wormhole switching and backtracking
机译:
基于蠕虫孔切换和反溯的容错消息切换
作者:
Sueishi M.
;
Kitakami M.
;
Ito H.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
message switching;
fault tolerant computing;
backtracking;
parallel machines;
multiprocessor interconnection networks;
fault-tolerant message switching method;
wormhole switching;
NO Remote memory Access model;
NORA parallel computer;
low communication throughput;
low fault-tolerant capability;
large hardware overhead;
74.
Benchmarking operating system dependability: Windows 2000 as a case study
机译:
基准测试操作系统可靠性:Windows 2000作为案例研究
作者:
Kalakech A.
;
Jarboui T.
;
Arlat J.
;
Crouzet Y.
;
Kanoun K.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
user interfaces;
operating systems (computers);
software reliability;
benchmark testing;
formal specification;
fault tolerant computing;
Windows 2000;
benchmark component specifications;
benchmark prototype;
operating system dependability benchmarking;
application level;
realistic workload;
75.
Efficient built-in self-test techniques for memory-based FFT processors
机译:
基于内存的FFT处理器的高效内置自检技术
作者:
Shyue-Kung Lu
;
Chien-Hung Yeh
;
Han-Wen Lin
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
built-in self test;
fast Fourier transforms;
memory architecture;
automatic test pattern generation;
logic testing;
fault diagnosis;
design for testability;
built-in self-test techniques;
memory-based FFT processors;
fast Fourier transform;
memory-based architecture;
ADSL system;
OFDM systems;
memory test algorithms;
test patterns;
memory faults;
design-for-testability;
Synopsys synthesis tools;
March algorithm;
76.
Cost-cutting through standardization
机译:
通过标准化成本削减
作者:
Gaisler J.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
software cost estimation;
aerospace computing;
computer architecture;
cost-benefit analysis;
standardisation;
space research;
public domain software;
space-based computers;
standardization;
cost reduction;
space-PC architecture;
reusable industry standards;
open-source license;
cost-benefit analysis;
public domain software;
77.
Availabilities and costs of reliable Fat-Btrees
机译:
可靠的脂肪Btrees的可用性和成本
作者:
Miyazaki J.
;
Abe Y.
;
Yokota H.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
software reliability;
tree data structures;
statistical analysis;
database indexing;
reliable Fat-Btrees;
parallel directory structure;
reliable data intensive systems;
databases system;
file systems;
steady-state availability;
computational availability;
78.
Cache scrubbing in microprocessors: myth or necessity?
机译:
微处理器中的缓存擦洗:神话或必要性?
作者:
Mukherjee S.S.
;
Emer J.
;
Fossum T.
;
Reinhardt S.K.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
microprocessor chips;
cache storage;
error correction codes;
fault tolerant computing;
SRAM chips;
cache scrubbing;
microprocessor;
transient fault;
SRAM cache;
error correcting code;
single-bit error correction;
double-bit error detection;
soft error;
79.
Stochastic Petri nets and inheritance for dependability modelling
机译:
随机培养网和可依赖性建模的遗传
作者:
Bernardi S.
;
Donatelli S.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
Petri nets;
software reusability;
inheritance;
specification languages;
stochastic processes;
modularity;
inheritance;
dependability modelling;
stochastic Petri nets modelling;
SPN;
class diagram formalism;
UML;
80.
What do fatal failures in Japanese space programs suggest us?
机译:
日本空间计划的致命失败建议我们?
作者:
Ihara H.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
space vehicles;
system recovery;
failure analysis;
aerospace computing;
space program;
fatal failure;
emergent synthetic environment;
81.
What do fatal failures in Japanese space programs suggest us?
机译:
日本空间计划的致命失败建议我们?
作者:
Ihara H.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
space vehicles;
system recovery;
failure analysis;
aerospace computing;
space program;
fatal failure;
emergent synthetic environment;
82.
Error detection enhancement in COTS superscalar processors with event monitoring features
机译:
具有事件监控功能的COTS超高卡拉尔处理器中的错误检测增强
作者:
Rajabzadeh A.
;
Mohandespour M.
;
Miremadi G.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
fault tolerant computing;
performance evaluation;
instruction sets;
parallel architectures;
error detection enhancement;
COTS superscalar processor;
event monitoring;
commercial off-the-shelf;
committed instructions counting;
watchdog processor;
performance monitoring;
32-bit Pentium processor;
83.
Failure handling in a reliable multicast protocol for improving buffer utilization and accommodating heterogeneous receivers
机译:
用于改善缓冲利用率和容纳异构接收器的可靠组播协议失败处理
作者:
Gunjan Khanna
;
Saurabh Bagchi
;
Rogers J.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
wide area networks;
multicast protocols;
fault trees;
IP networks;
performance evaluation;
computer network reliability;
fault tolerant computing;
failure handling;
reliable multicast protocol;
buffer utilization;
heterogeneous receiver;
resource utilization minimisation;
WAN;
wide area network;
end-to-end latency;
84.
Analysis and evaluation of topological and application characteristics of unreliable mobile wireless ad-hoc network
机译:
不可靠移动无线临时网络拓扑和应用特征的分析与评价
作者:
Cabuk S.
;
Malhotra N.
;
Lin L.
;
Bagchi S.
;
Shroff N.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
mobile computing;
computer network reliability;
wireless LAN;
ad hoc networks;
quality of service;
failure analysis;
protocols;
network topology;
mobile wireless ad-hoc network;
network protocols;
intelligent goal-directed mobility algorithms;
QoS;
quality of service;
application level protocol;
location determination protocol;
Hop-Terrain protocol;
85.
On the effects of partial membership knowledge on reliability of gossip-based multicast
机译:
关于部分隶属知识对八卦组多播可靠性的影响
作者:
Tsuchiya T.
;
Kikuno T.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
multicast protocols;
computer network reliability;
fault tolerant computing;
communication complexity;
partial membership knowledge;
gossip-based multicast protocol reliability;
computer network reliability;
fault tolerant computing;
communication complexity;
86.
Analysis of read and write availability for generalized hybrid data replication protocol
机译:
广义混合数据复制协议的读写可用性分析
作者:
Arai M.
;
Suzuki T.
;
Ohara M.
;
Fukumoto S.
;
Iwasaki K.
;
Hee Yong Youn
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
grid computing;
protocols;
data integrity;
hybrid data replication protocol;
distributed systems;
tree quorum protocol;
grid protocol;
analytical evaluation;
read/write operation;
87.
Stochastic Petri nets and inheritance for dependability modelling
机译:
随机培养网和可依赖性建模的遗传
作者:
Bernardi S.
;
Donatelli S.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
Petri nets;
software reusability;
inheritance;
specification languages;
stochastic processes;
modularity;
inheritance;
dependability modelling;
stochastic Petri nets modelling;
SPN;
class diagram formalism;
UML;
88.
Reliability evaluation of dependable distributed computing systems based on recursive merge and BDD
机译:
基于递归合并和BDD的可靠分布式计算系统可靠性评估
作者:
Yung-Ruei Chang
;
Hung-Yau Lin
;
Sy-Yen Kuo
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
binary decision diagrams;
Boolean functions;
system recovery;
fault tolerant computing;
sensitivity analysis;
distributed processing;
system reliability evaluation;
sensitivity analysis;
failure frequency analysis;
distributed dependable computing system;
minimal file spanning trees;
Boolean algebra;
Boolean functions;
tree-based partitioning algorithm;
binary decision diagram;
BDD technique;
89.
Representing user workarounds as a component of system dependability
机译:
将用户解决方法表示为系统可靠性的组件
作者:
Martin C.
;
Koopman P.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
specification languages;
software reliability;
embedded systems;
system-level dependability;
system component failures;
sequence diagrams;
UML;
mission graphs;
user workarounds;
user behaviors;
distributed embedded system;
90.
Nonsystematic M-ary asymmetric error correcting codes designed by multilevel coding method
机译:
由多级编码方法设计的非系统性M-ARY非对称纠错码
作者:
Kaneko H.
;
Numakami M.
;
Fujiwara E.
会议名称:
《IEEE Pacific Rim International Symposium on Dependable Computing》
|
2004年
关键词:
error correction codes;
character recognition;
maximum likelihood decoding;
binary codes;
nonbinary M-ary words;
data entry systems;
asymmetric errors;
character recognition systems;
specified codebook;
postal codes;
product numbers;
database indexing;
error correcting codes;
multilevel coding method;
set partitioning algorithm;
意见反馈
回到顶部
回到首页