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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

342 篇 会议
7 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

69 篇 database systems
47 篇 application soft...
43 篇 computer systems...
23 篇 fault tolerance
20 篇 fault tolerant s...
20 篇 distributed comp...
19 篇 hardware
18 篇 computer softwar...
16 篇 computer science
16 篇 telecommunicatio...
16 篇 computer archite...
16 篇 real time system...
15 篇 protocols
13 篇 computer network...
12 篇 reliability
12 篇 databases
12 篇 distributed data...
11 篇 costs
10 篇 concurrent compu...
10 篇 control systems

机构

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 篇 college of compu...
2 篇 univ of newcastl...
2 篇 department of co...

作者

9 篇 anon
4 篇 garcia-molina he...
4 篇 minoura toshimi
3 篇 bhargava bharat
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 篇 liu ming t.
2 篇 m.r. lyu
2 篇 c. subbaraman

语言

346 篇 英文
5 篇 其他
1 篇 中文

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

共 352 条记录，以下是191-200 订阅

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

详细简洁

排序：

Optical storage: technology and applications

Optical storage: technology and applications

引用

IEEE symposium on Mass Storage systems

作者： W. Lenth IBM Almaden Research Center San Jose CA USA

Summary form only given. Optical-storage technology makes use of laser light for recording digital data on rotating-disk media. It is characterized by the combination of high storage density, high data rate, fast access time, high reliability, and media removability. The author considers optical storage technology and its application.< >

关键词： Optical recording Application software Disk recording Costs CD-ROMs Storage automation Robotics and automation Optical devices Pulse width modulation Abstracts

来源：评论

学校读者我要写书评

暂无评论

Coordinated checkpointing-rollback error recovery for distributed shared memory multicomputers

Coordinated checkpointing-rollback error recovery for distri...

引用

Reliable distributed systems

作者： G. Janakiraman Y. Tamir Computer Science Department UCLA Los Angeles CA USA

Most recovery schemes that have been proposed for distributed Shared Memory (DSM) systems.require unnecessarily high checkpointing frequency and checkpoint traffic, which are sensitive to the frequency of interprocess communication in the applications. For message-passing systems. low overhead error recovery based on coordinated checkpointing allows the frequency of checkpointing to be determined only by the reliability requirements of the application. Efficient adaptation of this approach to DSM multicomputers is complicated by the absence of explicit messages in DSM systems. the presence of a shared and partially replicated address space, and the presence of a distributed coherency directory. We present solutions to these issues, and propose an error recovery scheme based on coordinated checkpointing and rollback for DSM multicomputers. Our performance evaluation based on trace-driven simulations indicates that this scheme incurs less checkpoint traffic than recovery schemes previously proposed for DSM systems.< >

关键词： Checkpointing Frequency Computer errors Computer science Application software Traffic control Hardware Protocols Very large scale integration Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

reliability prediction of distributed embedded fault-tolerant systems 4

Reliability prediction of distributed embedded fault-toleran...

引用

4th International symposium on software reliability Engineering, ISSRE 1993

作者： Sheldon, Frederick T. Mei, Hsing Yang, Seung-Min Computer Science Engineering Department University of Texas at Arlington ArlingtonTX76019-0015 United States

ISBN: (纸本)0818640103

A new reliability model is introduced for selecting the best software fault-tolerant (FT) design. This model uses a task graph technique that allows different candidate FT configurations to be analyzed based on the structure and organization of different distributed embedded systems. reliability prediction with this approach can be useful for addressing system dependability issues (i.e., fault detection/recovery processes and steady-state availability) in addition to ascertaining fault coverage (i.e., the likelihood of missing and/or false faults). The results of analyzing three different Simplified Unmanned Vehicle System (SUVS) FT configurations are presented. This work is described within the framework of the Conservative and Do-best FT design policies and fits consistent with a software development model for real-time control systems.that was introduced in earlier work by the authors. © 1993 IEEE.

关键词： Fault detection

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

16th IFIP Working Group 7.3 International symposium on Computer Performance Modeling, Measurement and Evaluation and ACM SIGMETRICS Conference on Measurement and Modeling of Computer systems. 1993

引用

16th IFIP Working Group 7.3 International symposium on Computer Performance Modeling, Measurement and Evaluation and ACM SIGMETRICS Conference on Measurement and Modeling of Computer systems. 1993

ISBN: (纸本)9783540572978

The proceedings contain 26 papers. The special focus in this conference is on Computer Performance Modeling, Measurement and Evaluation. The topics include: Parallel simulation;properties and analysis of queueing network models with finite capacities;performance analysis and optimization with the power-series algorithm;multiprocessor and distributed system design;response time distributions in queueing network models;fast simulation of rare events in queueing and reliability models;an inlxoduction to modeling dynamic behavior with time series analysis;issues in trace-driven simulation;maximum entropy analysis of queueing network models;performance modeling using DSPN express;relaxation for massively parallel discrete event simulation;an overview of tes processes and modeling methodology;performance engineering of client-server systems.queueing networks with finite capacities;performance instrumentation techniques for parallel systems.a survey of bottleneck analysis in closed networks of queues;software performance engineering;performance measurement using system monitors;providing quality of service packet switched networks;dependability and performability analysis;architectures and algorithms for digital multimedia on-demand servers;analysis and control of polling systems.modeling and analysis of transaction processing systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

