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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,127 篇 会议
24 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

1,358 篇 工学
- 1,200 篇 计算机科学与技术...
- 566 篇 软件工程
- 526 篇 电气工程
- 236 篇 控制科学与工程
- 189 篇 信息与通信工程
- 61 篇 电子科学与技术（可...
- 51 篇 动力工程及工程热...
- 46 篇 机械工程
- 29 篇 仪器科学与技术
- 27 篇 交通运输工程
- 25 篇 安全科学与工程
- 25 篇 网络空间安全
- 21 篇 生物工程
- 19 篇 生物医学工程（可授...
- 16 篇 公安技术
- 15 篇 光学工程
- 15 篇 测绘科学与技术
- 14 篇 石油与天然气工程
195 篇 管理学
- 174 篇 管理科学与工程(可...
- 79 篇 工商管理
- 32 篇 图书情报与档案管...
159 篇 理学
- 82 篇 数学
- 34 篇 物理学
- 29 篇 系统科学
- 24 篇 生物学
- 16 篇 统计学（可授理学、...
- 13 篇 化学
26 篇 医学
- 15 篇 公共卫生与预防医...
25 篇 法学
- 23 篇 社会学
14 篇 文学
- 14 篇 新闻传播学
9 篇 经济学
6 篇 农学
3 篇 教育学
3 篇 军事学

主题

436 篇 real time system...
371 篇 real-time system...
203 篇 embedded systems
148 篇 processor schedu...
113 篇 timing
110 篇 computational mo...
101 篇 hardware
97 篇 embedded system
82 篇 protocols
79 篇 computer archite...
79 篇 embedded computi...
79 篇 delay
76 篇 resource managem...
71 篇 energy consumpti...
64 篇 scheduling
63 篇 scheduling algor...
62 篇 computer science
62 篇 program processo...
58 篇 wireless sensor ...
57 篇 monitoring

机构

10 篇 department of co...
9 篇 malardalen univ ...
8 篇 city university ...
7 篇 department of co...
7 篇 college of compu...
6 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 scuola super san...
6 篇 uppsala universi...
6 篇 department of co...
5 篇 department of co...
5 篇 chongqing univ c...
5 篇 eindhoven univer...
5 篇 malardalen univ ...
5 篇 information and ...
5 篇 graduate institu...
5 篇 department of co...
5 篇 mälardalen unive...
4 篇 evidence srl pis...

作者

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...
9 篇 chun jason xue
8 篇 bril reinder j.
8 篇 nan guan
7 篇 shinpei kato
7 篇 kato shinpei
7 篇 dakai zhu
7 篇 kuo tei-wei
7 篇 xue chun jason
7 篇 tovar eduardo
7 篇 tatsuo nakajima
7 篇 behnam moris

语言

2,141 篇 英文
7 篇 其他
3 篇 中文
1 篇 葡萄牙文

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

共 2151 条记录，以下是91-100 订阅

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

详细简洁

排序：

A Hardware/Software CBSE Framework for RTOS Services: the Timing Service Case Study

A Hardware/Software CBSE Framework for RTOS Services: the Ti...

引用

15th ieee international conference on Computational Science and Engineering (CSE) / 10th ieee/IFIP international conference on embedded and Ubiquitous computing (EUC)

作者： Rubini, Stephane Babau, Jean-Philippe Boukhobza, Jalil Univ Europeenne Bretagne Rennes France Univ Brest CNRS UMR 3192 Lab STICC F-29285 Brest 3 France

ISBN: (纸本)9781467351652;9780769549149

the ever-growing complexity of today's embedded system, and the extra functional requirements like temporal or energy consumption constraints are one of the more exciting challenges for today's embedded system designers. Keeping the design space as open as possible, especially with regards to the hardware (HW) or software (SW) assignments of the system functions, are key points to minimize the project risk. In this paper, we propose a HW/SW Component-Based System Engineering framework for real-time Operating systems (RTOS) services. the proposed approach combines the flexibility and power of software component based approach with the adaptability and performance of reconfigurable hardware architectures. this study focuses on the RTOS timing services case study. We show in this paper the value of such an approach especially in a context of precise time-driven requirements.

关键词： real-time Operating systems Component-Based System Engineering timing service reconfigurable hardware

来源：评论

学校读者我要写书评

暂无评论

A Statistical Approach to Response-time Analysis of Complex embedded real-time systems

A Statistical Approach to Response-Time Analysis of Complex ...

引用

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

作者： Lu, Yue Nolte, thomas Kraft, Johan Norstrom, Christer Malardalen Univ Malardalen Real Time Res Ctr Vasteras Sweden

ISBN: (纸本)9780769541556

this paper presents RapidRT, a novel statistical approach to Worst-Case Response-time (WCRT) analysis targeting complex embedded real-time systems. the proposed algorithm combines Extreme Value theory (EVT) and other statistical methods in order to produce a probabilistic WCRT estimate. this estimate is calculated using response time data from either Monte Carlo simulations of a detailed model of the system, or from response-time measurements of the real system. the method could be considered as a pragmatic approach intended for complex industrial systems with real-time requirements. the target systems contain tasks with many intricate dependencies in their temporal behavior, which violates the assumptions of traditional analytical methods for response time analysis and thereby makes them overly pessimistic. An evaluation is presented using two simulation models, inspired by an industrial robotic control system, and five other methods as reference.

关键词： Reaction time time series analysis real-time systems Simulation models Statistical methods embedding Monte Carlo technique

来源：评论

学校读者我要写书评

暂无评论

DVFS Virtualization for Energy Minimization of Mixed-Criticality Dual-OS Platforms 28

DVFS Virtualization for Energy Minimization of Mixed-Critica...

引用

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

作者： Komori, Takumi Masuda, Yutaka Ishihara, Tohru Nagoya Univ Grad Sch Informat Chikusa Ku Furo Cho Nagoya Aichi 4648603 Japan

ISBN: (数字)9781665453448

ISBN: (纸本)9781665453448

A dual-OS platform can efficiently implement emerging mixed-criticality systems by consolidating a real-time OS (RTOS) and a general-purpose OS (GPOS). Although the dual-OS platform attracts increasing attention, it often suffers from energy inefficiency in the GPOS for guaranteeing real-time responses of the RTOS. this paper proposes an energy minimization method called DVFS virtualization, which allows running multiple DVFS policies dedicated to the RTOS and GPOS, respectively. the experimental evaluation using a commercial processor showed that the proposed hardware could change the supply voltage within 500 ns and reduce the energy consumption of typical applications by 60% in the best case compared to conventional dual-OS platforms.

关键词： Dynamic voltage scaling Virtual machine monitors real-time systems Mixed-criticality embedded software

来源：评论

学校读者我要写书评

暂无评论

Dynamic Voltage and Frequency Scaling for real-time Scheduling on a Prioritized SMT Processor

Dynamic Voltage and Frequency Scaling for Real-Time Scheduli...

引用

1st international Workshop on Cyber-Physical systems, Networks, and applications (CPSNA) held during 17th ieee international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Fujii, Kei Chishiro, Hiroyuki Matsutani, Hiroki Yamasaki, Nobuyuki Keio Univ Dept Comp Sci Grad Sch Sci & Technol Yokohama Kanagawa Japan

ISBN: (纸本)9780769545028

Cyber Physical systems are composed of many embedded systems which monitor and control the physical processes for tight integrations of computation and physical processes. Such embedded systems require not only real-time capabilities but also high throughput and low power consumption. High throughput is mainly achieved by parallel architectures such as Simultaneous Multithreading (SMT) and Chip Multiprocessor (CMP), and low power consumption is mainly achieved by real-time Dynamic Voltage and Frequency Scaling (RT-DVFS) under the real-time constraint. In this paper, we present a RT-DVFS algorithm called Hetero Efficiency to Logical Processor (HeLP) which can reduce power consumption easily and effectively in prioritized SMT processors. We also present Hetero Efficiency to Logical Processor with Temporal Migration (HeLP-TM) which applies the temporal migration technique to HeLP. Simulation results show that HeLP can reduce power consumption effectively and HeLP-TM is more effective than HeLP.

关键词： real-time Dynamic Voltage and Frequency Scaling Prioritized SMT Processor embedded and real-time systems RMT Processor

来源：评论

学校读者我要写书评

暂无评论

Tickwerk: Design of a LET-based SoC for Temporal Programming 15

Tickwerk: Design of a LET-based SoC for Temporal Programming

引用

15th ieee international Symposium on Parallel and Distributed Processing with applications (ISPA) / 16th ieee international conference on Ubiquitous computing and Communications (IUCC)

作者： Luo, Haizhao Wan, Bo Li, Xi Wu, Guixing Chen, Xianglan Wang, Chao Univ Sci & Technol China Hefei Anhui Peoples R China

ISBN: (纸本)9781538637906

In a hard real-time embedded system, time constraint is one of the most important features. However, to pursue the ultimate average performance, traditional architectures such as x86 and MIPS abandon the support for timing semantics. Although time-aware programming models can define the timing of I/O behaviors, but the programming models are still based on the traditional architectures. this paper presents the Tickwerka SoC that can support temporal programming which including a Tickwerk Machine and a Tickwerk real-time executive. the Tickwerk machine is a MIPS processor that has a CP2 co-processor which has instruction-level access to cycle-accurate time service, time trigger assignment mechanism and time trigger task manager. Moreover, we also propose a Tickwerk real-time executive to provide a convenient LET-based temporal programming interface for the development of real-time embedded applications based on the Tickwerk Machine. We demonstrate the effectiveness of this Tickwerk Machine architecture through comparative experiment. the results show that the average output jitter of the Tickwerk Machine is about 1/20 of the traditional architecture, in spite that the Tickwerk Machine's frequency is 40Mhz while that of traditional architecture is 168Mhz.

关键词： Hardware coprocessors I/O behavior predictability Predictability real-time systems Temporal programming time predictability time trigger task

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Generalizing Response-time Analysis

Generalizing Response-Time Analysis

引用

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

作者： Pollex, Victor Kollmann, Steffen Slomka, Frank Ulm Univ Inst Embedded Syst Real Time Syst Ulm Germany

ISBN: (纸本)9780769541556

In real-time theory, basically two approaches for the computation of response-times exist. One of them is the busy window method, the other is the real-time calculus, an extension of the network calculus. While both can be used to compute the bounds of response-times, they have different properties that make them suitable for different system architectures. the busy window approach on the one hand is able to obtain tight bounds for scheduling policies like round-robin. It is also capable of considering offsets, therefore delivering better results in the relevant cases. Hierarchical scheduling on the other hand can be better accounted for by the real-time calculus, where this is an inherent feature of the underlying concept. the approach we present in this paper takes the theory of hierarchy from the real time calculus and uses it to generalize the response-time analysis. this is implemented as an extension of the busy window method, which enables it to analyze scheduling hierarchies of an arbitrary depth.

关键词： hierarchical scheduling real-time analysis real-time analysis time series analysis Reaction time Calculus Calculi window method Social Hierarchy real time

来源：评论

学校读者我要写书评

暂无评论

A Two-Step Hybrid Approach for Verifying real-time Robotic systems 26

A Two-Step Hybrid Approach for Verifying Real-Time Robotic S...

引用

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

作者： Foughali, Mohammed Univ Grenoble Alpes CNRS VERIMAG Grenoble France

ISBN: (数字)9781728144030

ISBN: (纸本)9781728144030

Due to the severe consequences of their possible failure, robotic systems must be rigorously verified against (i) behavioral properties, such as safety and (ii) real-time properties, such as schedulability, while taking into account the real hardware (e.g. number of cores) and operating system (e.g. scheduling policy) specificities. Formal verification and schedulability analysis are popular approaches that may help with such verification, but suffer from limitations such as scalability issues (for the former) and difficulty to generalize to complex robotic tasks (for the latter), when used independently. In this paper, we propose a two-step, efficient solution that combines both approaches. the first step provides a sufficient condition for the schedulability of hard-real-time tasks in a robotic application. then, the second step automatically generates a formal model of the application, on which other important properties may be verified formally using statistical model checking. the solution is applied to an autonomous drone case study.

关键词： Task analysis Robots Drones Genomics Bioinformatics real-time systems Model checking

来源：评论

学校读者我要写书评

暂无评论

Improving GPOS real-time Responsiveness using vCPU Migration in an embedded Multicore Virtualization Platform

Improving GPOS Real-time Responsiveness using vCPU Migration...

引用

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

作者： Lin, Tsung-Han Mitake, Hitoshi Nakajima, Tatsuo Waseda Univ Dept Comp Sci & Engn Tokyo Japan

ISBN: (纸本)9781479908509

In this paper, a vCPU (virtual CPU) migration mechanism in order to improve real-time responsiveness in a GPOS (General Purpose Operating System) is presented in the embedded multicore virtualization platform and can also be applied to CPS environment. In a GPOS/RTOS (real time Operating System) virtualization system nowadays, tasks in GPOS, however, also need some degree of real-time services from the system. Unfortunately, in a traditional virtualization platform, a virtualization layer always gives RTOS vCPU higher priority and preempts the execution of GPOS. therefore, a kernel module in the GPOS is added in our virtualization system to export and boost a GPOS vCPU contexts which needs higher priority against RTOS vCPU. At the same time, in order not to sacrifice the performance of the victim RTOS vCPU, a vCPU migration mechanism is added to our virtualization system, and migrates the RTOS vCPU to a low-loading CPU when this vCPU is preempted. Performance improvement of GPOS's real-time responsiveness is also given while a detailed analysis of the overhead of the RTOS vCPU is performed as well.

关键词： Virtualization

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共216页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：