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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

380 篇 会议
13 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

117 篇 distributed comp...
111 篇 real time system...
56 篇 object oriented ...
52 篇 embedded system
39 篇 real-time system...
38 篇 hardware
37 篇 middleware
31 篇 application soft...
29 篇 timing
26 篇 quality of servi...
25 篇 computer archite...
25 篇 java
22 篇 resource managem...
20 篇 computer science
20 篇 unified modeling...
19 篇 runtime
19 篇 computational mo...
18 篇 fault tolerance
18 篇 protocols
17 篇 operating system...

机构

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

作者

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

语言

393 篇 英文

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

共 393 条记录，以下是351-360 订阅

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

详细简洁

排序：

A model driven engineering approach based on aspects for high speed scientific X-rays cameras

A model driven engineering approach based on aspects for hig...

引用

international symposium on object-oriented real-time distributed computing

作者： Dionisio Doering Carlos Eduardo Pereira Peter Denes John Joseph Electrical Engineering Department UFRGS Porto Brazil Engineering Division Lawrence Berkeley National Lab Berkeley USA

High-speed scientific cameras have been demanding more from their control systems as the number of pixels, and number of frame increases and therefore the required total bandwidth. One way to cope with this demand is to perform realtime image processing. the challenge on that is the fact that each experiment requires a different processing algorithms and one needs to reconfigure it frequently. An example of this system is the LBNL high-speed cameras based on FPGAs used on X-rays and electron microscopy experiments. these camera systems can benefit from modern design methodologies that explore higher abstraction level modeling, which includes both functional and non-functional requirements specification and that take advantage of techniques such as object-oriented and aspect-oriented methodologies. this paper introduces HIPAO, a Hardware Image Processing system based on model driven engineering and Aspect-oriented modeling. Some examples are shown for each step of the methodology that goes from requirements modeling to automatic code generation.

关键词： object oriented modeling Cameras Unified modeling language Computational modeling Mathematical model Registers

来源：评论

学校读者我要写书评

暂无评论

real-time Tasks Scheduling with Value Control to Predict Timing Faults During Overload

Real-Time Tasks Scheduling with Value Control to Predict Tim...

引用

international symposium on object-oriented real-time distributed computing

作者： Crineu Tres Leandro Buss Becker Edgar Nett Automation and Systems Department Federal University of Santa Catarina Florianopolis Santa Catarina Brazil Otto-von-Guericke Universität Magdeburg Institute for Distributed Systems (IVS) Magdeburg Germany

Modern real-time applications are very dynamic and cannot cope with the use of worst case execution time to avoid overload situations. therefore scheduling algorithms that are able to prevent timing faults during overload are required. In this context, the value parameter has become useful to add generality and flexibility to such systems. In this paper, we present the scheduling algorithm called DMB (dynamic misses based), which is capable of dynamically changing tasks value in order to adjust their importance according to its timing faults rate. the main goal of DMB is to allow the prediction of timing faults during overloads and thereby support a dynamic tuning of tasks fault rate. It is used to enhance the features of the previously defined TAFT (time-aware fault-tolerant) scheduler. Obtained results show that DMB in conjunction with TAFT reached the most promising results during overloads, allowing to control tasks degradation in a graceful and determined way

关键词： Timing Processor scheduling Scheduling algorithm Digital multimedia broadcasting real time systems Dynamic scheduling Fault tolerance Automatic control Control systems Automation

来源：评论

学校读者我要写书评

暂无评论

Managing Variable and Cooperative time Behavior

Managing Variable and Cooperative Time Behavior

引用

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

作者： Kirstie L. Bellman Christopher Landauer Phyllis R. Nelson Topcy House Consulting Thousand Oaks CA USA Electrical and Computer Engineering Department California Polytechnic State University Pomona CA USA

this paper is about the requirements and architectural considerations that provide a SORT system with processes for observing, modeling, simulating, predicting, deciding, and acting in an external environment. For our purposes, "real time'' (RT) means coordinated with an external source of time or with sequences of events over which the system has no direct control. It is this unpredictability in the timing of responses that is the hardest constraint on a real-time system design, especially when it is known a priori that the system cannot keep up with all important events, and that "as fast as possible'' is not appropriate for some external interactions. We will describe a testbed that we are developing as a student team project at California State Polytechnic University, Pomona (Cal Poly Pomona) to experiment with SORT strategies, and a set of games that we will use to benchmark performance. then we will describe some useful technical background from several areas: reasoning and representation processes, situation theory, levels of meaningfulness in knowledge, and activity loops. Finally, we show how these concepts apply to SORT agent knowledge and coordination. Our contribution here is to outline a set of problems (in the form of cooperative games) that we hope others in the community will adopt as one method for benchmarking models, methods, strategies, and other processes used in SORT systems.

关键词： real time systems Predictive models Context modeling distributed computing USA Councils Timing Monitoring System testing Conferences Environmental management

来源：评论

学校读者我要写书评

暂无评论

