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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Experience Report: Verifying Data Interaction Coverage to Improve Testing of Data-intensive systems 25

Experience Report: Verifying Data Interaction Coverage to Im...

引用

25th IEEE International symposium on software reliability Engineering (ISSRE)

作者： Sen, Sagar Ieva, Carlo Sarkar, Arnab Sander, Atle Grime, Astrid Certus V&V Ctr Simula Res Lab Oslo Norway Directorate Norwegian Customs & Excise Oslo Norway

ISBN: (纸本)9781479960323

Testing data-intensive systems.is paramount to increase our reliance on information processed in e-governance, scientific/medical research, and social networks. A common practice in the industrial testing process is to use test databases copied from live production streams to test functionality of complex database applications that manage well-formedness of data and its adherence to business rules in these systems. This practice is often based on the assumption that the test database adequately covers realistic scenarios to test, hopefully, all functionality in these applications. There is a need to systematically evaluate this assumption. We present a tool-supported method to model realistic scenarios and verify whether copied test databases actually cover them and consequently facilitate adequate testing. We conceptualize realistic scenarios as data interactions between fields cross-cutting a complex database schema and model them as test cases in a classification tree model. We present a human-in-the-loop tool, DEPICT, that uses the classification tree model as input to (a) facilitate interactive selection of a connected subgraph from often many possible paths of interactions between tables specified in the model (b) automatically generate SQL queries to create an inner join between tables in the connected subgraph (c) extract records from the join and generate a visual report of satisfied and unsatisfied interactions hence quantifying test adequacy of the test database. We report our experience as a qualitative evaluation of approach and with a large industrial database from the Norwegian Customs and Excise information system TVINN featuring large and complex databases with millions of records.

关键词： Business Data models databases Finance Industries Manuals Testing classification tree modelling coverage data interaction data-intensive systems relational databases testing database sort tree structure data models Relational databases Business Coverage Customs customs excise financing industries

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A Systematic Differential Analysis for Fast and Robust Detection of software Aging 33

A Systematic Differential Analysis for Fast and Robust Detec...

引用

IEEE 33rd International symposium on Reliable distributed systems

作者： Matias, Rivalino, Jr. Andrzejak, Artur Machida, Fumio Elias, Diego Trivedi, Kishor Univ Fed Uberlandia Uberlandia MG Brazil Heidelberg Univ Heidelberg Germany NEC Knowledge Discovery Res Labs Kawasaki Kanagawa Japan Duke Univ Durham NC 27706 USA

ISBN: (纸本)9781479955848

software systems.running continuously for a long time often confront software aging, which is the phenomenon of progressive degradation of execution environment caused by latent software faults. Removal of such faults in software development process is a crucial issue for system reliability. A known major obstacle is typically the large latency to discover the existence of software aging. We propose a systematic approach to detect software aging which has shorter test time and higher accuracy compared to traditional aging detection via stress testing and trend detection. The approach is based on a differential analysis where a software version under test is compared against a previous version in terms of behavioral changes of resource metrics. A key instrument adopted is a divergence chart, which expresses time-dependent differences between two signals. Our experimental study focuses on memory-leak detection and evaluates divergence charts computed using multiple statistical techniques paired with application-level memory related metrics (RSS and Heap Usage). The results show that the proposed method achieves good performance for memory-leak detection in comparison to techniques widely adopted in previous works (e.g., linear regression, moving average and median).

关键词： anomaly detection memory leak software aging

来源：评论

学校读者我要写书评

暂无评论

FullReview: Practical Accountability in Presence of Selfish Nodes 33

<i>FullReview</i>: Practical Accountability in Presence of S...

引用

IEEE 33rd International symposium on Reliable distributed systems

作者： Diarra, Amadou Ben Mokhtar, Sonia Aublin, Pierre-Louis Quema, Vivien Grenoble Univ Grenoble France CNRS LIRIS Lyon France Grenoble INP Grenoble France

ISBN: (纸本)9781479955848

Accountability is becoming increasingly required in today's distributed systems. Indeed, accountability allows not only to detect faults but also to build provable evidence about the misbehaving participants of a distributed system. There exists a number of solutions to enforce accountability in distributed systems. among which PeerReview is the only solution that is not specific to a given application and that does not rely on any special hardware. However, this protocol is not resilient to selfish nodes, i.e. nodes that aim at maximising their benefit without contributing their fair share to the system. Our objective in this paper is to provide a software solution to enforce accountability on any underlying application in presence of selfish nodes. To tackle this problem, we propose the FullReview protocol. FullReview relies on game theory by embedding incentives that force nodes to stick to the protocol. We theoretically prove that our protocol is a Nash equilibrium, i.e. that nodes do not have any interest in deviating from it. Furthermore, we practically evaluate FullReview by deploying it for enforcing accountability in two applications: (1) SplitStream, an efficient multicast protocol, and (2) Onion routing, the most widely used anonymous communication protocol. Performance evaluation shows that FullReview effectively detects faults in presence of selfish nodes while incurring a small overhead compared to PeerReview and scaling as PeerReview.

