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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,991 篇 会议
32 篇 期刊文献
1 册 图书

馆藏范围

2,024 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,269 篇 工学
- 1,122 篇 计算机科学与技术...
- 546 篇 软件工程
- 496 篇 电气工程
- 186 篇 控制科学与工程
- 151 篇 信息与通信工程
- 59 篇 电子科学与技术（可...
- 54 篇 动力工程及工程热...
- 37 篇 机械工程
- 32 篇 仪器科学与技术
- 22 篇 生物工程
- 22 篇 安全科学与工程
- 16 篇 光学工程
- 16 篇 交通运输工程
- 16 篇 生物医学工程（可授...
- 12 篇 网络空间安全
- 10 篇 航空宇航科学与技...
- 9 篇 力学（可授工学、理...
- 9 篇 石油与天然气工程
177 篇 管理学
- 154 篇 管理科学与工程(可...
- 83 篇 工商管理
- 37 篇 图书情报与档案管...
154 篇 理学
- 83 篇 数学
- 31 篇 系统科学
- 30 篇 物理学
- 25 篇 生物学
- 19 篇 统计学（可授理学、...
- 13 篇 化学
19 篇 医学
- 17 篇 临床医学
- 9 篇 基础医学(可授医学...
11 篇 经济学
- 11 篇 应用经济学
7 篇 法学
4 篇 农学
3 篇 军事学
2 篇 教育学
1 篇 文学

主题

429 篇 real time system...
320 篇 real-time system...
180 篇 embedded systems
137 篇 processor schedu...
105 篇 timing
103 篇 embedded system
101 篇 hardware
90 篇 computational mo...
82 篇 embedded computi...
73 篇 computer archite...
72 篇 resource managem...
68 篇 protocols
68 篇 delay
62 篇 scheduling algor...
62 篇 energy consumpti...
61 篇 program processo...
59 篇 computer science
58 篇 scheduling
57 篇 control systems
56 篇 application soft...

机构

9 篇 department of co...
8 篇 college of compu...
8 篇 city university ...
7 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 malardalen univ ...
6 篇 uppsala universi...
6 篇 department of co...
6 篇 mälardalen unive...
5 篇 department of co...
5 篇 chongqing univ c...
5 篇 mälardalen real-...
5 篇 northeastern uni...
5 篇 ieee
5 篇 information and ...
5 篇 department of co...
5 篇 scuola super san...
5 篇 department of co...
5 篇 malardalen univ ...

作者

16 篇 thomas nolte
16 篇 nolte thomas
12 篇 jian-jia chen
12 篇 anderson james h...
11 篇 tei-wei kuo
11 篇 james h. anderso...
10 篇 nakajima tatsuo
10 篇 chen jian-jia
9 篇 nobuyuki yamasak...
8 篇 tovar eduardo
8 篇 chun jason xue
8 篇 nan guan
7 篇 shinpei kato
7 篇 kato shinpei
7 篇 dakai zhu
7 篇 kuo tei-wei
7 篇 xue chun jason
7 篇 tatsuo nakajima
7 篇 cheng albert m. ...
6 篇 bril reinder j.

语言

2,010 篇 英文
12 篇 其他
2 篇 中文

检索条件"任意字段=13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications"

共 2024 条记录，以下是851-860 订阅

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

详细简洁

排序：

Specifying Automated Oracles for Simulink Models

Specifying Automated Oracles for Simulink Models

引用

ieee 19th international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Nardi, Paulo A. Delamaro, Marcio E. Baresi, Luciano Univ Sao Paulo ICMC Sao Carlos SP Brazil Politecn Milan Dipartimento Elettron Informaz & Bioingn I-20133 Milan Italy

ISBN: (纸本)9781479908516

this paper presents a partially-automated solution for the definition of test oracles for validating Simulink models. Since these models are widely used for the design of embedded systems, their thorough validation is key. Errors and misunderstandings in these models may preclude the correctness and reliability of the final system: a manual, human-intensive validation activity is not enough, and automated solutions are fundamental to improve the current state of the art. the paper also presents Apolom, a prototype oracle generator, and the results of two experiments.

关键词： Automation embedded systems accuracy class current status state of the art Information retrieval systems-Teletext and videotex Solutions

来源：评论

学校读者我要写书评

暂无评论

High Performance Logging System for embedded UNIX and GNU/Linux applications

High Performance Logging System for Embedded UNIX and GNU/Li...

引用

ieee 19th international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Jeong, Jaein Cisco Syst San Jose CA 95134 USA

ISBN: (纸本)9781479908516

We present a high performance logging system for embedded UNIX and GNU/Linux applications. Compared to the standard UNIX and GNU/Linux logging method, syslog, our method has two orders of magnitude lower latency and an order of magnitude higher message throughput. this speed-up is mainly due to the use of a memory-mapped file as the means of interprocess communication, fewer memory copies and the batching of output messages in the logging daemon. In addition, our logging system also accepts syslog messages, providing compatibility with existing applications. Our logging system is in production use in the Cisco UCS Virtual Interface Card.

关键词： Unix operating system logging mapping files BATCHES HIGH-PERFORMANCE

来源：评论

学校读者我要写书评

暂无评论

On the Equivalence of Idealised DVFS and thermally Constrained DPM in real-time systems

On the Equivalence of Idealised DVFS and Thermally Constrain...

引用

ieee 19th international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Awan, Muhammad Ali Petters, Stefan M. Polytech Inst Porto ISEP CISTER INESC TEC Oporto Portugal

ISBN: (纸本)9781479908516

Modern real-time embedded systems have increasingly penetrated our daily life and are also often constrained in terms of temperature and energy. In this paper, a thesis is defended that from a real-time systems perspective, thermally constrained dynamic power management approaches behave very similar to idealised dynamic voltage and frequency scaling. Hence, existing dynamic voltage and frequency scaling solutions proposed for periodic/sporadic task models can be applied to thermally constrained dynamic power management systems with moderate effort. this work presents the similarities along with the distinctive elements between two approaches. Within the case study, the porting of a dynamic voltage and frequency scaling algorithm of the literature to thermally constrained dynamic power management system is demonstrated.

关键词： real-time systems Power management system digital power management frequency scaling equivalence task models VOLTAGE

来源：评论

学校读者我要写书评

暂无评论

IDAMC: A NoC for Mixed Criticality systems

IDAMC: A NoC for Mixed Criticality Systems

引用

ieee 19th international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Tobuschat, Sebastian Axer, Philip Ernst, Rolf Diemer, Jonas Tech Univ Carolo Wilhelmina Braunschweig Inst Comp & Network Engn Braunschweig Germany Symtavision GmbH Braunschweig Germany

ISBN: (纸本)9781479908516

Increasing demand for performance and further integration promotes the use of multi-and many-core systems - also in safety-critical embedded systems. In this domain, hardware platforms obviously have to support real-time, predictability constrained applications such as an anti-lock braking system. However, the on-going trend to integrate multiple functions with different criticalities (mixed critical) on a single platform calls for a paradigm shift. Mixed-critical systems require special attention with respect to functional (access protection) and non-functional (performance) isolation. An additional layer of protection and guaranteed service on the underlying infrastructure enables the efficient adoption of such architectures in safety-critical domains. In this paper, we present the IDAMe, a many-core platform which provides mechanisms to integrate applications of different criticalities on a single platform.

关键词： Criticality Platform Hardware Platform Antilock Braking systems ARCHITECTURE Integrate Ozone protection

来源：评论

学校读者我要写书评

暂无评论

Multi-Level Adaptive Hierarchical Scheduling Framework for Composing real-time systems

Multi-Level Adaptive Hierarchical Scheduling Framework for C...

引用

ieee 19th international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Khalilzad, Nima Moghaddami Behnam, Moris Nolte, thomas MRTC Malardalen Univ SE-72123 Vasteras Sweden

ISBN: (纸本)9781479908509

Processor partitioning and hierarchical scheduling have been widely used for composing hard real-time systems on a shared hardware platform while preserving the timing requirements of the systems. Due to the safety critical nature of hard real-time systems, a conservative analysis is often used for deriving a sufficient partition size. Applying the exact same analysis for deriving the partition sizes for soft real-time systems result in unnecessary processors overallocation and consequently waste of the CPU resource. In this paper, to address the problem of composing soft and hard real-time systems on a resource constrained shared hardware, we present a multi-level adaptive hierarchical scheduling framework. In our framework, we adapt the processor partition sizes of soft real-time systems according to their need at each time point by on-line monitoring their processor demand. Furthermore, we implement our adaptive framework in the Linux kernel and show the performance of our framework using a case study.

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

Scheduling Algorithms for Elastic Mixed-Criticality Tasks in Multicore systems

Scheduling Algorithms for Elastic Mixed-Criticality Tasks in...

引用

ieee 19th international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Su, Hang Zhu, Dakai Mosse, Daniel Univ Texas San Antonio San Antonio TX 78249 USA Univ Pittsburgh Pittsburgh PA 15260 USA

ISBN: (纸本)9781479908509

the Elastic Mixed-Criticality (E-MC) task model and an Early-Release EDF (ER-EDF) scheduling algorithm have been studied to address the service interruption problem for low-criticality tasks in uniprocessor systems. In this paper, focusing on multicore systems, we first investigate the schedulability of E-MC tasks under partitioned-EDF (P-EDF) by considering various task-to-core mapping heuristics. then, with and without task migrations being considered, we study both global and local early-release schemes. Compared to the state-of-the-art Global EDF-VD scheduler, the superior performance of the proposed schemes in terms of improving the service levels of low-criticality tasks is confirmed through extensive simulations.

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

SyncSnap: Synchronized Live Memory Snapshots of Virtual Machine Networks

SyncSnap: Synchronized Live Memory Snapshots of Virtual Mach...

引用

ieee international conference on High Performance computing and Communications (HPCC)

作者： Bin Shi Bo Li Lei Cui Jieyu Zhao Jianxin Li School of Computer Science and Engineering Beihang University Beijing China

ISBN: (纸本)9781479961245

With the prevalence of virtualization technology, virtual machine networks (VMN) have been widely used in host network applications. To provide fault tolerance and non-stop features to network applications and preserve the network consistency among virtual machines (VM), the distributed snapshot technique of virtual machine networks regains the attention of academia. While existing approaches still suffer from long service interruption and performance degradation when taking snapshots. Especially the TCP back off problem, which is due to the inconsistence of the snapshot completion time among VMs, may lead to network packet loss and even crash the connections among virtual machines. In this paper, we present Sync Snap, a system that takes live distributed memory snapshots of virtual machine networks synchronously with only milliseconds of downtime and ensure all the VMs complete snapshots at almost the same time. An adaptive single-VM snapshot approach is proposed to accurately control the snapshot duration through dynamically adjusting the snapshot speed. Furthermore, a synchronization mechanism is designed to ensure that a global consistency state of VMN can be reached by controlling snapshot duration of each VM. We have implemented SyncSnap on QEMU/KVM and performed several experiments to evaluate its effectiveness and efficiency. the experimental results demonstrate that our approach can control the VM snapshot duration to a given value with only tens of milliseconds deviation and reduce TCP back off duration to hundreds milliseconds.

关键词： Virtual machining Servers Synchronization real-time systems Calibration Radiation detectors Process control

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 17th ieee international conference on embedded and real-time computing systems and applications, RTCSA 2011

Proceedings - 17th IEEE International Conference on Embedded...

引用

17th ieee international conference on embedded and real-time computing systems and applications, RTCSA 2011

ISBN: (纸本)9780769545028

the proceedings contain 68 papers. the topics discussed include: reducing preemptions and migrations in real-time multiprocessor scheduling algorithms by releasing the fairness;mode transition for online scheduling of adaptive real-time systems on multiprocessors;utilization-controlled task consolidation for power optimization in multi-core real-time systems;a reliability enhancement mechanism for high-assurance MLC flash-based storage systems;limiting worst-case end-to-end latency when traffic increases in a switched avionics network;design and implementation of on-chip adaptive router with predictor for regional congestion;HW resource componentizing for addressing the mega-complexity of cyber-physical systems;Virtual Lock: a smartphone application for personal surveillance using camera sensor networks;dynamic activation timing configuration for product line development;and stabilization of projected image for wearable walking support system using Pico-projector.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Space-Based Wear Leveling for PCM-Based embedded systems

A Space-Based Wear Leveling for PCM-Based Embedded Systems

引用

ieee 19th international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Long, Linbo Liu, Dou Hu, Jingtong Gu, Shouzhen Zhuge, Qingfeng Shau, Edwin H. -M. Chongqing Univ Coll Comp Sci Chongqing 630044 Peoples R China Univ Texas Dallas Dept Comp Sci Richardson TX 75080 USA

ISBN: (纸本)9781479908509

Phase change memory (PCM) has emerged as a promising candidate to replace DRAM in embedded systems. However, it can only sustain a limited number of write operations. To solve this issue, this paper proposes a novel and effective wear-leveling technique in software level to prolong the lifetime of PCM-based embedded systems. A polynomialtime algorithm, Multi-Space Wear Leveling Algorithm (MWL), is proposed to achieve effective wear-leveling. the experimental results show our technique can greatly extend the lifetime of PCM-based embedded systems compared with the previous work. Compared with the method without adopting wear-leveling, it introduces no more than 0.7% extra writes and 0.6% running overhead.

关键词： phase change memory wear-leveling endurance non-volatile memory embedded systems

来源：评论

学校读者我要写书评

暂无评论

Response-time analysis of mixed criticality systems with pessimistic frequency specification

Response-time analysis of mixed criticality systems with pes...

引用

ieee 19th international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Baruah, Sanjoy Chattopadhyay, Bipasa Univ N Carolina Chapel Hill NC 27515 USA

ISBN: (纸本)9781479908516

In modern embedded platforms, safety-critical functionalities that must be certified correct to very high levels of assurance may co-exist with less critical software that are not subject to certification requirements. One seeks to satisfy two, sometimes contradictory, goals upon such mixed-criticality platforms: (i) certify the safety-critical functionalities under very conservative assumptions, and (ii) achieve high resource utilization during run-time, when actual behavior does not live up to the pessimistic assumptions under which certification was made. this paper describes efforts at designing fixed-priority scheduling algorithms that balance these two requirements, when scheduling recurrent tasks that are triggered by external events of unknown exact frequency.

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共203页 << < 82 83 84 85 86 87 88 89 90 91 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：