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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

449 篇 会议
10 篇 期刊文献

馆藏范围

459 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

228 篇 工学
- 223 篇 计算机科学与技术...
- 96 篇 软件工程
- 19 篇 电气工程
- 8 篇 控制科学与工程
- 7 篇 安全科学与工程
- 5 篇 信息与通信工程
- 4 篇 机械工程
- 2 篇 冶金工程
- 2 篇 电子科学与技术（可...
- 2 篇 建筑学
- 2 篇 交通运输工程
- 1 篇 动力工程及工程热...
- 1 篇 航空宇航科学与技...
- 1 篇 核科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
97 篇 管理学
- 94 篇 管理科学与工程(可...
- 7 篇 工商管理
- 6 篇 图书情报与档案管...
21 篇 理学
- 12 篇 数学
- 8 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 地质学
- 1 篇 生物学
2 篇 法学
- 2 篇 社会学
2 篇 医学
- 2 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...
1 篇 经济学
- 1 篇 应用经济学

主题

134 篇 real time system...
133 篇 distributed comp...
65 篇 object oriented ...
55 篇 embedded system
47 篇 middleware
38 篇 hardware
37 篇 application soft...
37 篇 real-time system...
35 篇 timing
32 篇 java
29 篇 computer archite...
28 篇 quality of servi...
26 篇 computer science
24 篇 resource managem...
24 篇 computational mo...
24 篇 unified modeling...
21 篇 operating system...
20 篇 protocols
19 篇 runtime
19 篇 yarn

机构

6 篇 okuma corporatio...
5 篇 graduate school ...
5 篇 octopath corpora...
4 篇 konkuk universit...
4 篇 department of in...
3 篇 department of ee...
3 篇 college of compu...
3 篇 graduate school ...
3 篇 department of el...
3 篇 institute for so...
3 篇 univ calif river...
3 篇 aerospace corpor...
3 篇 school of comput...
3 篇 lero-the irish s...
3 篇 fujitsu ten limi...
2 篇 vienna universit...
2 篇 mälardalen real-...
2 篇 get-télécom pari...
2 篇 vanderbilt univ ...
2 篇 faculty of infor...

作者

9 篇 gokhale aniruddh...
8 篇 takuya azumi
8 篇 karsai gabor
7 篇 aniruddha gokhal...
7 篇 schmidt douglas ...
7 篇 martin schoeberl
7 篇 hiroshi oyama
6 篇 jie xu
6 篇 dubey abhishek
6 篇 gabor karsai
5 篇 polze a
5 篇 k.h. kim
5 篇 douglas c. schmi...
4 篇 uwe brinkschulte
4 篇 hiroaki takada
4 篇 abhishek dubey
4 篇 kim kh
4 篇 schoeberl martin
4 篇 doo-hyun kim
4 篇 shankaran nishan...

语言

459 篇 英文

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

共 459 条记录，以下是301-310 订阅

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

详细简洁

排序：

An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis

An Industrial Case Study Using an MBE Approach: From Archite...

引用

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

作者： Stefano Dalpez Roberto Passerone Daniela Cancila Francois Terrier Dipartimento di Ingegneria e Scienza Dell'Informazione University of Trento Italy Laboratory of model driven engineering for embedded systems CEA/List Gif-sur-Yvette France

We discuss the initial phases of software development of a real industrial safety-related device in the railway application domain. In particular, to achieve greater confidence in the system, we illustrate the development of the system architecture (using a standard model domain-specific language), the computation of the safety integrity level and the calculation of the reliability of the whole system. We reiterate the safety analysis on the sub-systems. the proposed methodology has found immediate industrial applications.

关键词： Performance analysis Documentation Hazards Refining Computer industry Computer architecture Railway safety Rail transportation real time systems distributed computing

来源：评论

学校读者我要写书评

暂无评论

Allowing Cycle References by Introducing Controlled Violations of the Assignment Rules in real-time Java

Allowing Cycle References by Introducing Controlled Violatio...

引用

international symposium on object-oriented real-time distributed computing

作者： M. Teresa Higuera-Toledano Facultad Informática Universidad Complutense de Madrid Madrid Spain

ISBN: (纸本)9780769531328

the real-time specification for Java (RTSJ) extends the Java memory model through immortal and scoped memory regions to reduce the timing-indeterminism caused by garbage collection. Since scoped regions can be nested, RTSJ imposes strict assignment rules to avoid dangling pointers. these rules stabilise that an object shall not reference any object whose lifetime could be shorter than they own. then references among two objects within different scoped regions are allowed only in one direction (i.e., from objects within region r1 to region r2, but never from r2 to r1). In order to support RTSJ component-based applications, we require controlled violations of the assignment rules to have bidirectional references among objects within two different scopes.

关键词： Java Portals Memory management Yarn object oriented modeling distributed computing Application software Encapsulation Reflection Navigation

来源：评论

学校读者我要写书评

暂无评论

On Resource Allocation in Architectural Models

On Resource Allocation in Architectural Models

引用

international symposium on object-oriented real-time distributed computing

作者： Dionisio de Niz Peter H. Feiler Software Engineering Institute Carnegie Mellon University USA Software Engineering Institute

ISBN: (纸本)9780769531328

Resource allocation decisions are critical for the design of embedded real-time systems. Today's trend to software integration makes these decisions tightly coupled to the software architecture. In this paper we discuss the use of architectural models to guide and maintain the integrity of the resource allocation decision at different levels of refinement of the system design. We discuss the budgeting process to split the development process into different teams, the use of bin packing techniques for low level resource allocation and the isolation strategies to separate the different criticality levels of these systems.

关键词： Resource management object oriented modeling Software systems Computer architecture Embedded system real time systems Embedded software Runtime Software engineering Hardware

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Knowledge Representation and Awareness in Autonomic Service-component Ensembles - State of the Art

Knowledge Representation and Awareness in Autonomic Service-...

引用

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

作者： Emil Vassev Mike Hinchey Lero-the Irish Software Engineering Research Centre University of Limerick Limerick Ireland

Knowledge is the source of intelligence and both knowledge representation and knowledge management are crucial for intelligent systems. Well employed knowledge helps such systems become aware of situations, recognize states and eventually respond to changes. this paper presents our vision of knowledge representation and awareness in mobile swarm systems formed as open-ended ensembles of special autonomic components. Such components encapsulate rules, constraints and mechanisms for self-management and acquire and process knowledge about themselves, other service components and their environment. In this paper, we present our approach to high-level model of structured knowledge and a formal model of awareness in such autonomic service-component ensembles.

关键词： Ontologies Semantics Intelligent systems Cognition Robots

来源：评论

学校读者我要写书评

暂无评论

Architecting Health Management into Software component Assemblies: Lessons Learned from the ARINC-653 component Mode

Architecting Health Management into Software Component Assem...

引用

international symposium on object-oriented real-time distributed computing

作者： Nagabhushan Mahadevan Abhishek Dubey Gabor Karsai Institute for Software Integrated Systems Vanderbilt University Nashville TN USA

Complex real-time software systems require an active fault management capability. While testing, verification and validation schemes and their constant evolution help improve the dependability of these systems, an active fault management strategy is essential to potentially mitigate the unacceptable behaviors at run-time. In our work we have applied the experience gained from the field of Systems Health Management towards component-based software systems. the software components interact via well-defined concurrency patterns and are executed on a real-time component framework built upon ARINC-653 platform services. In this paper, we present the lessons learned in architecting and applying a two-level health management strategy to assemblies of software components.

关键词： Assembly Software Timing Global Positioning System Engines real time systems Runtime

来源：评论

学校读者我要写书评

暂无评论

Scenario Based Evaluation

Scenario Based Evaluation

引用

international symposium on object-oriented real-time distributed computing

作者： Nik Looker David Webster Duncan Russell Jie Xu School of Computing University of Leeds UK

ISBN: (纸本)9780769531328

the concept of a scenario has long been utilized in military procurement as a means of evaluating capability in an operational context. With the advent of initiatives such as the USA Department of Defence's Network-Centric Operations and the UK Ministry of Defence's Network Enabled Capability, research into the application of service-oriented architectures (SOA) as a means of delivering capability is being undertaken. A promising output of this research is the definition of scenario based evaluation models that can be applied to SOA. this paper examines the application of a military scenario framework to more conventional software evaluation situations by means of case studies. this demonstrates that similar techniques can be used in their construction and thus provides a basis for the application of scenario based evaluation models in future research.

关键词： Service oriented architecture Procurement National electric code Taxonomy Application software distributed computing Military computing USA Councils object oriented modeling Software engineering

来源：评论

学校读者我要写书评

暂无评论

Schedulability Analysis Abstractions for Safety Critical Java

Schedulability Analysis Abstractions for Safety Critical Jav...

引用

international symposium on object-oriented real-time distributed computing

作者： thomas Bogholm Bent thomsen Kim G. Larsen Alan Mycroft Department Computer Science University of Aalborg Aalborg Denmark Computer Laboratory University of Cambridge Cambridge UK

We present a compositional approach to schedulability analysis of safety-critical Java programs. We introduce a specification language in order to write abstract behavioural specifications regarding task execution-time and use of resources. Schedulability is checked on a model composed of the abstract specifications, possibly before any implementation, and as the specifications are implemented, these implementations can be checked individually. this means that library routines potentially can be separately checked and reused, and individual tasks can be verified according to their specifications without performing the full-system-analysis.

关键词： Automata Java Analytical models real time systems Clocks object oriented modeling Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

An Extension to computing Elements in Erlang for Actor Based Concurrent Programming

An Extension to Computing Elements in Erlang for Actor Based...

引用

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

作者： Kang Lianghuan Cao Donggang School of Electronics Engineering and Computer Science Key Laboratory of High Confidence Software Technologies Ministry of Education Peking University Beijing China

Along with the development of multicore architectures and cloud computing, concurrent programming and computation becomes a huge challenge for application developers. distributed environment turns into complexity and unpredictability. So it is important to improve programming models on language level to make it possible for programmers unfamiliar with distributed systems to build large-scale applications. Erlang is an actor-based functional programming language that provides language level elements for concurrency. It has capability of describing large quantities of concurrent actions by multiple-process, which communicates asynchronously by sending and receiving messages. But it lacks of data structures and mechanism of language level for inherent concurrent units with a simple way of interaction, which may impede programmers in concurrent programming. Comparing with other computing element models such as Active object and Concurrent Agent, we extend Erlang with a new computing element called "EIC_Unit" and a way of interaction by "futures". It makes programmers to develop concurrent applications more easily and convenient in a distributed environment.

关键词： Programming Computational modeling object oriented modeling Chirp Finite element methods Encapsulation Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

Consistency Challenges in Self-Organizing distributed Hard real-time Systems

Consistency Challenges in Self-Organizing Distributed Hard R...

引用

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

作者： Steffen Stein Moritz Neukirchner Harald Schrom Rolf Ernst Institute for Computer and Network Engineering (IDA) Technische Universitäat Braunschweig Brunswick Germany

Allowing real-time systems to autonomously evolve or self-organize during their life-time poses challenges on guidance of such a process. Hard real-time systems must never break their timing constraints even if undergoing a change in configuration. We propose to enhance future real-time systems with an in-system model-based timing analysis engine capable of deciding whether a configuration is feasible to be executed. this engine is complemented by a formal procedure guiding system evolution. the distributed implementation of a runtime environment (RTE) implementing this procedure imposes two key questions of consistency: How do we ensure model consistency across the distributed system and how do we ensure consistency of the actual system behavior with the model? We present a synchronization protocol solving the model consistency issues and provide a discussion on implications of different mode-change protocols on consistency of the system with its model.

关键词： real time systems Timing Protocols distributed computing Engines Embedded system Automobiles Protection Conferences Computer networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共46页 << < 27 28 29 30 31 32 33 34 35 36 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：