检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

203 篇 会议
4 册 图书
4 篇 期刊文献
1 篇 学位论文

馆藏范围

209 篇 电子文献
3 种 纸本馆藏

日期分布

学科分类号

161 篇 工学
- 156 篇 计算机科学与技术...
- 138 篇 软件工程
- 13 篇 控制科学与工程
- 11 篇 信息与通信工程
- 10 篇 机械工程
- 10 篇 电气工程
- 3 篇 电子科学与技术（可...
- 2 篇 仪器科学与技术
- 1 篇 材料科学与工程（可...
- 1 篇 动力工程及工程热...
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 核科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 网络空间安全
37 篇 理学
- 32 篇 数学
- 27 篇 统计学（可授理学、...
- 3 篇 物理学
- 2 篇 系统科学
- 1 篇 大气科学
13 篇 管理学
- 12 篇 管理科学与工程(可...
- 2 篇 工商管理
- 1 篇 图书情报与档案管...
3 篇 医学
- 2 篇 基础医学(可授医学...
- 2 篇 特种医学

主题

54 篇 database systems
39 篇 computer systems...
25 篇 application soft...
13 篇 computer softwar...
11 篇 fault tolerance
9 篇 protocols
8 篇 computer science
8 篇 distributed comp...
8 篇 computer network...
7 篇 fault tolerant s...
7 篇 control systems
6 篇 reliability
6 篇 scalability
6 篇 telecommunicatio...
6 篇 computer archite...
6 篇 java
6 篇 computational mo...
6 篇 databases
6 篇 computer network...
6 篇 hardware

机构

3 篇 georgia inst of ...
3 篇 univ of newcastl...
2 篇 univ of british ...
2 篇 columbia univ ny...
2 篇 computer corp of...
2 篇 hiroshima univ f...
2 篇 ibm research lab...
2 篇 georgia inst of ...
2 篇 univ of newcastl...
2 篇 department of co...
2 篇 us army war coll...
2 篇 univ of illinois...
2 篇 princeton univ d...
1 篇 insa inst de rec...
1 篇 technical univ o...
1 篇 heidelberg univ ...
1 篇 duke univ durham...
1 篇 fudan univ sch c...
1 篇 school of inform...
1 篇 univ of iowa dep...

作者

8 篇 anon
4 篇 garcia-molina he...
3 篇 barbara daniel
3 篇 shrivastava s.k.
3 篇 minoura toshimi
2 篇 schlichting rich...
2 篇 lagna alberto
2 篇 hecht herbert
2 篇 chanson samuel t...
2 篇 dugan joanne bec...
2 篇 bhargava bharat
2 篇 liu ming t.
2 篇 wilkes c.thomas
2 篇 shrivastava sant...
2 篇 symposium on rel...
2 篇 goodman nathan
2 篇 manione roberto
2 篇 ahamad mustaque
2 篇 ravindran k.
2 篇 randell b.

语言

210 篇 英文
1 篇 其他
1 篇 中文

检索条件"任意字段=Proceedings - Second Symposium on Reliability in Distributed Software and Database Systems."

共 212 条记录，以下是101-110 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Experimental investigation of software diversity in a fault-tolerant avionics application

Experimental investigation of software diversity in a fault-...

引用

Seventh symposium on Reliable distributed systems. proceedings

作者： Caglayan, Alper K. Lorczak, Paul R. Eckhardt, Dave E. Charles River Inc Cambridge MA USA

ISBN: (纸本)0818608757

Highly reliable and effective failure detection and isolation (FDI) software is crucial in modern avionics systems.that tolerate hardware failures in real time. The FDI function is an excellent opportunity for applying the principal of software design diversity to the fullest, i.e., algorithm diversity, in order to provide gains in functional performance as well as potentially enhancing the reliability of the software. The authors examine algorithm diversity applied to the redundancy management software for a hardware fault-tolerant sensor array. Results of an experiment are presented that show the performance gains that can be provided by utilizing the consensus of three diverse algorithms for sensor FDI.

关键词： Computer systems. Digital

来源：评论

学校读者我要写书评

暂无评论

A lower bound on the reliability of an n-dimensional hypercube

A lower bound on the reliability of an n-dimensional hypercu...

引用

proceedings of the 9th symposium on Reliable distributed systems

作者： Bulka, Dov Dugan, Joanne Bechta Dept of Comput Sci Duke Univ Durham NC USA

A recursive algorithm for computing a lower bound on the all-terminal reliability of an n-dimensional hypercube is presented. The recursive step decomposes an n-dimensional hypercube into lower dimension hypercubes that are linked together. As an illustration of the effectiveness and power of this method, a lower bound is computed on the all-terminal reliability of the 16-dimensional hypercube (Connection Machine architecture) whose links number 219. The notation and assumptions are defined, and background information on bounding the reliability polynomial is provided. Methods for tightening these bounds for the analysis of the hypercube architecture are discussed.

关键词： Computer systems. Digital

来源：评论

学校读者我要写书评

暂无评论

Fault tolerant distributed information systems

Fault tolerant distributed information systems

引用

12th International symposium on software reliability Engineering

作者： Knight, John C. Elder, Matthew C. Department of Computer Science University of Virginia Charlottesville VA 22904-4740 United States

Critical infrastructures provide services upon which society depends heavily;these applications are themselves dependent on distributed information systems.for all aspects of their operation and so survivability of the information systems.is an important issue. Fault tolerance is a mechanism by which survivability can be achieved in these information systems. We outline a specification-based approach to fault tolerance, called RAPTOR, that enables structuring of fault-tolerance specifications and an implementation partially synthesized front the formal specification. The RAPTOR approach uses three specifications describing the fault-tolerant system, the errors to be detected, and the actions to take to recover front those errors. System specification utilizes an object-oriented database to store the descriptions associated with these large, complex systems. The error detection and recovery specifications are defined using the formal specification notation Z. We also describe an implementation architecture and explore our solution with a case study.

关键词： Fault tolerant computer systems

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 9th symposium on Reliable distributed systems

Proceedings of the 9th Symposium on Reliable Distributed Sys...

引用

proceedings of the 9th symposium on Reliable distributed systems

The following topics are dealt with: distributed operating systems.local area networks;network fault tolerance;hypercubes;distributed databases;real-time systems.replicated programs;computer architectures;and voting. ... 详细信息

关键词： Computer systems. Digital

来源：评论

学校读者我要写书评

暂无评论

STATE INCONSISTENCY ISSUES IN LOCAL AREA NETWORK-BASED distributed KERNELS.

引用

Fifth symposium on reliability in distributed software and database systems.- proceedings.

作者： Ravindran, K. Chanson, Samuel T. Univ of British Columbia Vancouver BC Can Univ of British Columbia Vancouver BC Can

ISBN: (纸本)0818606908

The authors address the problem of state inconsistencies (i. e. , interacting processes having different and inconsistent views of one another) that arise at the kernel level of distributed systems.based on local area networks. Such systems.are particularly susceptible to state inconsistencies becaue entities are highly autonomous and thus may fail independently. The problem is compounded by the inherent delays and errors in communicating events between machines in the network. A description is given of three common classes of events that may cause state inconsistencies: (1) failures of processes, machines, and/or the network;(2) new machines joining or exiting from the system;and (3) processes or hosts migrating from one machine to another in the network. Systematic solutions to the problems, based mainly on the concept of kernel-supported process aliases, are presented. The solutions are structured and easy to understand.

关键词： COMPUTER NETWORKS

来源：评论

学校读者我要写书评

暂无评论

TRANSACTION RECOVERY IN distributed DB/DC systems. A PROGRESSIVE APPROACH.

引用

Fifth symposium on reliability in distributed software and database systems.- proceedings.

作者： Yu, Philip S. Iyer, Balakrishna R. Lee, Yann-Hang IBM T. J. Watson Research Cent Yorktown Heights NY USA IBM T. J. Watson Research Cent Yorktown Heights NY USA

ISBN: (纸本)0818606908

Focus is on recovery of transactions in a distributed DB/DC system. The objective is to use transaction-level structural information to eliminate costly lower-level handshaking protocols, eliminate the need for any centralized recovery management mechanism by making recovery actions local to interacting components, and eliminate propagation of recovery actions to more than one antecedent or precedent component. Progressive recovery is a way of tracking the progress of a transaction to meet the above objective. Transaction processing involves different execution stages (DC, DB, followed by the DC), perhaps on different processors. Some stages make database changes and others are purely transformations of messages. The latter permit re-executions without side effects. The former must be well protected from re-executions. In contrast with optimistic recovery schemes, progressive recovery does not track communication and state dependencies.

关键词： database systems

来源：评论

学校读者我要写书评

暂无评论

RaPiD: A Toolkit for reliability Analysis of Non-deterministic systems 22

RaPiD: A Toolkit for Reliability Analysis of Non-determinist...

引用

22nd ACM SIGSOFT International symposium on the Foundations of software Engineering (FSE)

作者： Gui, Lin Sun, Jun Liu, Yang Truong Khanh Nguyen Dong, Jin Song Natl Univ Singapore Singapore Singapore Singapore Univ Technol & Design Singapore Singapore Nanyang Technol Univ Singapore Singapore

ISBN: (纸本)9781450330565

Non-determinism in concurrent or distributed software systems.(i.e., various possible execution orders among different distributed components) presents new challenges to the existing reliability analysis methods based on Markov chains. In this work, we present a toolkit RaPiD for the reliability analysis of non-deterministic systems. Taking Markov decision process as reliability model, RaPiD can help in the analysis of three fundamental and rewarding aspects regarding software reliability. First, to have reliability assurance on a system, RaPiD can synthesize the overall system reliability given the reliability values of system components. second, given a requirement on the overall system reliability, RaPiD can distribute the reliability requirement to each component. Lastly, RaPiD can identify the component that affects the system reliability most significantly. RaPiD has been applied to analyze several real-world systems.including a financial stock trading system, a proton therapy control system and an ambient assisted living room system. The is available at http://***/cfp/demos

关键词： reliability analysis Markov Decision Process non-determinism

来源：评论

学校读者我要写书评

暂无评论

Low overhead checkpointing and rollback recovery scheme for distributed systems

Low overhead checkpointing and rollback recovery scheme for ...

引用

proceedings of the Eighth symposium on Reliable distributed systems

作者： Tong, Zhijun Kain, Richard Y. Tsai, W.T. Univ of Minnesota Dep of Electr Eng Minneapolis MN USA

A major obstacle in implementing a rollback recovery scheme for fault tolerance in a concurrent distributed system is the domino effect. A low overhead checkpointing scheme is proposed to prevent this effect. Each process saves its state periodically. The state-save synchronization among processes is implemented by bounding clock drifts. A communication protocol that assures that all saved states are consistent is developed.

关键词： Computer systems. Digital

来源：评论

学校读者我要写书评

暂无评论

Simple models of fault tolerant software

Simple models of fault tolerant software

引用

proceedings of the 1993 Annual reliability and Maintainability symposium

作者： Dugan, Joanne Bechta Duke Univ Durham United States

ISBN: (纸本)078030943X

Fault tolerant software utilizes redundancy and diversity in an attempt to tolerate software design faults. The two most widely studied approaches to software fault tolerance are called Recovery Blocks (RB) and N-version Programming (NVP). Both RB and NVP have been the subject of numerous research efforts and publications. These research efforts primarily address design issues such as independence, implementation issues that arise in distributed systems. and experimental performance analysis. Very few researchers have addressed the analysis of the reliability of fault tolerant software. In this paper we present fault tree models that can be used for qualitative and quantitative analysis of fault tolerant software. There are several advantages to a simple fault tree model of fault tolerant software, in addition to the intrinsic beauty of simplicity. First, the implications of the conclusions drawn from the model are easier for the reader to understand. second, the qualitative effects of the input parameters are easier to deduce. Third, a reader can develop a model of a similar system and be confident of the results. Finally, and most important, a simple fault tree model of fault tolerant software can more easily be combined with an analysis of the hardware structure on which it executes. This combination will facilitate the integrated analysis of fault tolerant hardware and software systems.

关键词： Fault tolerant computer systems

来源：评论

学校读者我要写书评

暂无评论

A Systematic Differential Analysis for Fast and Robust Detection of software Aging 33

A Systematic Differential Analysis for Fast and Robust Detec...

引用

IEEE 33rd International symposium on Reliable distributed systems

作者： Matias, Rivalino, Jr. Andrzejak, Artur Machida, Fumio Elias, Diego Trivedi, Kishor Univ Fed Uberlandia Uberlandia MG Brazil Heidelberg Univ Heidelberg Germany NEC Knowledge Discovery Res Labs Kawasaki Kanagawa Japan Duke Univ Durham NC 27706 USA

ISBN: (纸本)9781479955848

software systems.running continuously for a long time often confront software aging, which is the phenomenon of progressive degradation of execution environment caused by latent software faults. Removal of such faults in software development process is a crucial issue for system reliability. A known major obstacle is typically the large latency to discover the existence of software aging. We propose a systematic approach to detect software aging which has shorter test time and higher accuracy compared to traditional aging detection via stress testing and trend detection. The approach is based on a differential analysis where a software version under test is compared against a previous version in terms of behavioral changes of resource metrics. A key instrument adopted is a divergence chart, which expresses time-dependent differences between two signals. Our experimental study focuses on memory-leak detection and evaluates divergence charts computed using multiple statistical techniques paired with application-level memory related metrics (RSS and Heap Usage). The results show that the proposed method achieves good performance for memory-leak detection in comparison to techniques widely adopted in previous works (e.g., linear regression, moving average and median).

关键词： anomaly detection memory leak software aging

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共22页 << < 7 8 9 10 11 12 13 14 15 16 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：