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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,388 篇 会议
32 篇 期刊文献
3 册 图书

馆藏范围

1,423 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

531 篇 工学
- 505 篇 计算机科学与技术...
- 221 篇 软件工程
- 65 篇 电气工程
- 40 篇 控制科学与工程
- 39 篇 信息与通信工程
- 12 篇 机械工程
- 8 篇 安全科学与工程
- 6 篇 建筑学
- 5 篇 仪器科学与技术
- 4 篇 光学工程
- 4 篇 电子科学与技术（可...
- 4 篇 土木工程
- 4 篇 核科学与技术
- 4 篇 生物工程
- 4 篇 网络空间安全
- 3 篇 动力工程及工程热...
- 3 篇 石油与天然气工程
- 3 篇 交通运输工程
- 3 篇 生物医学工程（可授...
- 2 篇 冶金工程
155 篇 管理学
- 132 篇 管理科学与工程(可...
- 28 篇 工商管理
- 23 篇 图书情报与档案管...
60 篇 理学
- 40 篇 数学
- 9 篇 物理学
- 9 篇 系统科学
- 8 篇 统计学（可授理学、...
- 4 篇 生物学
7 篇 经济学
- 7 篇 应用经济学
4 篇 医学
- 3 篇 临床医学
2 篇 军事学
1 篇 法学

主题

444 篇 real time system...
413 篇 distributed comp...
324 篇 object oriented ...
188 篇 application soft...
154 篇 middleware
132 篇 computer archite...
112 篇 embedded system
108 篇 timing
102 篇 java
96 篇 computer science
93 篇 hardware
91 篇 computational mo...
86 篇 operating system...
85 篇 unified modeling...
84 篇 quality of servi...
78 篇 protocols
75 篇 fault tolerance
74 篇 concurrent compu...
70 篇 real-time system...
68 篇 object oriented ...

机构

14 篇 konkuk universit...
13 篇 university of ca...
9 篇 university of ca...
8 篇 mitre corporatio...
7 篇 tokyo denki univ...
6 篇 hankuk universit...
6 篇 irisa rennes
5 篇 department of el...
5 篇 school of comput...
5 篇 graduate school ...
5 篇 octopath corpora...
5 篇 univ calif irvin...
4 篇 objec time limit...
4 篇 college of compu...
4 篇 aerospace corpor...
4 篇 school of comput...
4 篇 department of in...
4 篇 department of co...
4 篇 mitre corporatio...
4 篇 univ calif irvin...

作者

38 篇 k.h. kim
13 篇 m. takizawa
11 篇 c.e. pereira
11 篇 kim kh
9 篇 aniruddha gokhal...
9 篇 martin schoeberl
8 篇 gokhale aniruddh...
8 篇 a. wellings
8 篇 doo-hyun kim
8 篇 kim k.h.
8 篇 h. kopetz
8 篇 moon hae kim
7 篇 d.c. schmidt
7 篇 jie xu
7 篇 l.b. becker
7 篇 douglas c. schmi...
6 篇 uwe brinkschulte
6 篇 t. enokido
6 篇 yunmook nah
6 篇 kim k. h. (kane)

语言

1,422 篇 英文
1 篇 其他
1 篇 中文

检索条件"任意字段=International Symposium on Object-Oriented Real-Time Distributed Computing"

共 1423 条记录，以下是621-630 订阅

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

详细简洁

排序：

Dynamic real-time reconfiguration in distributed systems: timing issues and solutions

Dynamic real-time reconfiguration in distributed systems: ti...

引用

international symposium on object-oriented real-time distributed computing

作者： U. Brinkschulte E. Schneider F. Picioroaga University of Karlsruhe Karlsruhe Germany

Dynamic software reconfiguration is a useful tool to adapt and maintain software systems. In most approaches, the system has to be stopped while the reconfiguration is in progress. This is not suitable for real-time systems, even on small-embedded systems. Timing constraints must be met even while the system is reconfiguring. Our approach is based on the real-time middleware OSA+. Our main objective is to be able to reconfigure services during run-time, with a predictable and predefined blackout time (the time the systems does not react due to the reconfiguration). Three different approaches concerning the blocking or non-blocking state of a service are presented. These approaches can be used to realize a tradeoff between the reconfiguration time and the blackout time.

关键词： real time systems Timing Resource management Fault tolerant systems Middleware Availability Operating systems Intellectual property distributed computing Cooling

来源：评论

学校读者我要写书评

暂无评论

The RTSC: Leveraging the Migration from Event-Triggered to time-Triggered Systems

The RTSC: Leveraging the Migration from Event-Triggered to T...

引用

international symposium on object-oriented real-time distributed computing

作者： Fabian Scheler Wolfgang Schröder-Preikschat Department of Computer Science 4-Distributed Systems and Operating Systems Friedrich-Alexander University Erlangen Nuremberg

In this paper we present a prototype of the RTSC - the real-time System Compiler. The RTSC is a compiler-based tool that leverages the migration from event-triggered to time-triggered real-time systems. For this purpose, it uses an abstraction called Atomic Basic Blocks (ABBs) which is used to capture all relevant dependencies of the event-triggered system in a so-called ABB-graph. This ABB-graph is transformed by the RTSC and finally mapped to a statically computed schedule that could be executed by standard time-triggered real-time operating systems. Moreover, we demonstrate the applicability of our approach and the operation of our prototype by transforming the event-triggered implementation of a real-world embedded system into a trime-triggered equivalent.

关键词： real time systems Prototypes Operating systems distributed computing Computer science Processor scheduling Embedded system Automatic control Space shuttles Aerospace electronics

来源：评论

学校读者我要写书评

暂无评论

Integrated Analysis of Temporal Behavior of Component-Based distributed real-time Embedded Systems

Integrated Analysis of Temporal Behavior of Component-Based ...

引用

IEEE international symposium on object/Component/Service-oriented real-time distributed computing Workshops (ISORCW)

作者： Pranav Srinivas Kumar Gabor Karsai Department of Electrical Engineering and Computer Science Vanderbilt University Nashville TN USA

Integrated analysis of temporal behavior for distributed real-time embedded (DRE) systems is an important design-time step needed to verify safe and predictable system operation at run-time. In earlier work, we have shown a Colored Petri Net-based (CPN) approach to modeling and analyzing component-based DRE systems. In this paper, we present new CPN-based modeling approaches and advanced state space methods that improve on the scalability and efficiency of the analysis. The generality of the modeling principles used show the applicability of this approach to a wide range of systems.

关键词： Analytical models Petri nets Unified modeling language real-time systems Hardware Message systems Timing

来源：评论

学校读者我要写书评

暂无评论

Advanced Protected Services - A Concept Paper on Survivable Service-oriented Systems

Advanced Protected Services - A Concept Paper on Survivable ...

引用

IEEE international symposium on object/Component/Service-oriented real-time distributed computing Workshops (ISORCW)

作者： Partha Pal Michael Atighetchi Joseph Loyall Andrew Gronosky Charles Payne Robert Hillman Information and Knowledge Technologies Unit Raytheon BBN Technologies Cambridge USA Cyber Security Group Adventium Laboratories Minneapolis USA Air Force Research Laboratory Rome USA

As newer software construction paradigms like service-oriented architecture (SOA) are adopted into systems of critical importance, it becomes imperative that technology and design artifacts exist that can be utilized to raise the resiliency and protection of such systems to a level where they can withstand sustained attacks from well-motivated adversaries. In this paper we describe a sampling of innovative services and mechanisms that are designed for the protection of systems that are based on service-oriented architectures.

关键词： Protection Service oriented architecture Paper technology USA Councils Military computing Context-aware services real time systems Laboratories Computer aided manufacturing distributed computing

来源：评论

学校读者我要写书评

暂无评论

Organic computing and Model-Driven Engineering in Embedded Systems

Organic Computing and Model-Driven Engineering in Embedded S...

引用

international symposium on object-oriented real-time distributed computing

作者： Mike Hinchey Roy Sterritt University of Ulster Jordanstown UK Lero-the Irish Software Engineering Research Centre University of Limerick Jordanstown Ireland

Model-driven engineering (MDE), and its various forms (such as OMG's MDA: model-driven architecture) is a software development methodology focusing on creating models and abstractions for a specific domain. It aims to increase productivity and avoid traditional SDLC problems by maximizing compatibility between systems, simplifying the process of design, and promoting understanding and communication between stakeholders and developers. Organic computing is a vision for a particular type of system, and considers what is to be delivered (self-management). MDE involves applied research into how to deliver systems. Both have the development of more effective systems as a high level objective, and so can be viewed as complementary.

关键词： Embedded computing Model driven engineering Embedded system Computer vision Biology computing real time systems Software engineering Computer industry Computer networks distributed computing

来源：评论

学校读者我要写书评

暂无评论

Practical considerations in making CORBA services fault-tolerant

Practical considerations in making CORBA services fault-tole...

引用

international symposium on object-oriented real-time distributed computing

作者： P. Narasimhan Institute of Software Research International School of Computer Science Carnegie Mellon University Pittsburgh PA USA

This paper examines the CORBA Naming, Event, Notification, Trading, time and Security Services, with the objective of identifying the issues that must be addressed in order make these services fault-tolerant. The reliability considerations for each of these services involves strategies for replicating the service objects, and for keeping the states of the replicas consistent. Of particular interest are the sources of non-determinism in each of these services, along with the means for addressing the non-deterministic behavior in the interests of ensuring strong fault tolerance.

关键词： Fault tolerance distributed computing Computer languages Computer science Computer security Fault diagnosis Network servers Computer architecture Program processors Java

来源：评论

学校读者我要写书评

暂无评论

distributed high performance computing in heterogeneous environments with DOTS 15

Distributed high performance computing in heterogeneous envi...

引用

15th international Parallel and distributed Processing symposium, IPDPS 2001

作者： Blochinger, W. University of Tübingen Symbolic Computation Group TübingenD-72076 Germany

ISBN: (纸本)0769509908

This paper deals with high performance computing in heterogeneous clusters using the distributed object-oriented Threads System (DOTS). DOTS is a parallelization platform that enables the programmer to build distributed parallel applications using a high level and easy-to-use parallel programming paradigm. It integrates a wide range of different systems (from realtime kernels to mainframes) into a single system environment for high performance computing. A special design focus of DOTS is to optimize usability aspects. Additionally, the paper discusses three advanced features of DOTS that especially support its deployment in heterogeneous environments for high performance computing. For defining the parallel environment and for documenting and evaluating the results of program runs an integrated XML centric approach is presented. A light-weight checkpointing mechanism which is seamlessly integrated into DOTS and especially designed for heterogeneous environments is described. DOTS is based on a highly customizable communication kernel. Run time measurements are presented that prove the efficiency of the communication kernel in heterogeneous clusters. Also, performance measurements of a non-trivial parallel application from the field of Symbolic Computation are presented, which revealed good speedups on a heterogeneous cluster of workstations. © 2001 IEEE.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

QoS Aware Dependable distributed Stream Processing

QoS Aware Dependable Distributed Stream Processing

引用

international symposium on object-oriented real-time distributed computing

作者： Vana Kalogeraki Dimitrios Gunopulos Ravi Sandhu Bhavani Thuraisingham Department of Computer Science & Engineering University of California Riverside USA Institute for Cyber Security University of Technology San Antonio USA Department of Computer Science University of Technology Dallas USA

ISBN: (纸本)9780769531328

In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. distributed stream processing applications have strong timeliness and security demands. In particular, we address the following challenges: (1) propose a real-time dependable execution model by extending the component-based execution model with real-time and dependability properties, and (2) develop QoS-aware application composition and adaptation techniques that employ resource management strategies and security policies when discovering and selecting application components. Our approach enables us to develop a distributed stream processing environment that is predictable, secure, flexible and adaptable.

关键词： distributed computing Application software Streaming media Large-scale systems Quality of service Computer networks Computer science object oriented modeling Resource management Data security

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 23rd IEEE international symposium on Reliable distributed Systems, SRDS 2004

Proceedings of the 23rd IEEE International Symposium on Reli...

引用

23rd IEEE international symposium on Reliable distributed Systems, SRDS 2004

The proceedings contain 32 papers from the Proceedings of the 23rd IEEE international symposium on Reliable distributed Systems, SRDS 2004. The topics discussed include: performance comparison of a rotating coordinator and a leader based consensus algorithm;self checking network protocols: a monitor based approach;token-based atomic broadcast using unreliable failure detectors;a stability-oriented approach to improving BGP convergence;slow advances in fault-tolerant real-time distributed computing;skewed checkpointing for tolerating multi-node failures;the design and evaluation of a defense system for Internet worms;and model-based validation of an intrusion-tolerant information system.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems

Architectural and Behavioral Modeling with AADL for Fault To...

引用

international symposium on object-oriented real-time distributed computing

作者： Gilles Lasnier Thomas Robert Laurent Pautet Fabrice Kordon TELECOM ParisTech-LTCI Institut TELECOM Paris France LIP6-Université Pierre et Marie Curie Paris France

AADL is an architecture description language intended for model-based engineering of high-integrity systems. The AADL Behavior Annex is an extension allowing the refinement of behavioral aspects described through AADL. When implementing distributed real-time Embedded system, fault tolerance concerns are integrated by applying replication patterns. We considered a simplified design of the primary backup replication pattern to express the modeling capabilities of AADL and its annex. Our contribution intends to give accurate description of the synchronization mechanisms integrated in this example.

关键词： Fault tolerant systems Embedded system real time systems Fault tolerance Bioreactors Telecommunications Computer architecture Computer crashes Protocols distributed computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共143页 << < 59 60 61 62 63 64 65 66 67 68 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：