Towards a Layered Architecture for object-Based Execution in Wide-Area Deeply Embedded computing

Towards a Layered Architecture for Object-Based Execution in...

引用

international symposium on object-oriented real-time distributed computing

作者： Tarek Abdelzaher Qing Cao Raghu Ganti Dan Henriksson Maifi Khan Jin Heo Chengdu Huang Praveen Jayachandran Hieu Khac Le Liqian Luo Yu-En Tsai Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA

Sensor networks introduce a new application domain and set of challenges in distributed computing including new network-level programming languages, global system abstractions, and general-purpose communication protocols. these challenges are brought about by the tight integration of computation, communication, and distributed real-time interaction with the physical world. With the growing interest in interconnecting different sensor networks across a wide-area communication infrastructure, an overarching challenge becomes one of arriving at an agreed-upon global sensor network architecture that ensures interoperability. Unlike the Internet, where a layered communication stack (namely, the TCP/IP stack) defines the network architecture, a sensor network architecture must unify not only communication interfaces but also programming interfaces, since network communication and computation functions are tightly intertwined. In that sense, the sensor network architecture refers to a layered stack of distributed computing abstractions. this paper presents an architecture and key considerations in designing and interconnecting local and global sensor networks. Candidate protocols and middleware instantiations are described from the authors' ongoing work that meet the discussed considerations

关键词： Computer architecture Embedded computing distributed computing Protocols Sensor systems and applications Computer languages Physics computing LAN interconnection IP networks TCPIP

来源：评论

学校读者我要写书评

暂无评论

Does Code Generation Promote or Prevent Optimizations?

Does Code Generation Promote or Prevent Optimizations?

引用

international symposium on object-oriented real-time distributed computing

作者： Asma Charfi Chokri Mraidha Sébastien Gérard François Terrier Pierre Boulet CEA Laboratory of model driven engineering for embedded systems Gif-Sur-Yvette France CEA Laboratory of model driven engineering for embedded systems France Universite Lille 1 Sciences et Technologies Cite scientifique Villeneuve d'Ascq France

this paper addresses the problem of code optimization for real-time and Embedded Systems (RTES). Such systems are designed using Model-Based Development (MBD)approach that consists of performing three major steps: building models, generating code from them and compiling the generated code. Actually, during the code generation, an important part of the modeling language semantics which could be useful for optimization is lost, thus, making impossible some optimizations achievement. this paper shows how adding a new level of optimization at the model level results in a more compact code. It also discusses the impact of the code generation on optimization: whether this step promotes or prevents optimizations. We conclude on a proposal of a new MBD approach containing only steps that advance optimization: modeling and compiling steps.

关键词： Optimizing compilers Unified modeling language Embedded system real time systems Buildings distributed computing Laboratories Model driven engineering Proposals Information analysis

来源：评论

学校读者我要写书评

暂无评论

Optimizing general-purpose software instrumentation middleware performance for distributed real-time and embedded systems

Optimizing general-purpose software instrumentation middlewa...

引用

international symposium on object-oriented real-time distributed computing

作者： Dennis C. Feiock James H. Hill Department of Computer and Information Science Indiana University-Purdue University Indianapolis Indianapolis IN USA

Software instrumentation is an important aspect of software-intensive distributed real-time and embedded (DRE) systems because it enables real-time feedback of system properties, such as resource usage and component state, for performance analysis. Although it is critical not to collect too much instrumentation data to ensure minimal impact on the DRE system's existing performance properties, the design and implementation of software instrumentation middleware can impact how much instrumentation data can be collected. this can indirectly impact the DRE system's existing properties and performance analysis, and is more of a concern when using general-purpose software instrumentation middleware for DRE systems. this paper provides two contributions to instrumenting software-intensive DRE systems. First, it presents two techniques named the Standard Flat-rate Envelope and Pay-per-use for improving the performance of software instrumentation middleware for DRE systems. Secondly, it quantitatively evaluates performance gains realized by the two techniques in the context the Open-source Architecture for Software Instrumentation of Systems (OASIS), which is open-source dynamic instrumentation middleware for DRE systems. Our results show that the Standard Flat-rate Envelope improves performance up to 57% and the Pay-per-use improves performance up to 49%.

关键词： Standards Middleware Data models Probes Abstracts

来源：评论

学校读者我要写书评

暂无评论

Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems

Escaping the Bonds of the Legacy: Step-Wise Migration to a T...

引用

international symposium on object-oriented real-time distributed computing

作者： Michael Stilkerich Jens Schedel Peter Ulbrich Wolfgang Schröder-Preikschat Daniel Lohmann Department of Computer Science 4-Distributed Systems and Operation Systems Friedrich-Alexander-Universitat Erlangen-Nuremberg Germany Department of Computer Science 4- Distributed Systems and Operating Systems Friedrich-Alexander University Erlangen-Nuremberg

