10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.最新文献

Evaluation of fault-tolerant designs implemented on SRAM-based FPGAs 基于sram的fpga的容错设计评估

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. Pub Date : 2004-03-03 DOI: 10.1109/PRDC.2004.1276583

H. Asadi, S. Miremadi, H. Zarandi, A. Ejlali

引用次数: 19

Systematic comparisons of RDT communication-induced checkpointing protocols RDT通信诱导的检查点协议的系统比较

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. Pub Date : 2004-03-03 DOI: 10.1109/PRDC.2004.1276554

Jichiang Tsai

引用次数: 6

Availabilities and costs of reliable Fat-Btrees 可靠的fat - b树的可用性和成本

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. Pub Date : 2004-03-03 DOI: 10.1109/PRDC.2004.1276567

Jun Miyazaki, Yohei Abe, H. Yokota

引用次数: 4

Aspects for improvement of performance in fault-tolerant software 提高容错软件性能的几个方面

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. Pub Date : 2004-03-03 DOI: 10.1109/PRDC.2004.1276578

Diana Szentiványi, S. Nadjm-Tehrani

引用次数: 19

Connecting network partitions with location-assisted forwarding nodes in mobile ad hoc environments 在移动自组织环境中用位置辅助转发节点连接网络分区

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. Pub Date : 2004-03-03 DOI: 10.1109/PRDC.2004.1276574

Chia-Ho Ou, K. Ssu, H. C. Jiau

引用次数: 25

Improving AI systems' dependability by utilizing historical knowledge 利用历史知识提高人工智能系统的可靠性

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. Pub Date : 2004-03-03 DOI: 10.1109/PRDC.2004.1276590

R. Knauf, S. Tsuruta, H. Ihara, Avelino J. Gonzalez, Torsten Kurbad

{"title":"Improving AI systems' dependability by utilizing historical knowledge","authors":"R. Knauf, S. Tsuruta, H. Ihara, Avelino J. Gonzalez, Torsten Kurbad","doi":"10.1109/PRDC.2004.1276590","DOIUrl":"https://doi.org/10.1109/PRDC.2004.1276590","url":null,"abstract":"A Turing test is a promising way to validate AI systems which usually have no way to proof correctness. However, human experts (validators) are often too busy to participate in it and sometimes have different opinions per person as well as per validation session. To cope with these and increase the validation dependability, a validation knowledge base (VKB) in Turing test-like validation is proposed. The VKB is constructed and maintained across various validation sessions. Primary benefits are (1) decreasing validators' workload, (2) refining the methodology itself, e.g. selecting dependable validators using VKB, and (3) increasing AI systems' dependabilities through dependable validation, e.g. support to identify optimal solutions. Finally, validation experts software agents (VESA) are introduced to further break limitations of human validator's dependability. Each VESA is a software agent corresponding to a particular human validator. This suggests the ability to systematically \"construct\" human-like validators by keeping personal validation knowledge per corresponding validator. This will bring a new dimension towards dependable AI systems.","PeriodicalId":383639,"journal":{"name":"10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129259665","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

Measuring notification loss in publish/subscribe communication systems 度量发布/订阅通信系统中的通知丢失

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. Pub Date : 2004-03-03 DOI: 10.1109/PRDC.2004.1276556

R. Baldoni, R. Beraldi, S. Piergiovanni, A. Virgillito

{"title":"Measuring notification loss in publish/subscribe communication systems","authors":"R. Baldoni, R. Beraldi, S. Piergiovanni, A. Virgillito","doi":"10.1109/PRDC.2004.1276556","DOIUrl":"https://doi.org/10.1109/PRDC.2004.1276556","url":null,"abstract":"A publish/subscribe communication system (PSS) realizes a many-to-many anonymous interaction among its participants. Producers of information (publishers) issue notifications to the PSS. These are delivered by the PSS to all subscribers that declared interest in it. However, this decoupled form of interaction introduces delays between i) the production of a notification and its delivery to subscribers (diffusion delay) and ii) the declaration of interest by a subscriber and its registration in the PSS (subscription/unsubscription delay). Such delays could lead to notification loss scenarios where an event is not delivered to an intended subscriber even though it was issued when the subscription was active. We studied this notification loss phenomenon by presenting a simulation study of a PSS and an analytical model. The latter measures the percentage of notifications guaranteed by a PSS implementation to a subscriber. This addresses a QoS issue. The model is based on a formal framework of a distributed computation. The framework abstracts the PSS through the two delays, defining safety and liveness properties that precisely characterize the semantics of the PSS.","PeriodicalId":383639,"journal":{"name":"10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127678762","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 19

Protecting wavelet lifting transforms 保护小波提升变换

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. Pub Date : 2004-03-03 DOI: 10.1109/PRDC.2004.1276573

G. Redinbo, Cung Nguyen

引用次数: 0

Analysis and evaluation of topological and application characteristics of unreliable mobile wireless ad-hoc network 不可靠移动无线自组网拓扑与应用特性分析与评价

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. Pub Date : 2004-03-03 DOI: 10.1109/PRDC.2004.1276575

Serdar Cabuk, N. Malhotra, Longbi Lin, S. Bagchi, N. Shroff

{"title":"Analysis and evaluation of topological and application characteristics of unreliable mobile wireless ad-hoc network","authors":"Serdar Cabuk, N. Malhotra, Longbi Lin, S. Bagchi, N. Shroff","doi":"10.1109/PRDC.2004.1276575","DOIUrl":"https://doi.org/10.1109/PRDC.2004.1276575","url":null,"abstract":"We present a study of topological characteristics of mobile wireless ad-hoc networks. The characteristics studied are connectivity, coverage, and diameter. Knowledge of topological characteristics of a network aids in the design and performance prediction of network protocols. We introduce intelligent goal-directed mobility algorithms for achieving desired topological characteristics. A simulation-based study shows that to achieve low, medium and high network QoS defined in terms of combined requirements of the three metrics, the network needs respectively 8, 16, and 40 nodes. If nodes can fail, the requirements increase to 8, 36 and 60 nodes respectively. We present a theoretical derivation of the improvement due to the mobility models and the sufficient condition for 100% connectivity and coverage. Next, we show the effect of improved topological characteristics in enhancing QoS of an application level protocol, namely, a location determination protocol called Hop-Terrain. The study shows that the error in location estimation is reduced by up to 68% with goal-directed mobility.","PeriodicalId":383639,"journal":{"name":"10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129867257","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 8

Evaluation of memory built-in self repair techniques for high defect density technologies 高缺陷密度技术中存储器内置自修复技术的评价

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. Pub Date : 2004-03-03 DOI: 10.1109/PRDC.2004.1276581

L. Anghel, Nadir Achouri, M. Nicolaidis

引用次数: 10