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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

753 篇 会议
16 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

295 篇 工学
- 284 篇 计算机科学与技术...
- 118 篇 软件工程
- 37 篇 电气工程
- 16 篇 控制科学与工程
- 15 篇 信息与通信工程
- 8 篇 安全科学与工程
- 6 篇 机械工程
- 4 篇 建筑学
- 3 篇 生物医学工程（可授...
- 3 篇 生物工程
- 3 篇 网络空间安全
- 2 篇 冶金工程
- 2 篇 动力工程及工程热...
- 2 篇 电子科学与技术（可...
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 土木工程
133 篇 管理学
- 117 篇 管理科学与工程(可...
- 20 篇 图书情报与档案管...
- 16 篇 工商管理
31 篇 理学
- 19 篇 数学
- 8 篇 系统科学
- 3 篇 生物学
- 1 篇 物理学
- 1 篇 地球物理学
- 1 篇 地质学
- 1 篇 统计学（可授理学、...
4 篇 经济学
- 4 篇 应用经济学
2 篇 法学
- 2 篇 社会学
2 篇 医学
- 2 篇 基础医学(可授医学...
1 篇 军事学

主题

209 篇 real time system...
202 篇 distributed comp...
124 篇 quality of servi...
97 篇 object oriented ...
82 篇 application soft...
82 篇 embedded system
82 篇 middleware
81 篇 computer archite...
54 篇 real-time system...
54 篇 hardware
51 篇 timing
45 篇 unified modeling...
42 篇 resource managem...
42 篇 java
40 篇 computer science
38 篇 protocols
36 篇 operating system...
34 篇 runtime
34 篇 costs
32 篇 service oriented...

机构

11 篇 school of comput...
6 篇 department of el...
6 篇 okuma corporatio...
5 篇 college of compu...
5 篇 konkuk universit...
5 篇 aerospace corpor...
5 篇 graduate school ...
5 篇 arizona state un...
5 篇 octopath corpora...
4 篇 university of ca...
4 篇 arizona state un...
4 篇 boeing co st lou...
4 篇 school of comput...
4 篇 department of in...
4 篇 univ leeds sch c...
4 篇 department of co...
3 篇 vienna universit...
3 篇 department of ee...
3 篇 get-télécom pari...
3 篇 graduate school ...

作者

17 篇 jie xu
11 篇 gokhale aniruddh...
11 篇 schmidt douglas ...
11 篇 karsai gabor
10 篇 xu jie
9 篇 aniruddha gokhal...
9 篇 k.h. kim
9 篇 gabor karsai
8 篇 takuya azumi
8 篇 dubey abhishek
8 篇 douglas c. schmi...
8 篇 martin schoeberl
7 篇 uwe brinkschulte
7 篇 paul townend
7 篇 liu lu
7 篇 hiroshi oyama
6 篇 lu liu
6 篇 hill james h.
6 篇 david webster
5 篇 a. polze

语言

769 篇 英文

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

共 769 条记录，以下是381-390 订阅

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

详细简洁

排序：

Stack Caching Using Split Data Caches

Stack Caching Using Split Data Caches

引用

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

作者： Carsten Nielsen Martin Schoeberl Department of Applied Mathematics and Computer Science Technical University of Denmark

In most embedded and general purpose architectures, stack data and non-stack data is cached together, meaning that writing to or loading from the stack may expel non-stack data from the data cache. Manipulation of the stack has a different memory access pattern than that of non-stack data, showing higher temporal and spatial locality. We propose caching stack and non-stack data separately and develop four different stack caches that allow this separation without requiring compiler support. These are the simple, window, and prefilling with and without tag stack caches. The performance of the stack cache architectures was evaluated using the Simple Scalar toolset where the window and prefilling stack cache without tag resulted in an execution speedup of up to 3.5% for the MiBench benchmarks, executed on an out-of-order processor with the ARM instruction set.

关键词： Benchmark testing Registers Memory management distributed databases Multicore processing real-time systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Extended RT-component Framework for RT-Middleware

Extended RT-Component Framework for RT-Middleware

引用

international symposium on object-oriented real-time distributed computing

作者： Hiroyuki Chishiro Yuji Fujita Akira Takeda Yuta Kojima Kenji Funaoka Shinpei Kato Nobuyuki Yamasaki School of Science for Open and Environment Systems Keio University Yokohama Japan

Modular component-based robot systems require not only an infrastructure for component management, but also scalability as well as real-time properties. Robot technology (RT)-middleware is a software platform for such component-based robot systems. Each component in the RT-Middleware, so-called "RT-component'' supporting particular robot functions, is based on common object request broker architecture (CORBA). Unfortunately, the RT-Middleware lacks the mechanism for real-time control. In this paper, we extend the framework of the RT-components to take care of timing constraints. We first enable tasks to have different periods within each RT-component. We then modify the packet format of the General Inter-ORB Protocol (GIOP) to transfer the information of timing constraints over RT-components. The performance evaluation on ART-Linux shows that the extended RT-component framework improves the schedulability of distributed real-time tasks, without causing critical overheads in unmarshaling the modified GIOP packets.

关键词： Robots Timing real time systems Protocols Computer architecture Leg distributed control Open source software Legged locomotion Control systems

来源：评论

学校读者我要写书评

暂无评论

Enabling Parallelism and Resource Sharing in Multi-core component-Based Systems

Enabling Parallelism and Resource Sharing in Multi-core Comp...

引用

international symposium on object-oriented real-time distributed computing

作者： Georgiana Macariu Vladimir Cretu Computer Software and Engineering Department IeAT Research Institute Politehnica University of Timişoara Timisoara Romania

Complex real-time embedded systems require guarantees regarding the assurance of their timing requirements. Such guarantees can be derived using advanced design and analysis methods. Many design solutions address the complexity of these systems using component-based techniques. In this paper we focus on resource sharing in component-based systems with several components executing on a multi-core processor. We consider that the tasks of each component can be scheduled on any core with the possibility of two tasks belonging to the same component executing in parallel. We propose the Parallel Hierarchical Resource Policy, a novel resource sharing policy for multi-core component-based systems. We also develop a detailed response-time based schedulability analysis for the individual components and for the composed system, assuming that intra- and inter-component resource sharing takes place.

关键词： Servers Protocols Interference Resource management Upper bound Water resources time factors

来源：评论

学校读者我要写书评

暂无评论

Adapting System Execution Traces for Validation of distributed System QoS Properties

Adapting System Execution Traces for Validation of Distribut...

引用

international symposium on object-oriented real-time distributed computing

作者： T. Manjula Peiris James H. Hill Department of Computer and Information Science Indiana University-Purdue University Indianapolis IN USA

System execution traces are useful artifacts for validating distributed system quality-of-service (QoS) properties, such as end-to-end response time, throughput, and service time. With proper planning during development phase of the software lifecycle, it is possible to ensure such traces contain required properties to facilitate analysis for QoS validation. In some case, however, it is not possible to ensure system execution traces contain the necessary properties for QoS analysis. This paper presents the System Execution Trace Adaptation Framework (SETAF) for adapting system execution traces to support analysis of QoS properties. It also presents results from applying SETAF to externally developed applications. The results show that it is possible to validate QoS properties by automatically adapting system execution traces at analysis time instead of modifying the application's existing source code.

关键词： Quality of service Adaptation models Analytical models Data models Software distributed databases Casting

来源：评论

学校读者我要写书评

暂无评论

A Document Centric Framework for Building distributed Smart object Systems

A Document Centric Framework for Building Distributed Smart ...

引用

international symposium on object-oriented real-time distributed computing

作者： Fahim Kawsar Tatsuo Nakajima Department of Computer Science Waseda University Japan

We present an architectural framework that provides the foundation for building smart object systems and uses a document centric approach utilizing a profile based artefact framework and a task based application framework. Our artefact framework represents an instrumented physical smart objects as a collection of service profiles and expresses these services in generic documents. Applications for smart objects are expressed as a collection of functional tasks (independent of the implementation) in a corresponding document. A runtime component provides the foundation for mapping these tasks to the corresponding service provider smart objects. There are three primary advantages of our approach- firstly, it allows developers to write applications in a generic way without prior knowledge of the smart objects that could be used by the applications. Secondly, smart object management (locating/accessing/etc.) issues are completely handled by the infrastructure thus application development becomes rapid and simple. Finally, the programming abstraction used in the framework allows extension of functionalities of smart objects and applications very easily. We describe an implemented prototype of our framework and show examples of its use in a real life scenario to illustrate its feasibility.

关键词： Buildings Application software Runtime Fluid dynamics Context awareness Context-aware services Space technology Temperature sensors real time systems distributed computing

来源：评论

学校读者我要写书评

暂无评论

Ontology-based runtime reconfiguration of distributed embedded real-time systems

Ontology-based runtime reconfiguration of distributed embedd...

引用

international symposium on object-oriented real-time distributed computing

作者： Oliver Höftberger Roman Obermaisser Vienna University of Technology Austria University of Siegen Germany

Embedded real-time systems with dynamic resource management capabilities are able to adapt to changing resource requirements, resource availability, the occurrence of faults and environmental changes. This enables better resource utilization, more flexibility and increased dependability. Depending on the application domain, reconfiguration decisions must be found and applied within temporal bounds. Although semantic techniques are used to react to unexpected events in standard IT systems, they exhibit a computational complexity and temporal unpredictability that is not suitable for real-time systems. This paper describes a temporally predictable framework for reconfigurable embedded real-time systems. It uses a service-oriented approach to dynamically reconfigure component interactions. Knowledge about the system structure and semantics is provided in a system ontology with relevant information for embedded realtime systems (e.g., transfer delay times, accuracy of relations). The ontology allows to automatically generate service substitutes by exploiting implicit redundancy in the system. Furthermore, an algorithm is presented that searches the ontology for semantically equivalent implementations of failed services. The process of substitution search and substitute service generation is demonstrated with an example from the automotive domain.

关键词： Accuracy Ontologies real-time systems Semantics Joining processes Sensors Embedded systems

来源：评论

学校读者我要写书评

暂无评论

SODA: service-oriented Architecture for Runtime Adaptive Driver Assistance Systems

SODA: Service-Oriented Architecture for Runtime Adaptive Dri...

引用

international symposium on object-oriented real-time distributed computing

作者： Marco Wagner Dieter Zöbel Ansgar Meroth Automotive Systems Engineering Heilbronn University Institute for Software Technology University of Koblenz-Landau

Unlike state-of-the-art Driver Assistance Systems(DAS) upcoming technologies may not base on a static software and system architecture. This is especially true for DAS for truck and trailer combinations were the components needed are distributed over both parts of the articulated vehicle. As a truck might be connected to different trailers changes are very common. In order to handle these changes at runtime the usage of service oriented Architecture (SOA) is a promising approach. Using this principle the functionalities are encapsulated into services which are Re-Orchestrated whenever the system architecture changes. Since the services in such a system run on small embedded units and are connected through specialized network systems existing SOA frameworks cannot be used here. This paper introduces SODA, a tailored SOA middleware and development process to design runtime adaptive DAS for truck and trailer combinations using services.

关键词： Vehicles Unified modeling language Runtime Automotive engineering service-oriented architecture

来源：评论

学校读者我要写书评

暂无评论

Extending component-Based Approaches for Multithreaded Design of Multiprocessor Embedded Software

Extending Component-Based Approaches for Multithreaded Desig...

引用

international symposium on object-oriented real-time distributed computing

作者： Sunwoo Lee Byung Kwan Jung Minsoo Ryu Seungwon Lee Department of Computer Engineering Hanyang University South Korea Corporate Technology Operations Samsung Advanced Institute of Technology South Korea

Multiprocessor embedded software presents major challenges including the increased complexity and stringent performance requirements raised by parallel processing capability. Although component-based approaches can greatly alleviate the complexity problem, traditional approaches do not provide adequate support for performance requirements on multiprocessors. In this paper, we extend component-based approaches for performance-aware design and analysis of multiprocessor embedded software. The proposed approach begins with a component model that is able to capture concurrent and performance-critical behavior based on UML activity diagrams. It then identifies and exploits potential sources of concurrency within components to produce a multithreaded software design targeted at multiprocessors. We also provide a schedulability analysis that can be used for validating multithreaded software design from a temporal perspective.

关键词： Embedded software Concurrent computing Software design Scheduling Software performance Assembly Yarn distributed computing Parallel processing Performance analysis

来源：评论

学校读者我要写书评

暂无评论

Non-regular Adaptation of services Using Model Checking

Non-regular Adaptation of Services Using Model Checking

引用

international symposium on object-oriented real-time distributed computing

作者： Hsin-Hung Lin Toshiaki Aoki Takuya Katayama School of Information Science Japan Advanced Institute of Science and Technology Hokuriku Japan

This paper proposes a different approach for service adaptation which aims to: (i) support non-regular adaptation; (ii) integrate adaptation and model checking. First, a pushdown automaton is used to model the adaptor so that non-regular languages are possible. Second, behavior interfaces of services are modeled by Büchi automata in order to take the advantage of the acceptance condition. By defining the property of ”behavior mismatch free” in a LTL formula using acceptance condition, the detection of behavior mismatches is performed by model checking. Also, the adaptor generation is performed by model checking of pushdown systems with the guidance of a special over-behavioral adaptor called “coordinator”. Then the returned counterexample is converted to a pushdown automaton, the expected adaptor.

关键词： Automata Contracts Algebra System recovery Computational modeling distributed computing Information science Computer aided analysis Automation Adaptation model

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共77页 << < 35 36 37 38 39 40 41 42 43 44 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：