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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是181-190 订阅

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

详细简洁

排序：

reliability simulation of fault-tolerant software and systems

Reliability simulation of fault-tolerant software and system...

引用

Pacific Rim International symposium on Fault Tolerant systems

作者： S.S. Gokhale M.R. Lyu K.S. Trivedi Department of Electrical and Computer Engineering Center for Advanced Computer & Communication Duke University Durham NC USA Bell Laboratories Lucent Technologies Inc. Murray Hill NJ USA

Fault tolerance is a survival attribute of complex computer systems.and software in their ability to deliver continuous service to their users in the presence of faults. Formulating an analytic model for dependability and performance evaluation of hardware/software fault tolerant architectures can be quite cumbersome. Also, in practice, isolating the effect of various parameters on a system, while holding the others constant requires exploring a variety of scenarios. It is economically infeasible to build several such systems. Simulation offers an attractive mechanism for dependability evaluation and the study of the influence of various parameters on the failure behavior of the system. In this paper, we develop algorithms to simulate the failure behavior of three commonly used fault tolerant architectures, viz., distributed Recovery Block (DRB), N-Version Programming (NVP) and N-Self Checking Programming (NSCP). We demonstrate the ability of the approach to simulate complex failure scenarios with various dependencies using some illustrative numerical examples.

关键词： Fault tolerant systems software systems Hardware Fault tolerance Computer architecture Computational modeling Liver Performance analysis Embedded software software maintenance

来源：评论

学校读者我要写书评

暂无评论

software development on the DIII-D control and data acquisition computers

Software development on the DIII-D control and data acquisit...

引用

IEEE/NPSS symposium on Fusion Engineering

作者： B.G. Penaflor B.B. McHarg D. Piglowski General Atomics San Diego CA USA

The various software systems.developed for the DIII-D tokamak have played a highly visible and important role in tokamak operations and fusion research. Because of the heavy reliance on in-house developed software encompassing all aspects of operating the tokamak, much attention has been given to the careful design, development and maintenance of these software systems. software systems.responsible for tokamak control and monitoring, neutral beam injection, and data acquisition demand the highest level of reliability during plasma operations. These systems.made up of hundreds of programs totaling thousands of lines of code have presented a wide variety of software design and development issues ranging from low level hardware communications, database management, and distributed process control, to man machine interfaces. The focus of this paper will be to describe how software is developed and managed for the DIII-D control and data acquisition computers. It will include an overview and status of software systems.implemented for tokamak control, neutral beam control, and data acquisition. The issues and challenges faced developing and managing the large amounts of software in support of the dynamic and everchanging needs of the DIII-D experimental program will be addressed.

关键词： Programming Data acquisition Tokamaks software systems Communication system control Control systems software development management software maintenance Monitoring Particle beams

来源：评论

学校读者我要写书评

暂无评论

Policy-driven fault management in distributed systems

Policy-driven fault management in distributed systems

引用

proceedings of the 1996 7th International symposium on software reliability Engineering, ISSRE'96

作者： Katchabaw, Michael J. Lutfiyya, Hanan L. Marshall, Andrew D. Bauer, Michael A. Univ of Western Ontario London Canada

Management policies can be used to specify requirements about the desired behaviour of distributed systems. Violations of policies (faults) can then be detected, isolated, located, and corrected using a policy-driven fault management system. Other work in this are to date has focused on network-level faults. We believe that in a distributed system it is more appropriate to focus on faults at the application level. Furthermore, this work has been largely domain specific - a generic, structured approach to this problem is needed. Our work has focused on policy-driven fault management in distributed systems.at the application level. In this paper, we define a generic architecture for policy-driven fault management, and present a prototype system based on this architecture. We also discuss experience to date using and experimenting with our prototype system.

关键词： Computer system recovery

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 1996 IEEE Real-Time Technology and Applications symposium

Proceedings of the 1996 IEEE Real-Time Technology and Applic...

引用

proceedings of the 1996 IEEE Real-Time Technology and Applications symposium