关键词： Force Hardware Monitoring Peer-to-peer computing Protocols Routing software distributed systems Nash equilibrium accountability incentives selfish nodes Accountability distributed systems Nash equilibrium Peer to peer computing protocols Ganglia Computer hardware Network routing incentives Force computer software software solution

来源：评论

学校读者我要写书评

暂无评论

Preventing state divergence in replicated distributed programs

Preventing state divergence in replicated distributed progra...

引用

proceedings of the 9th symposium on Reliable distributed systems

作者： Tully, Alan Shrivastava, Santosh K. Comput Lab Univ of Newcastle upon Tyne UK

Replicated execution of distributed programs, which provides a means of masking hardware (processor) failures in a distributed system, is discussed. Application-level entities (processes, objects) are replicated to execute on distinct processors. Such replica entities communicate by message passing. Nondeterminism within the replicas could cause messages to be processed in nonidentical order, producing a divergence of state. Possible sources of nondeterminism are identified, and a generic mechanism for ensuring that nonfaulty replicas process messages in identical order, thereby preventing state divergence among such replicate entities, is presented.

关键词： Computer systems.Programming

来源：评论

学校读者我要写书评

暂无评论

Checkpointing and rollback recovery in a distributed system using common time base

Checkpointing and rollback recovery in a distributed system ...

引用

Seventh symposium on Reliable distributed systems. proceedings

作者： Ramanathan, P. Shin, Kang G. Univ of Michigan Ann Arbor MI USA

ISBN: (纸本)0818608757

An approach to checkpointing and rollback recovery in a distributed computing system using a common time base is proposed. First, a common time base is established in the system using a hardware clock synchronization algorithm. This common time base is coupled with a pseudorecovery block approach to develop a checkpointing algorithm that has the following advantages: (i) maximum process autonomy, (ii) no wait for commitment for establishing recovery lines, (iii) fewer messages to be exchanged, and (iv) less memory requirement.

关键词： Computer systems. Digital

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A case study in testing distributed systems 3

A case study in testing distributed systems

引用

3rd International symposium on distributed Objects and Applications

作者： Long, B Strooper, P Univ Queensland Sch Elect Engn & Comp Sci Software Verificat Res Ctr Brisbane Qld 4072 Australia

ISBN: (纸本)076951300X

This paper describes a case study in the testing of distributed systems. The software under testis a middleware system developed in Java. The full test life cycle is examined including unit testing, integration testing, and system testing. Where possible, traditional tools and techniques are used to carry out the testing. One aspect where this is not possible is the testing of the low-level concurrency, which is often overlooked when testing commercial distributed systems. since the middleware or application server is already developed by a third-party and is assumed to operate correctly. This paper examines testing the middleware system itself and therefore, a method for testing the concurrency properties of the system is used. The testing revealed a number of faults and design weaknesses, and showed that, with some adaptation, traditional tools and techniques go a long way in the testing of distributed applications.

关键词： Integration testing

来源：评论

学校读者我要写书评

暂无评论

A comparison of voting strategies for fault-tolerant distributed systems

A comparison of voting strategies for fault-tolerant distrib...

引用

proceedings of the 9th symposium on Reliable distributed systems

作者： Blough, Douglas M. Sullivan, Gregory F. Dept of Electr & Comput Eng Univ of California Irvine CA USA

The problem of voting is studied for both the exact and inexact cases. Optimal solutions based on explicit computation of condition probabilities are given. The most commonly used strategies, i.e., majority, median, and plurality are compared quantitatively. The results show that plurality voting is the most powerful of these techniques and is, in fact, optimal for a certain class of probability distributions. An efficient method of implementing a generalized plurality voter when nonfaulty processes can produce differing answers is also given.

关键词： Computer systems. Digital

来源：评论

学校读者我要写书评

暂无评论

Fault tolerant distributed database system via data inference

Fault tolerant distributed database system via data inferenc...

引用

proceedings of the 9th symposium on Reliable distributed systems

作者： Chu, Wesley W. Hwang, Andy Y. Lee, Rei-Chi Chen, Qiming Merzbacher, Matthew Hecht, Herbert Comput Sci Dept Univ of California Los Angeles CA USA

A knowledge-based approach for query processing during network partitioning is proposed. The approach uses available domain and summary knowledge to infer inaccessible data to answer a given query. A rule induction technique is used to extract correlated knowledge between attributes from the database contents. This knowledge is represented as rules for data inference. On the basis of a set of queries, simulation is used to evaluate the effectiveness of the proposed data inference technique for improving data availability under network partitioning. Object allocation has a significant impact on data availability. Allocating objects that increase remote redundancy and reduce local redundancy increases data availability during network partitioning. A prototype distributed database system that uses the proposed inference technique with correlated knowledge from a ship database has been implemented. Experience indicates that the proposed inference technique can significantly improve the availability of a distributed database during network partitioning.

关键词： database systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：