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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

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

馆藏范围

348 篇 电子文献
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

语言

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

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

共 351 条记录，以下是141-150 订阅

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

详细简洁

排序：

Scalable stability detection using logical hypercube

Scalable stability detection using logical hypercube

引用

Reliable distributed systems

作者： R. Friedman S. Manor K. Guo Department of Computer Science Technion-Israel Institute of Technology Haifa Israel Bell Laboratories Networking Software Research Holmdel NJ USA

This paper proposes to use a logical hypercube structure for detecting message stability in distributed systems. In particular, a stability detection protocol that uses such a superimposed logical structure is presented, and its scalability is compared with other known stability detection protocols. The main benefits of the logical hypercube approach are scalability, fault-tolerance, and refraining from overloading a single node or link in the system. These benefits become evident both by an analytical comparison and by simulations. Another important feature of the logical hypercube approach is that the performance of the protocol is in general not sensitive to the topology of the underlying physical network.

关键词： Stability Hypercubes Multicast protocols Scalability Network topology Telecommunication network reliability Middleware Analytical models Computer science Communication standards

来源：评论

学校读者我要写书评

暂无评论

Autonomous disks for advanced database applications

Autonomous disks for advanced database applications

引用

International symposium on database Applications in Non-Traditional Environments, DANTE

作者： H. Yokota Department of Computer Science Tokyo Institute of Technology

The scalability and reliability of secondary storage systems.are their most significant aspects for advanced database applications. Research on high-function disks has recently attracted a great deal of attention because technological progress now allows disk-resident data processing. This capability is not only useful for executing application programs on the disk, but is also suited for controlling distributed disks so they are scalable and reliable. We propose autonomous disks in the network environment by using the disk-resident data processing facility. A set of autonomous disks is configured as a cluster in a network, and data is distributed within the cluster, to be accessed uniformly by using a distributed directory. The disks accept simultaneous accesses from multiple hosts via a network, and handle data distribution and load skews. They are also able to tolerate disk failures and some software errors of disk controllers, and can reconfigure the cluster after the damaged disks are repaired. The data distribution, skew handling, and fault tolerance are completely transparent to hosts. The local communication means the size of the cluster is scalable. Autonomous disks are applicable to many advanced applications, such as a large Web server having many HTML files. We also propose to use rules to implement these functions, and we demonstrate their flexibility by examples of rules.

关键词： databases Data processing Scalability distributed control Error correction Communication system control Fault tolerance Application software Web server HTML

来源：评论

学校读者我要写书评

暂无评论

A protocol architecture for guaranteed quality of service in collaborated multimedia applications

A protocol architecture for guaranteed quality of service in...

引用

IEEE Workshop on Application-Specific software Engineering Technolog (ASSET)

作者： A. Bashandy R. Paul S. Baqai S. Sedigh H. Fahmi A. Ghafoor School of Electrical & Computer Engineering Purdue University West Lafayette IN USA T and E/OSD Washington D.C. DC USA

The role of multimedia applications in our day-to-day life has dramatically increased in the last few years. In this paper, we present an architectural framework for the distributed multimedia systems. The architecture consists of three layers: the application layer, the configuration and synchronization layer, and the network layer. The three layers are backed up by two backbone layers, namely, the database and the computational backbone. We present a precise description of each layer together with formal specifications using finite state automata.

关键词： Protocols Quality of service Collaboration Application software Multimedia systems Spine Computer architecture Automata Multimedia databases distributed computing

来源：评论

学校读者我要写书评

暂无评论

Issues in the next generation of dependability standards

Issues in the next generation of dependability standards

引用

proceedings of the 1998 9th International symposium on software reliability Engineering, ISSRE

作者： Schneidewind, Norman Laprie, Jean-Claude Nikora, Allen Lyu, Michael Musa, John Everett, Bill Naval Postgraduate Sch

Existing IEEE software reliability standards do not address the characteristics of distributed systems. including client-server systems. Furthermore, these standards were issued before the widespread application of COTS and safety-critical systems. In addition, these standards do not take into account the influence on reliability of such process improvement measures as inspections, reuse, and object-oriented design paradigms. Lastly, these standards do not consider both hardware and software reliability nor do they include availability and maintainability. To be of value, the next generation of dependability standards must address these deficiencies. With the active participation of the audience, the panel will identify and debate the future direction of dependability standards.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

proceedings of the 1997 17th IEEE/NPSS symposium on Fusion Engineering. Part 1 (of 2)

作者： Penaflor, B.G. McHarg Jr., B.B. Piglowski, D. General Atomics San Diego United States

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.

关键词： Tokamak devices

来源：评论

学校读者我要写书评

暂无评论

MEADEP and its applications in evaluating dependability for air traffic control systems

MEADEP and its applications in evaluating dependability for ...

引用

proceedings of the 1998 reliability and Maintainability symposium

作者： Tang, Dong Hecht, Myron Handal, Jady Czekalski, Loni SoHaR Inc Beverly Hills United States

MEADEP is a user-friendly dependability evaluation tool for measurement-based analysis of computing systems.including both hardware and software. Features of MEADEP are: a data processor for converting data in various formats (records with a number of fields stored in a commercial database format) to the MEADEP format, a statistical analysis module for graphical data presentation and parameter estimation, a graphical modeling interface for constructing reliability block and Markov diagrams, and a model solution module for availability/reliability calculation with graphical parametric analysis. Use of the tool on failure data from measurements can provide quantitative assessments of dependability for critical systems. while greatly reducing requirements for specialized skills in data processing, analysis, and modeling from the user. MEADEP has been applied to evaluate dependability for several air traffic control systems.(ATC) and results produced by MEADEP have provided valuable feedback to the program management of these critical systems.

