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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是261-270 订阅

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

详细简洁

排序：

Enabling Scheduling Analysis for AUTOSAR Systems

Enabling Scheduling Analysis for AUTOSAR Systems

引用

international symposium on object-oriented real-time distributed computing

作者： Saoussen Anssi Sara Tucci-Piergiovanni Stefan Kuntz Sébastien Gérard Francois Terrier Continental Automotive France SAS PowerTrain E IPP France France CEA LIST Laboratory of model driven engineering for embedded systems Gif-sur-Yvette France

AUTOSAR (Automotive Open System Architecture) is enjoying increasing interest and broad acceptance in the automotive domain. AUTOSAR aims at defining an open standardized software architecture to face future challenges in automotive development including the development of time-critical systems (e.g. brake-by-wire or steer-by-wire). Mastering the development of such systems requires being able to analyze their real-time behavior. Scheduling analysis is the theory that studies how far a real-time system may satisfy its real-time requirements against its real-time properties. In this paper, we will study to what extent it is possible to apply some of those scheduling analysis techniques on real-time systems deployed on AUTOSAR-compliant architectures. The paper focuses on scheduling analysis techniques implemented in one open source tool. A concrete case study shows the feasibility of the approach and shows scheduling analysis results.

关键词： Timing Software Scheduling Analytical models Unified modeling language real time systems object oriented modeling

来源：评论

学校读者我要写书评

暂无评论

Design Space Exploration of object Caches with Cross-Profiling

Design Space Exploration of Object Caches with Cross-Profili...

引用

international symposium on object-oriented real-time distributed computing

作者： Martin Schoeberl Walter Binder Alex Villazón Department of Informatics and Mathematical Modeling Technical University of Denmark Denmark Faculty of Informatics University of Lugano Switzerland Centro de Investigaciones de Nuevas Tecnologías Informáticas (CINTI) Universidad Privada Boliviana Bolivia

To avoid data cache trashing between heap-allocated data and other data areas, a distinct object cache has been proposed for embedded real-time Java processors. This object cache uses high associativity in order to statically track different object pointers for worst-case execution-time analysis. However, before implementing such an object cache, an empirical analysis of different organization forms is needed. We use a cross-profiling technique based on aspect-oriented programming in order to evaluate different object cache organizations with standard Java benchmarks. From the evaluation we conclude that field access exhibits some temporal locality, but almost no spatial locality. Therefore, filling long cache lines on a miss just introduces a high miss penalty without increasing the hit rate enough to make up for the increased miss penalty. For an object cache, it is more efficient to fill individual words within the cache line on a miss.

关键词： Benchmark testing Java Organizations Program processors Standards organizations SDRAM

来源：评论

学校读者我要写书评

暂无评论

Modeling and Analyzing real-time Data Streams

Modeling and Analyzing Real-Time Data Streams

引用

international symposium on object-oriented real-time distributed computing

作者： Krasimira Kapitanova Sang H. Son Woochul Kang Won-Tae Kim Department of Computer Science University of Virginia Charlottesville VA USA Electronics and Telecommunication Research Institute (CEERI) Daejeon South Korea

Achieving situation awareness is especially challenging for real-time data stream applications because they i) operate on continuous unbounded streams of data, and ii) have inherent real-time requirements. In this paper we show how formal data stream modeling and analysis can be used to better understand stream behavior, evaluate query costs, and improve application performance. We use MEDAL, a formal specification language based on Petri nets, to model the data stream queries and the Quality-of-Service (QoS) management mechanisms in a data stream system. MEDAL's ability to combine query logic and data admission control in one model allows us to design a single comprehensive model of the system. This model can be used to perform a large set of analyses to help improve the application's performance and QoS.

关键词： Data models Medals real time systems Estimation Quality of service Analytical models distributed databases

来源：评论

学校读者我要写书评

暂无评论

A theoretical framework for developing distributed admissions control over delay-sensitive media flows

A theoretical framework for developing distributed admission...

引用

IEEE/ACM international symposium on Quality of Service

作者： Liu, Jun Computer Science Department University of North Dakota United States

ISBN: (纸本)9781457701030

The performance of most real-time streaming media applications is sensitive to transmission delays. This paper describes a distributed admissions control method to ensure the required sending rates for the real-time media streams. A utility function is first developed to model the satisfaction of delay-sensitive media streams. Then, the optimal admissions control on streams are formulated into a social optimum oriented network utility maximization (NUM) problem. The existence of an optimal solution to the NUM problem has been demonstrated through constructing a centralized algorithm for the determining the admissions for all streams. The centralized algorithm provides insights to find the optimal solution through a distributed algorithm. A distributed admissions control method can be developed based on the dual decomposition of the primal problem. The construction of this distributed admissions control method follows the DiffServ approach. © 2011 IEEE.

关键词： Optimal systems

来源：评论

学校读者我要写书评

暂无评论

Virtual Software Execution Environments for distributed Embedded Control Systems

Virtual Software Execution Environments for Distributed Embe...

引用

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

作者： Yukikazu Nakamoto Kenji Yabuuchi Tatsunori Osaki 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 dependability 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 describe a fast CPU simulator and controlled object simulation for testing control software in a virtual software execution environment. The virtual environment integrates a CPU simulator and a controlled object simulator in order to test functional behaviors of embedded control software. The environment enables the developer to test control software at the same execution rate as a real system without the source codes. This is very helpful because in this industry, not all of the source codes are provided.

