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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

358 篇 会议
7 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

250 篇 工学
- 230 篇 计算机科学与技术...
- 201 篇 软件工程
- 30 篇 电气工程
- 18 篇 控制科学与工程
- 17 篇 信息与通信工程
- 13 篇 机械工程
- 7 篇 电子科学与技术（可...
- 3 篇 建筑学
- 3 篇 生物医学工程（可授...
- 2 篇 力学（可授工学、理...
- 2 篇 仪器科学与技术
- 2 篇 材料科学与工程（可...
- 2 篇 动力工程及工程热...
- 2 篇 土木工程
- 2 篇 测绘科学与技术
- 2 篇 环境科学与工程（可...
- 1 篇 光学工程
- 1 篇 石油与天然气工程
- 1 篇 交通运输工程
- 1 篇 航空宇航科学与技...
54 篇 理学
- 48 篇 数学
- 36 篇 统计学（可授理学、...
- 4 篇 物理学
- 2 篇 系统科学
- 1 篇 大气科学
27 篇 管理学
- 24 篇 管理科学与工程(可...
- 3 篇 工商管理
- 3 篇 图书情报与档案管...
3 篇 法学
- 3 篇 社会学
2 篇 医学
1 篇 农学

主题

71 篇 database systems
51 篇 application soft...
44 篇 computer systems...
26 篇 fault tolerance
21 篇 fault tolerant s...
21 篇 distributed comp...
19 篇 hardware
18 篇 computer archite...
18 篇 computer softwar...
17 篇 protocols
16 篇 computer science
15 篇 telecommunicatio...
15 篇 real time system...
14 篇 computer network...
13 篇 costs
12 篇 software systems
12 篇 reliability
12 篇 databases
12 篇 distributed data...
10 篇 concurrent compu...

机构

3 篇 department of el...
3 篇 georgia inst of ...
3 篇 univ of newcastl...
3 篇 univ of illinois...
2 篇 fudan univ sch c...
2 篇 univ of british ...
2 篇 department of co...
2 篇 duke univ durham...
2 篇 columbia univ ny...
2 篇 bellcore morrist...
2 篇 ibm t. j. watson...
2 篇 computer corp of...
2 篇 hiroshima univ f...
2 篇 ibm research lab...
2 篇 georgia inst of ...
2 篇 omika works hita...
2 篇 computer science...
2 篇 univ of newcastl...
2 篇 department of co...
2 篇 department of co...

作者

10 篇 anon
4 篇 garcia-molina he...
4 篇 minoura toshimi
3 篇 barbara daniel
3 篇 shrivastava s.k.
3 篇 son sang hyuk
2 篇 schlichting rich...
2 篇 wang jia-ping
2 篇 woungang isaac
2 篇 hecht herbert
2 篇 chanson samuel t...
2 篇 iyer balakrishna...
2 篇 avritzer alberto
2 篇 k.h. kim
2 篇 dugan joanne bec...
2 篇 rubinovitz harve...
2 篇 bhargava bharat
2 篇 liu ming t.
2 篇 m.r. lyu
2 篇 c. subbaraman

语言

365 篇 英文
3 篇 其他
1 篇 中文

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

共 369 条记录，以下是81-90 订阅

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

详细简洁

排序：

SUPPORT FOR distributed TRANSACTIONS IN THE TABS PROTOTYPE.

SUPPORT FOR DISTRIBUTED TRANSACTIONS IN THE TABS PROTOTYPE.

引用

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

作者： Spector, Alfred Z. Butcher, Jacob Daniels, Dean S. Duchamp, Daniel J. Eppinger, Jeffrey L. Fineman, Charles E. Heddaya, Abdelsalam Schwarz, Peter M. Carnegie-Mellon Univ Dep of Computer Science Pittsburgh PA USA Carnegie-Mellon Univ Dep of Computer Science Pittsburgh PA USA

ISBN: (纸本)0818605642

The TABS prototype is an experimental facility that provides operating-system level support for distributed transactions operating on shared abstract types. It is hoped that the facility will simplify the construction of available, reliable, distributed applications. The authors describe the TABS system model, the structure of the prototype, and certain aspects of its operation. They conclude with an evaluation of the status of the TABS project.

关键词： COMPUTER OPERATING systems

来源：评论

学校读者我要写书评

暂无评论

Design-Model-Based Test Data Generation for database Applications

Design-Model-Based Test Data Generation for Database Applica...

引用

23rd IEEE International symposium on software reliability Engineering Workshops (ISSREW)

作者： Tanno, Haruto Zhang, Xiaojing Hoshino, Takashi NTT Software Innovat Ctr Minato Ku Tokyo 1080075 Japan

ISBN: (纸本)9780769549286;9781467350488

This research focuses on testing enterprise systems. more concretely on how to automatically generate the initial test data to be entered into the relational database to support each test case. Existing approaches cannot generate initial database entries to suit complicated business logic states such as reading the database more than once, searching the database by partial string matching, or setting primary and foreign key constraints on the database scheme. To solve these limitations, we propose a method for initial database generation. This method adopts a design model that can handle the complicated business logic states given above, and from this design model, our method generates appropriate initial database entries;it employs a step-by-step approach using the constraints extracted from the design model. The proposed method enables us to automatically generate initial database entries for a wide range of test cases and thus supports the testing of industrial-level enterprise systems. Using three industrial-level enterprise systems.as case studies, we confirm that our method properly generated initial databases for 72% to 100% of the test cases in which an initial database was needed.

关键词： test data generation model based testing database application test case generation design model

来源：评论

学校读者我要写书评

暂无评论

FAULT MASKING AND SEQUENCE AGREEMENT BY A VOTING PROTOCOL WITH LOW MESSAGE NUMBER.

FAULT MASKING AND SEQUENCE AGREEMENT BY A VOTING PROTOCOL WI...

引用

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

作者： Echtle, Klaus Univ of Karlsruhe West Ger Univ of Karlsruhe West Ger

ISBN: (纸本)0818607378

software-implemented fault masking in distributed systems.requires the generation of at least three copies of all processes and the insertion of majority voters at each interprocess communication between process triples. If the semantics of the receive operator used by the receiver triple indicates waiting for the receipt of messages coming from different sender triples in an indeterministic order, different sequences of message processing by the processes of the receiver triple have to be avoided by execution of an agreement protocol. A protocol is presented to solve the problem of both fault masking and sequence agreement simultaneously, in order to reduce communication overhead with respect to message number as well as message length. The concept of fault masking is a slight modification of an m-protocol that supports sequence agreement by the generation of at least two sender-specific encoded signatures and by execution of acknowledgement and sequence agreement jointly using the same messages. A general classification of voting problems shows that sequence agreement does not require usual protocols for interactive consistency, even in the case of Byzantine faults. This permits a simple fault-detecting centralized solution for sequence agreement.

关键词： database systems

来源：评论

学校读者我要写书评

暂无评论

TECHNIQUE FOR ESTIMATING PERFORMANCE OF FAULT-TOLERANT PROGRAMS.

TECHNIQUE FOR ESTIMATING PERFORMANCE OF FAULT-TOLERANT PROGR...

引用

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

作者： Schlichting, Richard D. Univ of Arizona Dep of Computer Science Tucson AZ USA Univ of Arizona Dep of Computer Science Tucson AZ USA

ISBN: (纸本)0818605642

A technique is presented for estimating the performance of programs written for execution on fail-stop processors. It is based on modeling the program as a discrete-time Markov chain and then using z-transforms to derive a probability distribution for time to completion. The use of z-transforms seems to have several potential advantages over the use of transition matrices, which is also discussed. Among these are the ease with which the transform associated with a program can be calculated, the simplicity of obtaining the mean and variance from the transform, and the promise of obtaining a closed form for the probability distribution. Nevertheless, the utility of the z-transform technique remains to be confirmed by its systematic application to realistic fault-tolerant programs.

关键词： COMPUTER software

来源：评论

学校读者我要写书评

暂无评论

STYLIZED INTERPROCESS COMMUNICATION - A KERNEL PRIMITIVE FOR RELIABLE distributed COMPUTING.

STYLIZED INTERPROCESS COMMUNICATION - A KERNEL PRIMITIVE FOR...

引用

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

作者： Leitner, Gerald Columbia Univ Dep of Computer Science New York NY USA Columbia Univ Dep of Computer Science New York NY USA

ISBN: (纸本)0818605642

Many distributed applications are structured as a set of client processes generating requests for service, and a set of server processes servicing these requests. The common form of interprocess communication (IPC) between two single processes does not provide adequate support for robustness and throughput optimization. The author presents a stylized form of IPC between a group of client processes and a group of server processes. The choice of a particular server process to service a request is made dynamically at run-time. This dynamic task distribution provides the kernel support needed to make individual failures of server processes transparent and to optimize system performance through load leveling. The semantics of stylized IPC and the high-level protocol to implement it are described. Particular emphasis is placed on minimizing the performance overhead incurred by this mechanism.

关键词： COMPUTER OPERATING systems

来源：评论

学校读者我要写书评

暂无评论

How Far Have We Come in Detecting Anomalies in distributed systems. An Empirical Study with a Statement-level Fault Injection Method 31

How Far Have We Come in Detecting Anomalies in Distributed S...

引用

IEEE 31st International symposium on software reliability Engineering (ISSRE)

作者： Yang, Yong Wu, Yifan Pattabiraman, Karthik Wang, Long Li, Ying Peking Univ Sch Software & Microelect Beijing Peoples R China Univ British Columbia Vancouver BC Canada IBM TJ Watson Res Ossining NY 10562 USA Peking Univ Natl Engn Ctr Software Engn Beijing Peoples R China

ISBN: (纸本)9781728198705

Anomaly detection in distributed systems.has been a fertile research area, and a range of anomaly detectors have been proposed for distributed systems. Unfortunately, there is no systematic quantitative study of the efficacy of different anomaly detectors, which is of great importance to reveal the deficiencies of existing anomaly detectors and shed light on future research directions. In this paper, we investigate how various anomaly detectors behave on anomalies of different types and the reasons for the same, by extensively injecting software faults into three widely-used distributed systems. We use a statement-level fault injection method to observe the anomalies, characterize these anomalies, and analyze the detection results from anomaly detectors of three categories. We find that: (1) the distributed systems. own error reporting mechanisms are able to report most of the anomalies (from 82.1% to 92.8%) but they incur a high false alarm rate of 26.6%. (2) State-of-the-art anomaly detectors are able to detect the existence of anomalies with 99.08% precision and 90.60% recall, but there is still a long way to go to pinpoint the accurate location of the detected anomalies, and (3) Log-based anomaly detection techniques outperform other anomaly detection techniques, but not for all anomaly types.

关键词： anomaly detection distributed systems fault injection dependability

来源：评论

学校读者我要写书评

暂无评论

Failure modes and effects analysis for software reliability

Failure modes and effects analysis for software reliability

引用

Annual reliability and Maintainaability symposium

作者： Nguyen, D Thomson CSF Sextant In Flight Syst Irvine CA 92614 USA

ISBN: (纸本)0780366158

This paper is to present a systematic problem solving approach, which is based on the Failure Modes and Effects Analysis (FMEA), to system software reliability. This approach will practically: (a) Ensure that all of conceivable failure modes and their effects on operational success of the software system have been considered. (b) List potential failures, and identify the magnitude of their effects. (c) Develop criteria for test planning, design of the tests, and checkout systems.(e.g., logging mechanism). (d) Provide a basis for quantitative reliability and availability analysis. (e) Provide a basis for establishing corrective action priorities. This approach was created for software reliability analysis and testing in the Multimedia Digital Distribution System (MDDS) at Thomson-CSF Sextant In-Flight systems. First it was used to improve the software reliability for the Communication Control Unit (CCU) subsystem of the MDDS, and then globally applied to the software reliability analysis and improvement for the whole MDDS. It has been proven to be an effective and efficient approach to system software reliability.

关键词： failure modes and effects analysis software reliability modeling and testing quantitative reliability and availability analysis distributed multimedia systems

来源：评论

学校读者我要写书评

暂无评论

database PROCESSING WITH TRIPLE MODULAR REDUNDANCY.

引用

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

作者： Pittelli, Frank Garcia-Molina, Hector Princeton Univ NJ USA Princeton Univ NJ USA

ISBN: (纸本)0818606908

N-modular Redundancy (NMR) protects against arbitrary types of hardware or software failures in a minority of system components, thereby yielding the highest degree of reliability. A study is made of the application of NMR, specifically triple modular redundancy (TMR), to general-purpose database processing. The authors discuss the structure and implementation tradeoffs of a TMR system that is 'synchronized' at the transaction level, i. e. , in which complete transactions are distributed to all nodes, where they are processed independently, and only the majority output is accepted. The inherent cost of such a TMR database system is examined on the basis of preliminary performance results from a version implemented on three SUN-2/120 workstations.

关键词： database systems

来源：评论

学校读者我要写书评

暂无评论

A process for failure modes and effects analysis of computer software

A process for failure modes and effects analysis of computer...

引用

49th Annual reliability and Maintainability symposium (RAMS)

作者： Ozarin, N Siracusa, M Omnicon Grp Inc Hauppauge NY 11788 USA

ISBN: (纸本)0780377176

software FMEA is a means to determine whether any single failure in computer software can cause catastrophic system effects, and additionally identifies other possible consequences of unexpected software behavior. The procedure described here was developed and used to analyze mission- and safety-critical software systems. The procedure includes using a structured approach to understanding the subject software, developing rules and tools for doing the analysis as a group effort with minimal data entry and human error, and generating a final report. software FMEA is a kind of implementation analysis that is an intrinsically tedious process but database tools make the process reasonably painless, highly accurate, and very thorough. The main focus here is on development and use of these database tools.

关键词： FMEA software FMEA software failure mission critical software software fault tree

来源：评论

学校读者我要写书评

暂无评论

Task allocation for optimized system reliability

Task allocation for optimized system reliability

引用

Seventh symposium on Reliable distributed systems. proceedings

作者： Wang, Jia-Ping Shatz, Sol M. Univ of Illinois Chicago IL USA

ISBN: (纸本)0818608757

The authors deal with the task allocation problem in distributed software design, with the goal of maximizing the system reliability. A quantitative problem model, algorithms for optimal and suboptimal solutions, and simulation results are provided and discussed. Because the authors use a new allocation goal--to maximize system reliability--this study complements the existing body of knowledge in task allocation.

关键词： Computer systems. Digital

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共37页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：