关键词： Computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

Advances in data acquisition maintainability, scalability, reliability, and dependability under NPRIME

Advances in data acquisition maintainability, scalability, r...

引用

proceedings of the 1998 44th International Instrumentation symposium

作者： Lau, Larry Y. Burnett, Tom Bangert, Louis F. NASA Ames Research Cent Moffett Field United States

With the growing dependence on distributed systems.technology throughout the business world, it became clear that issues regarding scalability, reliability, and maintainability would improve the need for systems.dependability and ease of operation. This paper introduces the implementation and use of the industry standard Simple Network Management Protocol (SNMP) and its related Management Information Base (MIB) into the NFAC Parametric Realtime Information Management Enterprise, NPRIME, software architecture and how its used to manage a deployed system for a wind-tunnel test. The paper will describe the necessary SNMP running agents and view objects used to update near real-time graphical displays developed through MicroSoft's visual C++ under Windows 95 and NT. In addition, the paper presents how application level programmers can repartition their software under NPRIME by redistributing their executables within a heterogeneous distributed environment after editing an ASCII system configuration specification file among a variety of systems. This would allow users to redistribute software load among multiple systems.without the need for expensive code changes. This design has the inherent advantage to ensure reliability for handling peak loads gracefully and with ease;and introduce fault tolerance and recovery as a result of multiplicity of resources.

关键词： Management information systems

来源：评论

学校读者我要写书评

暂无评论

A modular implementation model of the Primary-Shadow TMO replication scheme and a testing approach using a real-time environment simulator

A modular implementation model of the Primary-Shadow TMO rep...

引用

International symposium on software reliability Engineering (ISSRE)

作者： K.H. Kim C. Subbaraman University of California Irvine CA USA Microsoft Corporation Seattle WA USA

An extension of the conventional object structuring approach, called the TMO structuring scheme, has been formulated as a unified scheme for object oriented structuring of both real time and non real time applications while enabling the system designer to provide design time guarantees of timely service capabilities of the objects designed. In another area, the DRB/PSP scheme has been established as a concrete scheme for achieving scalable time bounded fault tolerance for both software and hardware faults in distributed and parallel computer systems. A recent integration of the TMO structuring scheme and the basic principle of the DRB/PSP scheme is the primary shadow TMO replication (PSTR) scheme. The TMO scheme and the PSTR scheme present good potentials for realizing a quantum jump in design productivity and system reliability in the real time distributed computing application field. We first present a modular implementation model of the PSTR scheme that can be incorporated into most commercial real time operating systems. This modular implementation model is amenable to a rigorous analysis of the recovery time bounds, a measure of great importance in complex systems. In addition, a new style of testing both control algorithms and time bounded fault tolerance protocols by use of real time simulation components is presented. The implementation model and the testing approach have been validated by a non trivial experiment.

关键词： Object oriented modeling Real time systems distributed computing Testing Application software Concrete Fault tolerant systems Hardware Concurrent computing Quantum computing

来源：评论

学校读者我要写书评

暂无评论

Action models: a reliability modeling formalism for fault-tolerant distributed computing systems

Action models: a reliability modeling formalism for fault-to...

引用

International Computer Performance and Dependability symposium

作者： A.P.A. van Moorsel Distributed Software Research Department Bell Laboratories Research Lucent Technologies Murray Hill NJ USA

Modern-day computing system design and development is characterized by increasing system complexity and ever shortening time to market. For modeling techniques to be deployed successfully, they must conveniently deal with complex system models, and must be quick and easy to use by non-specialists. In this paper we introduce "action models", a modeling formalism that tries to achieve the above goals for reliability evaluation of fault-tolerant distributed computing systems. including both software and hardware in the analysis. The metric of interest in action models is the job success probability, and we will argue why the traditional availability metric is insufficient for the evaluation of fault-tolerant distributed systems. We formally specify action models, and introduce path-based solution algorithms to deal with the potential solution complexity of created models. In addition, we show several examples of action models, and use a preliminary tool implementation to obtain reliability results for a reliable clustered computing platform.

关键词： Fault tolerant systems distributed computing Time to market Fault trees Stochastic systems Petri nets Telecommunication switching Hardware Availability Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

MEADEP and its applications in evaluating dependability for air traffic control systems

MEADEP and its applications in evaluating dependability for ...

引用

Annual symposium on reliability and Maintainability (RAMS)

作者： Dong Tang M. Hecht J. Handal L. Czekalski SoHaR Inc.orporated Beverly Hills USA Federal Aviation Administration Washington D.C. DC USA

MEADEP (measure dependability) is a user-friendly dependability evaluation tool for measurement-based analysis of computing systems.including both hardware and software. Features of MEADEP are: a data processor for converting data in various formats (records with a number of fields stored in a commercial database format) to the MEADEP format, a statistical analysis module for graphical data presentation and parameter estimation, a graphical modeling interface for constructing reliability block and Markov diagrams, and a model solution module for availability/reliability calculation with graphical parametric analysis. Use of the tool on failure data from measurements can provide quantitative assessments of dependability for critical systems. while greatly reducing requirements for specialized skills in data processing, analysis, and modeling from the user. MEADEP has been applied to evaluate dependability for several air traffic control systems.(ATC) and results produced by MEADEP have provided valuable feedback to the program management of these critical systems.

关键词： software measurement Application software Hardware software tools Spatial databases Statistical analysis Parameter estimation Availability Data processing Data analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共36页 << < 11 12 13 14 15 16 17 18 19 20 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：