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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

521 篇 会议
12 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

278 篇 工学
- 272 篇 计算机科学与技术...
- 117 篇 软件工程
- 21 篇 电气工程
- 12 篇 信息与通信工程
- 12 篇 控制科学与工程
- 6 篇 安全科学与工程
- 5 篇 机械工程
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 化学工程与技术
- 2 篇 交通运输工程
- 1 篇 光学工程
- 1 篇 冶金工程
- 1 篇 动力工程及工程热...
- 1 篇 建筑学
- 1 篇 纺织科学与工程
- 1 篇 航空宇航科学与技...
- 1 篇 核科学与技术
95 篇 管理学
- 91 篇 管理科学与工程(可...
- 9 篇 工商管理
- 7 篇 图书情报与档案管...
25 篇 理学
- 13 篇 数学
- 6 篇 系统科学
- 3 篇 物理学
- 3 篇 统计学（可授理学、...
- 1 篇 化学
- 1 篇 地质学
- 1 篇 生物学
2 篇 医学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 农学

主题

150 篇 distributed comp...
142 篇 real time system...
76 篇 object oriented ...
53 篇 real-time system...
52 篇 embedded system
45 篇 middleware
40 篇 hardware
36 篇 application soft...
35 篇 timing
35 篇 java
31 篇 computational mo...
28 篇 computer science
28 篇 resource managem...
28 篇 quality of servi...
27 篇 operating system...
27 篇 computer archite...
25 篇 unified modeling...
22 篇 runtime
21 篇 protocols
20 篇 fault tolerance

机构

5 篇 graduate school ...
5 篇 octopath corpora...
4 篇 konkuk universit...
4 篇 department of in...
4 篇 univ calif irvin...
4 篇 univ newcastle u...
3 篇 vienna universit...
3 篇 department of ee...
3 篇 college of compu...
3 篇 univ calif irvin...
3 篇 department of el...
3 篇 aerospace corpor...
3 篇 school of comput...
3 篇 fujitsu ten limi...
3 篇 arizona state un...
2 篇 skysoft portugal
2 篇 get-télécom pari...
2 篇 faculty of infor...
2 篇 konkuk univ
2 篇 athens univ econ...

作者

8 篇 martin schoeberl
6 篇 aniruddha gokhal...
6 篇 kim kh
6 篇 k.h. kim
6 篇 jie xu
5 篇 schmidt douglas ...
5 篇 douglas c. schmi...
4 篇 uwe brinkschulte
4 篇 gokhale aniruddh...
4 篇 schoeberl martin
4 篇 doo-hyun kim
4 篇 gabor karsai
4 篇 wolfgang schröde...
4 篇 yau ss
3 篇 obermaisser roma...
3 篇 ravindran b
3 篇 basanta-val p.
3 篇 xu jie
3 篇 yabuuchi kenji
3 篇 kalogeraki vana

语言

532 篇 英文
1 篇 其他

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

共 533 条记录，以下是221-230 订阅

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

详细简洁

排序：

Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures

Model-Driven Runtime Resource Predictions for Advanced Mecha...

引用

international symposium on object-oriented real-time distributed computing

作者： Stefan Henkler Simon Oberthür Holger Giese Andreas Seibel Software Engineering Group University of Paderborn Paderborn Germany Design of Distrib. Embedded Syst. Res. Group Univ. of Paderborn Paderborn Germany System Analysis and Modeling Group University of Potsdam Potsdam Germany

the next generation of advanced mechatronic systems is expected to enhance their functionality and improve their performance by context-dependent behavior. therefore, these systems require to represent information about the complex environment and changing sets of collaboration partners internally. this requirement is in contrast to the usually assumed static structures for embedded systems. In this paper, we present a model-driven approach which overcomes this situation by supporting dynamic data structures while still guaranteeing that valid worst-case execution times can be derived. It supports a flexible resource management which avoids to operate with the prohibitive coarse worst-case boundaries but instead supports to run applications in different profiles which guarantee different resource requirements and put unused resources in a profile at other applications' disposal. By supporting the proper estimation of worst case execution time (WCET) and worst case number of iteration (WCNI) at runtime, we can further support to create new profiles, add or remove them at runtime in order to minimize the over-approximation of the resource consumption resulting from the dynamic data structures required for the outlined class of advanced systems.

关键词： Predictive models Runtime Mechatronics Data structures Embedded system Resource management object oriented modeling real time systems object oriented programming distributed computing

来源：评论

学校读者我要写书评

暂无评论

Policy-Based Reprogramming for Wireless Sensor Networks

Policy-Based Reprogramming for Wireless Sensor Networks

引用

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

作者： Sang Hoon Lee Lynn Choi Yunmook Nah Seungki Hong Jong-Arm Jun School of Electrical Engineering Korea University Seoul South Korea Department of Electronics and Computer Engineering Dankook University Yongin si South Korea Research Laboratory ETRI IT Convergence Technology Daejeon South Korea

Program codes running on the sensor nodes need to be updated from time to time to fix bugs, tune the parameters, insert new functions, or delete useless codes. In this paper, we propose a policy-based reprogramming framework that can optimize the reprogramming process based on the execution characteristics of modules that constitute the WSN applications. To accomplish this we model the characteristics of a module as a tuple of the following four criteria; region, residence, synchronization and real-time properties of the module. According to the class of a module and the type of a reprogramming operation, we adaptively use 3 different reprogramming techniques; efficient code dissemination using connected dominating set, selective code dissemination, and code acquisition. Experimentation results confirm that this policy-based reprogramming can achieve substantial improvement in both the energy consumption and the reprogramming latency compared to existing solutions for various reprogramming scenarios.

关键词： Wireless sensor networks distributed computing Computer bugs Conferences Computer networks Laboratories Sensor phenomena and characterization Energy consumption Delay Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Proposing a Hybrid Software Execution Environment for distributed Embedded Systems

Proposing a Hybrid Software Execution Environment for Distri...

引用

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

作者： Yukikazu Nakamoto Kenji Yabuuchi Tatsunori Osaki Takanari Kishida Teruya Hara Issei Abe Akira Kitamura Graduate School of Applied Informatics University of Hyogo Japan OCTOPATH Corporation Japan Fujitsu TEN Company Limited Japan

the size and complexity of large-scale distributed embedded systems such as automotive and process controls have increased recently. Sophisticated systems that are safe and environmentally friendly require numerous types of sensor data, which are collected from various devices and sent to computers through networks. To develop such large-scale distributed embedded systems with high quality and productivity, we have developed a virtual execution environment platform. this platform integrates numerous CPU simulators and various device simulators through the network and provides network-wide simulation functionalities. In this paper, we propose a hybrid software execution environment and describe the development and evaluation of the technology element required in its implementation. the hybrid software execution environment integrates virtual and real software execution environments in order to check functional behavior of distributed embedded software in a more realistic environment. In the environment, CPU simulators and device simulators are implemented as Common object Request Broker Architecture (CORBA) objects, and messages in the simulation objects are transferred at the actual rate in the target setting.

关键词： Embedded software Embedded system Computational modeling Large-scale systems Central Processing Unit Automotive engineering Process control Sensor systems Computer networks Productivity

来源：评论

学校读者我要写书评

暂无评论

State-Based Search Strategy in Unstructured P2P

State-Based Search Strategy in Unstructured P2P

引用

international symposium on object-oriented real-time distributed computing

作者： Kaigui Wu Changze Wu Lu Liu Jie Xu College of Computer Science Chongqing University ChongQing China School of Computing University of Leeds Leeds UK

ISBN: (纸本)9781424470839;9780769540375

Efficient resource search in large-scale unstructured peer-to-peer (P2P) systems remains a fundamental challenge. In order to improve search performance, interest-based search is a good way to tackle the challenge. However, the existing interest-based search algorithms pay attention to user interest model and search history, but ignore some influence factors of improving performance. In this paper, through analysis of node's multi-dimensional quality-of-service (QoS) for search, it is found that node state's information is essential for improving search performance. So a State-Based Search (SBS) strategy is presented by improving Sripanidkulchai's interest-based search model, where Node's state evaluation is based on node's QoS fuzzification. the SBS enhances the methods of shortcuts adding, ranking and selecting, and state's life-cycle is predicted by grey theory. the experimental results show that the SBS can improve performance by reducing search response time and achieving load balance.

关键词： Peer to peer computing distributed computing Performance analysis Routing Filters Large-scale systems History Delay Condition monitoring Educational institutions

来源：评论

学校读者我要写书评

暂无评论

WCET-Driven Cache-Aware Memory Content Selection

WCET-Driven Cache-Aware Memory Content Selection

引用

international symposium on object-oriented real-time distributed computing

作者： Sascha Plazar Paul Lokuciejewski Peter Marwedel Computer Science 12 Technical University Dortmund Dortmund Germany

Caches are widely used to bridge the increasingly growing gap between processor and memory performance. they store copies of frequently used parts of the slow main memory for faster access. Static analysis techniques allow the estimation of the worst case cache behavior and enable the computation of an upper bound of the execution time of a program. this bound is called worst-case execution time (WCET). Its knowledge is crucial to verify if hard real-time systems satisfy their timing constraints and the WCET is a key parameter for the design of embedded systems. In this paper, we propose a new WCET-driven cache-aware memory content selection algorithm, which allocates functions whose WCET highly benefits from a cached execution to cached memory areas. Vice versa, rarely used functions which do not benefit from a cached execution are allocated to non-cached memory areas. As a result of this, unfavorable functions w. r. t. a program's WCET can not evict beneficial functions from the cache. this can lead to a reduced cache miss ratio and a decreased WCET. the effectiveness of our approach is demonstrated by results achieved on real-life benchmarks. In a case study, our greedy algorithm is able to reduce the benchmarks' WCET by up to 20%.

关键词： Bridges Upper bound real time systems Timing Embedded system Hardware distributed computing Computer science Greedy algorithms Processor scheduling

来源：评论

学校读者我要写书评

暂无评论

A Scheme for Reliable real-time Messaging with Bounded Delays

A Scheme for Reliable Real-Time Messaging with Bounded Delay...

引用

international symposium on object-oriented real-time distributed computing

作者： K.H. Kim Jing Qian Zhen Zhang Qian Zhou Kyung-Deok Moon Jun-Hee Park Kwang-Roh Park Doo-Hyun Kim EECS Department & DREAM Laboratory University of California Irvine USA Microsoft Research Limited Redmond WA USA Electronics and Telecommnications Research Institute Daejeon South Korea Konkuk University Seoul South Korea

Network-based real-time computing applications which require tightly bounded end-to-end delays have been increasing at a steady rate in recent years. A messaging layer that yields tight bounds on the latencies in detecting message losses and enables the application layer to initiate a timely recovery action has thus become highly desirable. In this paper we present a new reliable real-time messaging scheme called the Delay-Bounded Reliable Messaging Scheme (DB-RMS) that is aimed at meeting such requirements. It is built on top of the UDP sub-layer. DB-RMS provides multiple service options, each with different fault detection/recovery capabilities and different costs in terms of the execution overhead. this feature makes DB-RMS suitable for a variety of applications. the service options and the corresponding support protocols are presented first, followed by a formal analysis on the detection and reaction latency bounds under various service options. A messaging layer prototype using DB-RMS has been implemented. Performance measurements of the prototype implementation have been taken and the positive results obtained are also presented.

关键词： Delay Prototypes USA Councils Computer applications Protocols Measurement Quality of service Performance analysis Streaming media distributed computing

来源：评论

学校读者我要写书评

暂无评论

VIS Analyzer: A Visual Assistant for VIS Verification and Analysis

VIS Analyzer: A Visual Assistant for VIS Verification and An...

引用

international symposium on object-oriented real-time distributed computing

作者： Sehun Jeong Junbeom Yoo Sungdeok Cha College of Info. and Comm. Korea University Seoul South Korea

ISBN: (纸本)9781424470839;9780769540375

Formal verification plays an important role in demonstrating the quality of safety-critical systems such as nuclear power plants. We have used the VIS verification system to determine behavioral equivalence between two successive revisions in developing the KNICS RPS (Reactor Protection System) in Korea. the VIS accepts a high-level programming language Verilog as input, and its verification results contain valuable information about one reason of the failure. However the VIS offers no graphical interface, and partially displays relevant information necessary to understand the full verification scenario accurately. Many nuclear engineers and verification experts found the information insufficient, and it makes hard to the wide use of the VIS verification system in industry. this paper proposes the VIS Analyzer, a visual assistant for VIS verification and analysis, which can help nuclear engineers take full benefits of VIS without being overwhelmed by incomplete and low-level details. the VIS Analyzer automates the VIS verification processes such as equivalence checking and model checking, and displays the verification results in visual formats. We used a recent case study introduced in to demonstrate its effectiveness and usefulness.

关键词： Hardware design languages Formal verification Educational institutions Displays Computational modeling Computer languages Software safety distributed computing Power generation Inductors

来源：评论

学校读者我要写书评

暂无评论

Multi-objective Exploration of Compiler Optimizations for real-time Systems

Multi-objective Exploration of Compiler Optimizations for Re...

引用

international symposium on object-oriented real-time distributed computing

作者： Paul Lokuciejewski Sascha Plazar Heiko Falk Peter Marwedel Lothar thiele Computer Science 12 Technical University Dortmund Dortmund Germany Computer Engineering and Networks Laboratory ETH Zurich Zurich Switzerland

With the growing complexity of embedded systems software, high code quality can only be achieved using a compiler. Sophisticated compilers provide a vast spectrum of various optimizations to improve code aggressively w. r. t. different objective functions, e. g., average-case execution time (ACET) or code size. Due to the complex interactions between the optimizations, the choice for a promising sequence of code transformations is not trivial. Compiler developers address this problem by proposing standard optimization levels, e. g., O3 or Os. However, previous studies have shown that these standard levels often miss optimization potential or might even result in performance degradation. In this paper, we propose the first adaptive WCET-aware compiler framework for an automatic search of compiler optimization sequences which yield highly optimized code. Besides the objective functions ACET and code size, we consider the worst-case execution time (WCET) which is a crucial parameter for real-time systems. To find suitable trade-offs between these objectives, stochastic evolutionary multi-objective algorithms identifying Pareto optimal solutions are exploited. A comparison based on statistical performance assessments is performed which helps to determine the most suitable multi-objective optimizer. the effectiveness of our approach is demonstrated on real-life benchmarks showing that standard optimization levels can be significantly outperformed.

关键词： Optimizing compilers real time systems Embedded system Embedded software distributed computing Software systems Standards development Timing Aerospace electronics Computer science

来源：评论

学校读者我要写书评

暂无评论

Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs

Understanding and Effectively Preventing the ABA Problem in ...

引用

international symposium on object-oriented real-time distributed computing

作者： Damian Dechev Peter Pirkelbauer Bjarne Stroustrup Scalable Computing R & D Department Sandia National Laboratories Livermore CA USA Department of Computer Science Texas A and M University College Station TX USA

An increasing number of modern real-time systems and the nowadays ubiquitous multicore architectures demand the application of programming techniques for reliable and efficient concurrent synchronization. Some recently developed Compare-And-Swap (CAS) based nonblocking techniques hold the promise of delivering practical and safer concurrency. the ABA problem is a fundamental problem to many CAS-based designs. Its significance has increased with the suggested use of CAS as a core atomic primitive for the implementation of portable lock-free algorithms. the ABA problem's occurrence is due to the intricate and complex interactions of the application's concurrent operations and, if not remedied, ABA can significantly corrupt the semantics of a nonblocking algorithm. the current state of the art leaves the elimination of the ABA hazards to the ingenuity of the software designer. In this work we provide the first systematic and detailed analysis of the ABA problem in lock-free Descriptor-based designs. We study the semantics of Descriptor-based lock-free data structures and propose a classification of their operations that helps us better understand the ABA problem and subsequently derive an effective ABA prevention scheme. Our ABA prevention approach outperforms by a large factor the use of the alternative CAS-based ABA prevention schemes. It offers speeds comparable to the use of the architecture-specific CAS2 instruction used for version counting. We demonstrate our ABA prevention scheme by integrating it into an advanced nonblocking data structure, a lock-free dynamically resizable array.

关键词： Hazards real time systems Concurrent computing Application software Content addressable storage Data structures distributed computing Computer science Software design Libraries

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共54页 << < 19 20 21 22 23 24 25 26 27 28 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：