The proceedings contains 27 papers from the 1996 IEEE Real-Time Technology and Applications symposium. Topics discussed include case studies and applications of real time systems. database systems.and concurrency control, software engineering, data communication systems. real time system development and analysis tools, formal methods and processing scheduling, and operating systems.and distributed systems.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

New look at membership services

New look at membership services

引用

proceedings of the 1996 15th Annual ACM symposium on Principles of distributed Computing

作者： Neiger, Gil Intel Corp

distributed services are often provided by process groups for purposes of reliability, availability, and performance. It is often important for the members of a such a group to have a consistent view of the group's membership. For this reason, membership services are important part of many distributed software systems. Despite their importance, the specification and implementation of membership services in completely asynchronous systems.has challenged researchers. Recent papers have demonstrated that earlier specifications are either unsolvable or admit trivial solutions. Informally, membership services require a kind of agreement among processes and it has been shown that it is impossible to solve many consensus-like problems in completely asynchronous systems. If the specification of membership service is nearly as strong as that of consensus, the specification will be unsolvable. If it is much weaker, its solutions may be useless. This paper provides an alternative specification of group membership and exhibits an algorithm that satisfies it. The specification is solvable in spite of earlier impossibility results because it permits executions in which all processes are evicted from the process group yet none ever learns that the group has become empty. This represents a weakening of earlier specifications, which required that, at all times, at least one process be aware of a group's membership. However, the new specification cannot be trivially satisfied because it prohibits a potential solution from arbitrarily removing a process for no reason. This specification thus represents an important step towards a better understanding of membership services in completely asynchronous systems.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Using distributed resource management in heterogeneous telecomputing platforms

Using distributed resource management in heterogeneous telec...

引用

IEEE International Computer Performance and Dependability symposium (IPDS 96)

作者： Duesing, E Huang, Y Kapauan, P Kintala, C Levendel, Y Lumsden, J Purcell, J Suri, G LUCENT TECHNOL BELL LABS MURRAY HILL NJ USA

ISBN: (纸本)0818674849

Programmability, reliability, and scalability are system requirements that are essential to retaining or establishing the high ground in the new world order for telecommunications solutions. For telephony systems.to be successful in the next century, they must deliver 'fifth-generation software flexibility' that enables interoperability while satisfying these 3 key requirements to give customers the applications they need, when they need them. Further, these requirements must be designed into an open system architecture from the start: systems.lacking them cannot be easily extended to leverage their combined advantages. Finally, these solutions must readily build upon inexpensive, off-the-shelf hardware components. Telecommunication is becoming telecomputing. Although traditional fault-tolerance approaches can be used to increase the reliability of the platform, a more general software fault-tolerant architecture is required to integrate new off-the-shelf system components reliably and seamlessly into the existing service. The ease of integration hinges both on the system architecture and on easy programming paradigms to integrate dependability with the service functionality. This paper describes our working prototype of an open Telecomputing system based on these architectural principles.

关键词： distributed database systems

来源：评论

学校读者我要写书评

暂无评论

distributed medical services within the atm-based Berlin regional testbed

Distributed medical services within the atm-based Berlin reg...

引用

1996 Medical Imaging symposium on PACS Design and Evaluation - Engineering and Clinical Issues

作者： Thiel, A Bernarding, J Krauss, M Schulz, S Tolxdorff, T FREE UNIV BERLIN BENJAMIN FRANKLIN UNIV CLINDEPT MED INFORMATINST MED STAT & INFORMAT PROCD-12200 BERLINGERMANY

ISBN: (纸本)0819420867

The ATM-based Metropolitan Area Network (MAN) of Berlin connects two university hospitals (Benjamin Franklin University Hospital and Charite) with the computer resources of the Technical University of Berlin (TUB). distributed new medical services have been implemented and will be evaluated within the highspeed MAN of Berlin. The network with its data transmission rates of up to 155 Mbit/s renders these medical services externally available to practicing physicians. Resource and application sharing is demonstrated by the use of two software systems. The first software system is an interactive 3D reconstruction tool (3D- Medbild), based on a client-server mechanism. This structure allows the use of high- performance computers at the TUB from the low-level workstations in the hospitals. A second software system, RAMSES, utilizes a tissue database of Magnetic Resonance Images. For the remote control of the software, the developed applications use standards such as DICOM 3.0 and features of the World Wide Web. Data security concepts are being tested and integrated for the needs of the sensitive medical data. The highspeed network is the necessary prerequisite for the clinical evaluation of data in a joint teleconference. The transmission of digitized real-time sequences such as video and ultrasound and the interactive manipulation of data are made possible by Multi Media tools.