关键词： Software Unified modeling language Control systems Mathematical model Automotive engineering Vehicles Hardware

来源：评论

学校读者我要写书评

暂无评论

Optimization of time-Partitions for Mixed-Criticality real-time distributed Embedded Systems

Optimization of Time-Partitions for Mixed-Criticality Real-T...

引用

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

作者： Domitian Tamaş-Selicean Paul Pop DTU Informatics Technical University of Denmark Kongens Lyngby Denmark

In this paper we are interested in mixed-criticality embedded real-time applications mapped on distributed heterogeneous architectures. The architecture provides both spatial and temporal partitioning, thus enforcing enough separation for the critical applications. With temporal partitioning, each application is allowed to run only within predefined time slots, allocated on each processor. The sequence of time slots for all the applications on a processor are grouped within a Major Frame, which is repeated periodically. We assume that the safety-critical applications (on all criticality levels) are scheduled using static-cyclic scheduling and the non-critical applications are scheduled using fixed-priority preemptive scheduling. We consider that each application runs in a separate partition, and each partition is allocated several time slots on the processors where the application is mapped. We are interested to determine the sequence and size of the time slots within the Major Frame on each processor such that both the safety-critical and non-critical applications are schedulable. We have proposed a Simulated Annealing-based approach to solve this optimization problem. The proposed algorithm has been evaluated using several synthetic and real-life benchmarks.

关键词： real time systems Computer architecture Schedules Simulated annealing Nickel Embedded systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

An Invariant Preserving Transformation for PLC Models

An Invariant Preserving Transformation for PLC Models

引用

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

作者： Jan Olaf Blech Anton Hattendorf Jia Huang Fortiss GmbH Munchen Germany

Many applications in the industrial control domain are safety-critical. A large number of analysis techniques to guarantee safety may be applied at different levels in the development process of a Programmable Logic Controller. The development process is typically associated with a tool chain comprising model transformations. The preservation of safety properties in model transformations is necessary to achieve a safe system. Preservation can be guaranteed by showing that invariants are preserved by transformations. Adequate transformation rules and invariant specification mechanisms are needed for this. We report on a transformation from Sequential Function Charts and Function Block Diagrams of the IEC 61131-3 standard to BIP. Our presentation features a description of formal syntax and semantics of the involved languages. We present transformation rules for generating BIP code out of IEC 61131-3 specifications. Based on this, we establish a notion of invariant preservation between the two languages.

关键词： IEC standards Semantics Safety Cost accounting Connectors object oriented modeling Heating

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 2011 international Conference on High Performance computing and Simulation, HPCS 2011

Proceedings of the 2011 International Conference on High Per...

引用

2011 international Conference on High Performance computing and Simulation, HPCS 2011

ISBN: (纸本)9781612843810

The proceedings contain 114 papers. The topics discussed include: dynamic placement of virtual machines for cost optimization in multi-cloud environments;machines, methods and music: on the evolution of e-research;parallel and distributed simulation from many cores to the public cloud;exploiting concurrent kernel execution on graphic processing units;parallelization of the functional flow algorithm for prediction of protein function using protein-protein interaction networks;towards self-caring MapReduce: proactively reducing fault-induced execution-time penalties;linear programming based parallel job scheduling for power constrained systems;improved real-time scheduling for periodic tasks on multiprocessors;task scheduling strategies for dynamic reconfigurable processors in distributed systems;a hybrid scheduling technique for grid workflows in advance reservation environments;and meeting deadlines within object-oriented systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Software-Pipelined Approach to Multicore Execution of Timing Predictable Multi-threaded Hard real-time Tasks

A Software-Pipelined Approach to Multicore Execution of Timi...

引用

international symposium on object-oriented real-time distributed computing

作者： Marco Paolieri Eduardo Quiñones Francisco J. Cazorla Julian Wolf Theo Ungerer Sascha Uhrig Zlatko Petrov Universitat Politecnica de Catalunya Spain Barcelona Supercomputing Center (BSC) Spain Spanish National Research Council (IIIA-CSIC) Spain University of Augsburg Germany Germany Technical University Dortmund Germany Germany Honeywell International Inc. Czech Republic Honeywell International s.r.o. Czech Republic

Multicore processors can deliver higher performance than single-core processors by exploiting thread level parallelism (TLP): applications are split into independent threads, each of which is mapped into a different core, reducing the execution time and potentially its worst-case execution time (WCET). Unfortunately, inter-thread interferences generated by simultaneous accesses to shared resources from different threads may completely destroy the performance benefits brought by TLP. This paper proposes a software/hardware cache partitioning approach that reduces the inter-thread memory interferences generated in hard real-time software-pipelined parallel applications. Our results show that our approach effectively reduces memory interferences, while still guaranteeing a predictable timing behaviour, achieving a WCET estimation reduction of 28% for a software pipelined version of the LU decomposition application with respect to the single-threaded version.

关键词： Instruction sets Multicore processing Pipeline processing Estimation real time systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共143页 << < 23 24 25 26 27 28 29 30 31 32 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：