reliability prediction of distributed embedded fault-tolerant systems

Reliability prediction of distributed embedded fault-toleran...

引用

International symposium on software reliability Engineering (ISSRE)

作者： F.T. Sheldon H. Mei S.-M. Yang Computer Science Engineering Department University of Texas Arlington Arlington TX USA

关键词： Fault tolerance software design Embedded system Fault detection Steady-state Availability Vehicles Programming Real time systems Control system synthesis

来源：评论

学校读者我要写书评

暂无评论

Computer communications for factory automation

Computer communications for factory automation

引用

IEEE International symposium on Industrial Electronics (ISIE)

作者： A.C. Weaver R. Simoncic Computer Networks Laboratory University of Virginia Charlottesville VA USA

Factory communications in the 1990s have all the complexity of full-fledged distributed systems. While emerging standards such as Fieldbus solve the interconnection problem, in general they do not address the more general problem of reliable, transparent communication among cooperating, distributed applications. These new applications are known to require network layer and transparent layer services to achieve reliable end-to-end communication across an arbitrary network topology. The Xpress Transfer Protocol is designed to solve this problem by providing increased functionality and performance in the general area of real-time systems.control.< >

关键词： Manufacturing automation Telecommunication network reliability Application software Production facilities Communication standards Field buses Computer network reliability Network topology Protocols Real time systems

来源：评论

学校读者我要写书评

暂无评论

NEURAL NETWORKS FOR THE DESIGN OF distributed, FAULT-TOLERANT, COMPUTING ENVIRONMENTS 11

NEURAL NETWORKS FOR THE DESIGN OF DISTRIBUTED, FAULT-TOLERAN...

引用

11TH SYMP ON RELIABLE distributed systems

作者： GEIST, R SUGGS, D Department of Computer Science Clemson University Clemson 29364 SC United States

ISBN: (纸本)0818628901

Binary optimization models for the design of distributed, fault-tolerant computing systems.are considered, with a focus on the task allocation and file assignment modeling schema proposed by J. Bannister and K. Trivedi (Proc. Second Symp. on reliability in distributed software and database systems. 1982). It is shown that R. Graham's (1969) partitioning algorithm, S, when applied to this schema can, in the case of finite resources, yield allocations that are arbitrarily poor with respect to the optimum allocation. This contrasts sharply with the case of ample resources, where S provides allocations that are provably close to the optimum. Two alternative allocation algorithms are suggested. Both are seen to deliver allocations preferable to those provided by S, but at some additional computational expense. © 1992 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

ImageNet: A global distributed database for color image storage, and retrieval in medical imaging systems 5

ImageNet: A global distributed database for color image stor...

引用

5th Annual IEEE symposium on Computer-Based Medical systems. CBMS 1992

作者： Martinez, R. Smith, D. Trevino, H. Arizona Univ. TucsonAZ United States

ISBN: (纸本)0818627425

The authors describe the overall system design for ImageNet and present a system prototype developed on an Ethernet network in the Computer Engineering Research Laboratory at the University of Arizona. ImageNet is a global distributed color image database and communications system with multiple database nodes and user workstations (WSs). Each database node serves a geographical region with several WS users. The database nodes are interconnected with a fiber optic backbone network. The first prototype of the ImageNet over Ethernet has been successfully implemented. The WS software showed that the user WS software provided the required functionality. One could make data dictionary requests, formulate queries, make single and multiple online as well as offline image transfers, and display images. The WS interface is simple to use, and requires little training for new users. The ImageNet system has applications to global teleradiology and telepathology imaging systems. © 1992 IEEE.

关键词： Research laboratories

来源：评论

学校读者我要写书评

暂无评论

Analysis of large system black-box test data 3

Analysis of large system black-box test data

引用

3rd International symposium on software reliability Engineering, ISSRE 1992

作者： Clapp, Kent C. Iyer, Ravishankar K. Levendel, Ytzhak AT and T Network Systems NapervilleIL United States Center for Reliable and High Performance Computing University of Illinois at Urbana-Champaign United States

This paper studies black box testing and verification of large systems. Testing data is collected from several test teams. A flat, integrated database of test, fault, repair, and source file information is built. A new analysis methodology based on the black box test design and white box analysis is proposed. The methodology is intended to support the reduction of testing cost and enhancement of software quality by improving test selection, eliminating test redundancy, and identifying error prone source files. Using example data from AT&T systems. the improved analysis methodology is demonstrated. © 1992 IEEE.

关键词： Computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共36页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：