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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Middleware 2017 - proceedings of the 2017 Middleware Doctoral symposium of the 18th International Middleware Conference

Middleware 2017 - Proceedings of the 2017 Middleware Doctora...

引用

2017 Middleware Doctoral symposium of the 18th ACM/IFIP/USENIX International Middleware Conference, Middleware 2017

ISBN: (纸本)9781450351997

The proceedings contain 6 papers. The topics discussed include: sharing a connectivity via informed proxy selection;message-oriented middleware for edge computing applications;continuous experimentation for software developers;end-to-end regression testing for distributed systems.towards a framework for orchestrated distributed database evaluation in the cloud;toward software updates in IoT environments: why existing P2P systems.are not enough;and towards accelerating synchrophasor based linear state estimation of power grid systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An implementation of a distributed algorithm for detection of local knots and cycles in directed graphs based on the CSP model and Java 6

An implementation of a distributed algorithm for detection o...

引用

6th IEEE International Workshop on distributed Simulation and Real-Time Applications (DS-RT 2002)

作者： de Souza, GP Pfitscher, GH Univ Brasilia Dept Comp Sci BR-70910900 Brasilia DF Brazil

ISBN: (纸本)0769518532

Cycles and knots in directed graphs are problems that can be associated with deadlocks in database and communication systems. Many algorithms to detect cycles and knots in directed graphs were proposed. Boukerche and Tropper have proposed a distributed algorithm that solve the problem in a efficient away. Their algorithm has a message complexity of 2m vs. (at least) 4m for the Chandy and Misra algorithm, where in is the number of links in the graph, and requires 0 (n log n) bits of memory, where n is the number of nodes. We have implemented Boukerche and Tropper's algorithm according to the construction of processes of the CSP model. Our implementation was done. using JCSP, an implementation of CSP for Java, and the results are presented.

关键词： Algorithm design and analysis Communication systems Computer aided software engineering database systems distributed algorithms Fault tolerant systems Frequency IP networks Java System recovery

来源：评论

学校读者我要写书评

暂无评论

PRACTICALITY OF NON-INTERFERING CHECKPOINTS IN distributed database systems.

PRACTICALITY OF NON-INTERFERING CHECKPOINTS IN DISTRIBUTED D...

引用

proceedings - Real-Time systems.symposium.

作者： Son, Sang Hyuk Agrawala, Ashok Univ of Virginia Charlottesville VA USA Univ of Virginia Charlottesville VA USA

ISBN: (纸本)0818607491

The goal of checkpointing in database management systems.is to save database states on a separate secure device so that the database can be recovered when errors and failures occur. Recently, the possibility of having a checkpointing mechanism which does not interfere with the transaction processing has been studied. The property of noninterference is highly desirable in real-time applications, where restricting transaction activity during the checkpointing operation is in many cases not feasible. The practicality of a noninterfering checkpointing algorithm is studied here by analyzing the extra workload of the algorithm. The noninterfering checkpointing results in some overhead on the one hand, and increases the system availability on the other hand. For the applications where the ability of continuous processing of transactions is so critical that the blocking of transaction processing for checkpointing is not feasible, it is believed that noninterfering checkpointing provides a practical solution to the problem of constructiing globally consistent states in distributed database systems.

关键词： database systems

来源：评论

学校读者我要写书评

暂无评论

TASK RESPONSE TIME MODEL AND ITS APPLICATIONS FOR REAL-TIME distributed PROCESSING systems.

TASK RESPONSE TIME MODEL AND ITS APPLICATIONS FOR REAL-TIME ...

引用

proceedings - Real-Time systems.symposium.

作者： Chu, Wesley W. Leung, Kin K. Univ of California Computer Science Dep Los Angeles CA USA Univ of California Computer Science Dep Los Angeles CA USA

ISBN: (纸本)0818605669

An analytic model for estimating the task response in loosely coupled distributed systems.is introduced. The model considers such factors as the precedence relationships among software modules, interprocessor communication, interconnection network delay, module scheduling policy, and assignment of modules to computers. Simulation experiments are used to validate the assumptions of the analytic model. Applications of the model to the study of design issues for distributed systems.such as module assignment, precedence relationships, module scheduling policies, and database management algorithms are discussed.

关键词： database systems

来源：评论

学校读者我要写书评

暂无评论

Improving reliability of Deduplication-based Storage systems.with Per-File Parity 37

Improving Reliability of Deduplication-based Storage Systems...

引用

37th IEEE International symposium on Reliable distributed systems.(SRDS)

作者： Wu, Suzhen Luan, Huagao Mao, Bo Jiang, Hong Niu, Gen Rao, Hui Yu, Fang Zhou, Jindong Xiamen Univ Comp Sci Dept Xiamen Peoples R China Xiamen Univ Software Sch Xiamen Peoples R China Univ Texas Arlington Dept Comp Sci & Engn Arlington TX 76019 USA

ISBN: (纸本)9781538683019

