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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Robustness testing of a distributed simulation backplane

Robustness testing of a distributed simulation backplane

引用

proceedings of the 1999 10th International symposium on software reliability Engineering, ISSRE'99

作者： Fernsler, Kimberly Koopman, Philip IBM Corp Austin United States

Creating robust software requires not only careful specification and implementation, but also quantitative measurement. This paper describes Ballista exception handling testing of the High Level Architecture Run-Time Infrastructure (HLA RTI). The RTI is a standard distributed simulation system intended to provide completely robust exception handling, yet implementations have normalized robustness failure rates as high as 10%. Non-robust testing responses include exception handler crashes, segmentation violations, `unknown' exceptions, and task hangs. Other issues include different robustness failure modes across ports to two operating systems. and mandatory client machine rebooting after a particular RTI failure. Testing the RTI led to scalable extensions of the Ballista architecture for handling exception-based error reporting models, testing object-oriented software structures (including call-backs, pass by reference, and constructors), and operating in a state-rich, distributed system environment. These results demonstrate that robustness testing can provide useful feedback to high-quality software development processes, and can be applied to domains well beyond the previous work on testing operating 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

来源：评论

学校读者我要写书评

暂无评论

RECOVERY ALGORITHM FOR A distributed database SYSTEM.

引用

proceedings of the Second ACM SIGACT-SIGMOD symposium on Principles of database systems.

作者： Goodman, Nathan Skeen, Dale Chan, Arvola Dayal, Umeshwar Fox, Stephen Ries, Daniel Computer Corp of America Cambridge MA USA Computer Corp of America Cambridge MA USA

ISBN: (纸本)0897910974

We describe a reliability algorithm being considered for DDM, a distributed database system under development at Computer Corporation of America. The algorithm is designed to tolerate clean site failures in which sites simply stop running. The algorithm allows the system to reconfigure itself to run correctly as sites fail and recover. The algorithm solves the subproblems of atomic commit and replicated data handling in an integrated manner.

关键词： database systems

来源：评论

学校读者我要写书评

暂无评论

Model-Checking Assisted Protocol Design for Ultra-Reliable Low-Latency Wireless Networks 35

Model-Checking Assisted Protocol Design for Ultra-Reliable L...

引用

35th IEEE International symposium on Reliable distributed systems.Workshops (SRDSW)

作者： Dombrowski, Christian Junges, Sebastian Katoen, Joost-Pieter Gross, James Rhein Westfal TH Aachen Commun & Distributed Syst Aachen Germany Rhein Westfal TH Aachen Software Modeling & Verificat Aachen Germany KTH Royal Inst Technol Sch Elect Engn Stockholm Sweden

ISBN: (纸本)9781509035137

Recently, the wireless networking community is getting more and more interested in novel protocol designs for safety-critical applications. These new applications come with unprecedented latency and reliability constraints which poses many open challenges. A particularly important one relates to the question how to develop such systems. Traditionally, development of wireless systems.has mainly relied on simulations to identify viable architectures. However, in this case the drawbacks of simulations - in particular increasing run-times - rule out its application. Instead, in this paper we propose to use probabilistic model checking, a formal model-based verification technique, to evaluate different system variants during the design phase. Apart from allowing evaluations and therefore design iterations with much smaller periods, probabilistic model checking provides bounds on the reliability of the considered design choices. We demonstrate these salient features with respect to the novel EchoRing protocol, which is a token-based system designed for safety-critical industrial applications. Several mechanisms for dealing with a token loss are modeled and evaluated through probabilistic model checking, showing its potential as suitable evaluation tool for such novel wireless protocols. In particular, we show by probabilistic model checking that wireless token-passing systems.can benefit tremendously from the considered fault-tolerant methods. The obtained performance guarantees for the different mechanisms even provide reasonable bounds for experimental results obtained from a real-world implementation.

关键词： Model checking Probabilistic timed automata Token passing Tool-assisted protocol design Validation Wireless Industrial Networks

来源：评论

学校读者我要写书评

暂无评论

Parallel visual information retrieval in VizIR

Parallel visual information retrieval in VizIR

引用

Conference on Internet Multimedia Management systems.V

作者： Eidenberger, H Vienna Univ Technol Inst Software Technol & Ineteract Syst A-1040 Vienna Austria

ISBN: (纸本)0819455547

This paper describes how parallel retrieval is implemented in the content-based visual information retrieval framework VizIR. Generally, two major use cases for parallelisation exist in visual retrieval systems. distributed querying and simultaneous multi-user querying. distributed querying includes parallel query execution and querying multiple databases. Content-based querying is a two-step process: transformation of feature space to distance space using distance measures and selection of result set elements from distance space. Parallel distance measurement is implemented by sharing example media and query parameters between querying threads. In VizIR, parallelisation is heavily based on caching strategies. Querying multiple distributed databases is already supported by standard relational database management systems. The most relevant issues here are error handling and minimisation of network bandwidth consumption. Moreover, we describe strategies for distributed similarity measurement and content-based indexing. Simultaneous multi-user querying raises problems such as caching of querying results and usage of relevance feedback and user preferences for query refinement. We propose a 'real' multi-user querying environment that allows users to interact in defining queries and browse through result sets simultaneously. The proposed approach opens an entirely new field of applications for visual information retrieval systems.

关键词： content-based visual information retrieval parallel query execution peer to peer networks database design distributed databases reliability

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Fast Repair for Single Failure in Erasure-coded distributed Storage systems 33

Fast Repair for Single Failure in Erasure-coded Distributed ...

引用

IEEE 33rd International symposium on Reliable distributed systems

作者： Zhang, Huayu Li, Hui Zhu, Bing Chen, Jun Peking Univ Shenzhen Grad Sch Shenzhen Engn Lab Converged Networks Technol Shenzhen Key Lab Cloud Comp Technol & Applicat Shenzhen Peoples R China

ISBN: (纸本)9781479955848

In order to guarantee data reliability in distributed storage systems. erasure codes are widely used for the desirable storage properties. Nevertheless, the codes have one drawback that overmuch data are needed to repair a failure, resulting in both large bandwidth consuming in the network and high calculation pressure on the replacement node. For repair bandwidth problem, researchers derive the tradeoff between storage and repair traffic from network coding and propose regenerating codes. However, the constructions of regenerating codes complicate the systems.as well as recovery calculation. Hence, this paper proposes a distributed repair method based on general erasure codes to mitigate the burden of both recovery computation and network traffic. We observe that distributing recovery computation among helpers can distract the whole calculation procedure and accelerate repair speed in practical systems. Furthermore, by combining this technique with network topology, we introduce a novel repair tree to minimize repair traffic. Repair tree is also derived from network coding. The performance of the repair tree is preliminarily analyzed and evaluated, which infers that the storage-bandwidth bound of regenerating codes can be broken under this model.

关键词： Repair

来源：评论

学校读者我要写书评

暂无评论

Enforcing quality of service of distributed objects

Enforcing quality of service of distributed objects

引用

proceedings of the 1997 8th International symposium on software reliability Engineering, ISSRE

作者： Avritzer, Alberto Weyuker, Elaine J. AT&T Network Computing Services Red Hill United States

Three algorithms designed to enforce different quality of service criteria are presented, as well as empirical assessments of the algorithms for three large industrial telecommunications systems. These assessments are made in terms of the simulated performance of each system on average loads selected from operational distributions collected during beta release and field use. In addition, synthetic heavy loads designed to cause the overall CPU utilization rates to exceed 90% of capacity were run. The algorithms build on previously defined load testing algorithms, and use parameters and operational distributions computed for that purpose. This makes the quality of service enforcement algorithms particularly efficient. The primary bases for the assessment of the algorithms were the overall deviation of the response time from the average, and the fraction of service requests that were throttled from clients under varying conditions.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

A fault tolerant algorithm for distributed mutual exclusion

A fault tolerant algorithm for distributed mutual exclusion

引用

proceedings of the 9th symposium on Reliable distributed systems

作者： Chang, Ye-In Singhal, Mukesh Liu, Ming T. Dept of Comput & Inf Sci Ohio State Univ Columbus OH USA

A fault-tolerant mutual exclusion algorithm for distributed systems.is presented. The algorithm uses a distributed queue strategy and maintains alternative paths at each site to provide a high degree of fault tolerance. However, owing to these alternative paths, the algorithm must use reverse messages to avoid the occurrence of directed cycles, which may form when the direction of edges is reversed after the token passes through. If there is no alternative path, the total number of the messages exchanged is O(2 × log N) in light traffic and two messages in heavy traffic;however, in this case the system cannot tolerate even a single communication link or site failure. If there are alternative paths between sites, the system can achieve a higher degree of fault tolerance at the expense of increased message traffic (owing to reverse messages). Thus, there is a tradeoff between efficiency and reliability, and a system can be designed to balance these two criteria properly. A recovery procedure for restoring a recovering site consistently into the system is also presented.

关键词： Computer systems. Digital

来源：评论

学校读者我要写书评

暂无评论

A Reactive Batching Strategy of Apache Kafka for Reliable Stream Processing in Real-time 31

A Reactive Batching Strategy of Apache Kafka for Reliable St...

引用

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

作者： Wu, Han Shang, Zhihao Peng, Guang Wolter, Katinka Free Univ Berlin Inst Informat Berlin Germany Zhengzhou Univ Sch Informat Engn Zhengzhou Henan Peoples R China

ISBN: (纸本)9781728198705

Modern stream processing systems.need to process large volumes of data in real-time. Various stream processing frameworks have been developed and messaging systems.are widely applied to transfer streaming data among different applications. As a distributed messaging system with growing popularity, Apache Kafka processes streaming data in small batches for efficiency. However, the robustness of Kafka's batching method against variable operating conditions is not known. In this paper we study the impact of the batch size on the performance of Kafka. Both configuration parameters, the spatial and temporal batch size, are considered. We build a Kafka testbed using Docker containers to analyze the distribution of Kafka's end-to-end latency. The experimental results indicate that evaluating the mean latency only is unreliable in the context of real-time systems. In the experiments where network faults are injected, we find that the batch size affects the message loss rate in the presence of an unstable network connection. However, allocating resources for message processing and delivery that will violate the reliability requirements implemented as latency constraints of a real-time system is inefficient To address these challenges we propose a reactive batching strategy. We evaluate our batching strategy in both good and poor network conditions. The results show that the strategy is powerful enough to meet both latency and throughput constraints even when network conditions are variable.

关键词： Stream processing reliability Real-time Performance Apache Kafka Docker

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共37页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：