关键词： telemedicine teleconference 3D-visualization ATM medical workstation DICOM 3.0 data security

来源：评论

学校读者我要写书评

暂无评论

International symposium on Design and Implementation of Symbolic Computation systems. DISCO 1996

International Symposium on Design and Implementation of Symb...

引用

4th International symposium on Design and Implementation of Symbolic Computation systems. DISCO 1996

ISBN: (纸本)3540616977

The proceedings contain 35 papers. The special focus in this conference is on Design and Implementation of Symbolic Computation systems. The topics include: Problem-oriented applications of automated theorem proving;a strongly-typed embeddable computer algebra library;a general framework for implementing calculi and strategies;equality elimination for the tableau method;towards lean proof checking;high performance equational theorem proving;a reflective language based on conditional term rewriting;term rewriting systems.generative geometric modeling in a functional environment;exploiting SML for experimenting with algebraic algorithms;conditional categories and domains;parameterizing object specifications;analyzing the dynamics of a Z specification;integer and rational arithmetic on maspar;parallel 3-primes FFT algorithm;a master-slave approach to parallel term rewriting on a hierarchical multiprocessor;concepts and applications;document-centered presentation of computing software;animating a non-executable formal specification with a distributed symbolic language;uniform representation of basic algebraic structures in computer algebra;integrating computer algebra with proof planning;structures for symbolic mathematical reasoning and computation;an approach to class reasoning in symbolic computation;an intelligent interface to numerical routines;computer algebra and the world wide web;software architectures for computer algebra;a deductive database for mathematical formulas;a system for computer aided constructive algebraic geometry;making systems.communicate and cooperate;a database for number fields;compiling residuation for a multiparadigm symbolic programming language and pluggability issues in the multi protocol.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Policy-driven fault management in distributed systems

Policy-driven fault management in distributed systems

引用

International symposium on software reliability Engineering (ISSRE)

作者： M.J. Katchabaw H.L. Lutfiyya A.D. Marshall M.A. Bauer Department of Computer Science University of Western Ontario London Canada

Management policies can be used to specify requirements about the desired behaviour of distributed systems. Violations of policies (faults) can then be detected, isolated, located and corrected using a policy-driven fault management system. Other work in this area to date has focused on network-level faults. We believe that in a distributed system it is more appropriate to focus on faults at the application level. Furthermore, this work has been largely domain-specific-a generic, structured approach to this problem is needed. Our work has focused on policy-driven fault management in distributed systems.at the application level. In this paper, we define a generic architecture for policy-driven fault management and present a prototype system based on this architecture. We also discuss experience to date using and experimenting with our prototype system.

关键词： Network servers Computer network management distributed computing Thermal management Computer science Prototypes Open systems Computer networks Communication networks Operating systems

来源：评论

学校读者我要写书评

暂无评论

Developing reliable applications on cluster systems

Developing reliable applications on cluster systems

引用

Reliable distributed systems

作者： Yennun Huang Bell Laboratories Murray Hill NJ USA

ISBN: (纸本)0818674814

A cluster is a group of computers which are loosely connected together to provide fast and reliable services. There have been many applications built on cluster systems.such as distributed/parallel database applications, telecommunication systems.and, recently, internet/intranet servers. Cluster systems.can deliver similar or better performance and reliability than traditional mainframes, supercomputers and fault-tolerant systems.with a much lower hardware cost.

关键词： Application software distributed computing Middleware Computerized monitoring Resource management File servers Telecommunication computing Fault tolerant systems Image restoration Maintenance

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共37页 << < 15 16 17 18 19 20 21 22 23 24 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：