The reliability issue in deduplication-based storage systems.has not received adequate attention. Existing approaches introduce data redundancy after files have been deduplicated, either by replication on critical data chunks, i.e., chunks with high reference count, or RAID schemes on unique data chunks, which means that these schemes are based on individual unique data chunks rather than individual files. This can leave individual files vulnerable to losses, particularly in the presence of transient and unrecoverable data chunk errors such as latent sector errors. To address this file reliability issue, this paper proposes a Per-File Parity (short for PFP) scheme to improve the reliability of deduplication-based storage systems. PFP computes the XOR parity within parity groups of data chunks of each file after the chunking process but before the data chunks are deduplicated. Therefore, PFP can provide parity redundancy protection for all files by intra-file recovery and a higher-level protection for data chunks with high reference counts by inter-file recovery. Our reliability analysis and extensive data-driven, failure-injection based experiments conducted on a prototype implementation of PFP show that PFP significantly outperforms the existing redundancy solutions, DTR and RCR, in system reliability, tolerating multiple data chunk failures and guaranteeing file availability upon multiple data chunk failures. Moreover, a performance evaluation shows that PFP only incurs an average of 5.7% performance degradation to the deduplication-based storage system.

关键词： Data Deduplication reliability Per-File Parity Intra-File Recovery Inter-File Recovery

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of reliable distributed operating system--ROSE

The design and implementation of reliable distributed operat...

引用

proceedings of the 9th symposium on Reliable distributed systems

作者： Ng, Tony P. Dept of Comput Sci Univ of Illinois at Urbana-Champaign IL USA

ROSE, a modular distributed operating system that provides support for building reliable applications, is designed and implemented. Failure detection capabilities are provided by a failure detection server. Configuration objects can be used to capture the relationship among multiple processes that cooperate to replicate certain resources. Replicated address space (RAS) objects, whose content is accessible with a high probability despite hardware failures, can be used to increase data availability. Finally, a resistant process (RP) abstraction allows user processes to survive hardware failures with minimal interruption. Two different implementations of RP are provided: one checkpoints the information about its state in an RAS object periodically;the other uses replicated execution by executing the same code in different nodes at the same time.

关键词： Computer Operating systems

来源：评论

学校读者我要写书评

暂无评论

Evaluating database-oriented replication schemes in software Transactional Memory systems

Evaluating database-oriented replication schemes in Software...

引用

2010 IEEE International symposium on Parallel and distributed Processing, Workshops and Phd Forum, IPDPSW 2010

作者： Palmieri, Roberto Quaglia, Francesco Romano, Paolo Carvalho, Nuno DIS Sapienza University Rome Italy INESC-ID Lisbon Portugal

ISBN: (纸本)9781424465347

software Transactional Memories (STMs) are emerging as a highly attractive programming model, thanks to their ability to mask concurrency management issues to the overlying applications. In this paper we are interested in dependability of STM systems.via replication. In particular we present an extensive simulation study aimed at assessing the efficiency of some recently proposed database-oriented replication schemes, when employed in the context of STM systems. Our results point out the limited efficiency and scalability of these schemes, highlighting the need for redesigning ad-hoc solutions well fitting the requirements of STM environments. Possible directions for the re-design process are also discussed and supported by some early quantitative data. © 2010 IEEE.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

Formalising replicated distributed processing

Formalising replicated distributed processing

引用

Proceedigs of the 10th symposium on Reliable distributed systems

作者： Koutny, Maciej Mancini, Luigi V. Pappalardo, Giuseppe Comput Lab Univ Newcastle upon Tyne UK

ISBN: (纸本)0818622601

The authors present a novel formal approach to proving the correctness of distributed systems.of replicated processes that commuicate by message passing. The notion of correctness introduced is based on the consistency of the replicated system with its nonreplicated counterpart. The formal framework of CSP (communicating sequential processes) allows the proof of partial correctness and deadlock-freedom properties of the systems.of replicated processes. The authors also discuss how a replicated process may be implemented by N-base copies, a majority of which are non-faulty, and point out the necessity of coordinating the copies and the requirements they should satsify.

关键词： Computer systems. Digital

来源：评论

学校读者我要写书评

暂无评论

In-ConcReTeS: Interactive Consistency meets distributed Real-Time systems. Again! 43

In-ConcReTeS: Interactive Consistency meets Distributed Real...

引用

43rd IEEE Real-Time systems.symposium (RTSS)

作者： Gujarati, Arpan Yang, Ningfeng Brandenburg, Bjoern B. Univ British Columbia UBC Vancouver BC Canada Max Planck Inst Software Syst MPI SWS Kaiserslautern Germany

ISBN: (数字)9781665453462

ISBN: (纸本)9781665453462

The problem of replica coordination is fundamental to building Byzantine fault-tolerant (BFT) distributed systems. Seminal BFT architectures for safety-critical real-time systems.from the eighties and nineties relied on custom processors and networks, and are hence not readily usable today. Modern-day deployments on cloud platforms do not "scale down" to embedded platforms and are not designed around timeliness. Recent work on real-time BFT protocols focuses on simulations and reliability analyses. In short, there exist no easily programmable BFT libraries that can be conveniently retrofitted onto real-time applications with deadlines and that perform well on embedded platforms. We propose In-ConcReTeS, a BFT key-value store designed for building highly reliable control applications on commodity embedded platforms. At its core, In-ConcReTeS is a real-time friendly redesign and an efficient implementation of a BFT protocol used by seminal fault-tolerant architectures. We evaluated In-ConcReTeS using an inverted pendulum simulation and an automotive benchmark on a cluster of four Raspberry Pis connected over Ethernet. Our results show that, unlike Redis and etcd, In-ConcReTeS can repeatedly synchronize hundreds of key-value pairs, while tolerating faults, every tens of milliseconds.

关键词： Fault tolerance Protocols Program processors Architecture Fault tolerant systems Buildings reliability engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：