Type-safe high-level languages such as Java have not yet found their way into the domain of deeply embedded systems, even though numerous attempts have been made to make these languages cost attractive. One major challenge that remains is the huge existing code base in many industries. Completely reengineering this code base is not viable for cost and time reasons. We present an approach that allows to isolatedly combine legacy software components and safe software components in an embedded system using the two most common communication idioms found in this domain. Our approach allows the developer to freely choose between hardware- and software-based isolation mechanisms. We demonstrate the feasibility of our approach by porting a non-trivial part of a real-world, hard real-time embedded avionics application. Our results show that the cost of this mixed-mode operation is on the same scale as the pure operation.

关键词： Java Runtime Embedded systems Engines Hardware Sensors

来源：评论

学校读者我要写书评

暂无评论

Energy minimization for checkpointing-based approach to guaranteeing real-time systems reliability

Energy minimization for checkpointing-based approach to guar...

引用

international symposium on object-oriented real-time distributed computing

作者： Zheng Li Li Wang Shangping Ren Gang Quan Department of Computer Science Illinois Institute of Technology Chicago Illinois Electrical and Computer Engineering Department Florida International University Miami FL

In this paper, we study the energy minimization problem for a frame-based real time system with guaranteed reliability using the checkpointing technique. We formally prove that executing a real time task set with a uniform frequency, or neighboring frequencies if the desired frequency is not available, not only optimizes its energy consumption but also achieves maximal reliability. Based on the theoretic conclusion, we further develop a Dynamic Voltage Frequency Scaling (DVFS) and checkpoint allocation strategy for a task set to guarantee both reliability and deadline constraints but with minimal energy consumption. the proposed strategy has very small frequency switching overhead as no more than one frequency change is needed for the entire task set execution and thus is particularly effective for processors with large frequency switching overhead. We further empirically compare our approach with recent work published in the literature. the experimental results show that the proposed approach can reduce as much as 15% energy consumption.

关键词： Reliability time-frequency analysis Checkpointing Energy consumption Optimized production technology Transient analysis Program processors

来源：评论

学校读者我要写书评

暂无评论

Efficient Metadata Management for Flash File Systems

Efficient Metadata Management for Flash File Systems

引用

international symposium on object-oriented real-time distributed computing

作者： Jaegeuk Kim Heeseung Jo Hyotaek Shim Jin-Soo Kim Seungryoul Maeng Computer Science Department Korea Advanced Institute of Science and Technology Daejeon South Korea South Korea

ISBN: (纸本)9780769531328

NAND flash memory becomes one of the most popular storage for portable embedded systems. Although many flash-aware file systems, such as JFFS2 and YAFFS2, were proposed, the large memory consumption and the long mount delay have been serious obstacles for large-capacity NAND flash memory. In this paper, we present a new flash-aware file system called DFFS (direct flash file system) which fetches only the needed metadata on demand from flash memory. In addition, DFFS employs two novel metadata management schemes, inode embedding scheme and hybrid inode indexing scheme, to improve the performance of metadata operations. Comprehensive evaluation results using microbench- mark, postmark, and Linux kernel compilation trace, show that DFFS has comparable performance to JFFS2 and YAFFS2, while achieving a small memory footprint and instant mount time.

关键词： File systems Delay Flash memory Memory management Portable media players Embedded system Indexing Personal digital assistants real time systems distributed computing

来源：评论

学校读者我要写书评

暂无评论

Towards a Rigorous Modeling Formalism for Systems of Systems

Towards a Rigorous Modeling Formalism for Systems of Systems

引用

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

作者： Tayfun Gezgin Christoph Etzien Stefan Henkler Achim Rettberg Institute for Information Technology (OFFIS) Oldenburg Germany Carl von Ossietzky University슠of슠Oldenburg Oldenburg Germany

the scope of this paper is collaborative, distributed safety critical systems which build up a larger scale system of systems (SoS). Systems participating in an SoS follow both global as well as individual goals, which may be contradicting. Both the global and local goals of the overall SoS may change over time. Hence, self-adaptive ness, i.e., reconfiguration of the SoS as a reaction on changes within its context is a major characteristic of this systems. the aim of this paper is to describe first steps towards a modeling formalism for SoS in a safety critical context. the challenge is to address on the one hand the required flexibility to adapt the system during run-time and on the other hand to guarantee that the system reacts still in a safe manner. To address these challenges, we propose an approach which guarantees that the system still reacts in a safe manner while adaption to uncertainty including context changes. this adaption has to be assumed as unsafe during design time. the key for having success is to define the interaction between the systems as well as its goals as basic elements of the design. Based on our former work, we propose a well-defined modeling approach for the interaction based on components as basic structural elements, the contract paradigm for the design of the interaction, and graph transformations, which addresses the adaptivity of system of systems. the component model is additionally explicitly enriched by goals, which supports so called evaluation functions to determine the level of target achievement.

关键词： Fires Adaptation models Context Protocols real time systems Unified modeling language object oriented modeling

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共40页 << < 31 32 33 34 35 36 37 38 39 40 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：