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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,104 篇 会议
45 篇 期刊文献
11 册 图书

馆藏范围

3,160 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,946 篇 工学
- 1,688 篇 计算机科学与技术...
- 853 篇 软件工程
- 552 篇 电气工程
- 276 篇 控制科学与工程
- 273 篇 信息与通信工程
- 93 篇 电子科学与技术（可...
- 80 篇 机械工程
- 75 篇 动力工程及工程热...
- 60 篇 生物工程
- 50 篇 仪器科学与技术
- 49 篇 安全科学与工程
- 34 篇 生物医学工程（可授...
- 33 篇 交通运输工程
- 29 篇 土木工程
- 28 篇 建筑学
- 23 篇 航空宇航科学与技...
- 22 篇 光学工程
- 21 篇 石油与天然气工程
333 篇 理学
- 181 篇 数学
- 67 篇 生物学
- 65 篇 系统科学
- 55 篇 物理学
- 45 篇 统计学（可授理学、...
- 28 篇 化学
247 篇 管理学
- 193 篇 管理科学与工程(可...
- 118 篇 工商管理
- 78 篇 图书情报与档案管...
32 篇 医学
- 26 篇 临床医学
- 23 篇 基础医学(可授医学...
25 篇 法学
- 25 篇 社会学
19 篇 经济学
12 篇 农学
8 篇 军事学
6 篇 教育学
4 篇 文学
1 篇 艺术学

主题

501 篇 real time system...
476 篇 real-time system...
274 篇 embedded systems
162 篇 processor schedu...
157 篇 hardware
131 篇 computer archite...
131 篇 computational mo...
126 篇 embedded system
119 篇 timing
93 篇 embedded computi...
88 篇 energy consumpti...
85 篇 application soft...
85 篇 monitoring
85 篇 protocols
83 篇 scheduling
80 篇 resource managem...
75 篇 control systems
74 篇 delay
70 篇 computer science
70 篇 program processo...

机构

10 篇 college of compu...
10 篇 department of co...
8 篇 chongqing univ c...
8 篇 city university ...
6 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 malardalen univ ...
6 篇 scuola super san...
6 篇 uppsala universi...
6 篇 department of co...
5 篇 department of co...
5 篇 univ texas san a...
5 篇 waseda univ dept...
5 篇 department of co...
5 篇 department of co...
5 篇 univ politecn va...
5 篇 univ houston dep...
5 篇 department of co...
5 篇 malardalen univ ...

作者

14 篇 thomas nolte
13 篇 nolte thomas
12 篇 jian-jia chen
12 篇 tei-wei kuo
12 篇 anderson james h...
12 篇 nakajima tatsuo
11 篇 meikang qiu
11 篇 james h. anderso...
10 篇 shao zili
10 篇 chen jian-jia
9 篇 nobuyuki yamasak...
8 篇 dakai zhu
8 篇 kuo tei-wei
8 篇 tovar eduardo
8 篇 chun jason xue
8 篇 wang yi
8 篇 cheng albert m. ...
8 篇 nan guan
7 篇 shinpei kato
7 篇 kato shinpei

语言

3,127 篇 英文
26 篇 其他
9 篇 中文
1 篇 俄文

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

共 3160 条记录，以下是131-140 订阅

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

详细简洁

排序：

Task-I/O Co-Scheduling for Pfair real-time Scheduler in embedded Multi-Core systems 12

Task-I/O Co-Scheduling for Pfair Real-Time Scheduler in Embe...

引用

12th IEEE/IFIP international conference on embedded and Ubiquitous computing (EUC)

作者： Park, Sangsoo Ewha Womans Univ Dept Comp Sci & Engn Seoul South Korea

ISBN: (纸本)9780769552491

real-time embedded systems often require the ability of robust controls because interactions between the embedded systems and their physical environment that dynamically changes. Multi-core chips are regarded as ideal candidate hardware components for such environments, since each of them carries two or more cores on a single die, and has potential for providing execution parallelism as well as better performance at low cost. Parallelism, on the other hand, necessitates complex analysis of computation problems, such as task scheduling, while improving the realization of embedded controls. Pfair is an optimal scheduling algorithm that can fully utilize all cores in the system, but it incurs an excessive scheduling overhead which, in turn, diminishes its practicality in embedded systems. To mitigate this problem, hybrid partitioned-global Pfair (HPGP) scheduler was proposed, which significantly reduces the number of task migrations and global scheduling points by performing global scheduling only when absolutely necessary, while still achieving full processor utilization. this paper further extends the HPGP scheduler to support the robustness to interactions with the physical environment. Our evaluation results have shown that the extended HPGP can successfully limits the increase in response time caused by the hardware interrupts for physical interactions under a wide range of system utilization conditions., thus making it suitable for embedded real-time systems.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Work-in-Progress Abstract: A New Criterion for Job Switching in Semi-Clairvoyant systems 27

Work-in-Progress Abstract: A New Criterion for Job Switching...

引用

27th IEEE international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Radulescu, Vlad Andrei, Stefan Cheng, Albert M. K. AI Cuza Univ Iasi Dept Comp Sci Iasi Romania Lamar Univ Dept Comp Sci Beaumont TX USA Univ Houston Dept Comp Sci Houston TX 77204 USA

ISBN: (纸本)9781665441889

the concept of graceful degradation in mixed-criticality real-time systems is still struggling to reach a widely accepted, global view. Numerous results have emerged in this field during the last years, but there is still a lot of work to do. this paper comes with an addition to a recent work [2] in the field of scheduling in semi-clairvoyant systems: it introduces a new criterion for determining which low criticality jobs should be switched upon a system criticality mode transition.

关键词： mixed-criticality semi-clairvoyant scheduling graceful degradation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Predictability and efficiency in contemporary Hard RTOS for multiprocessor systems

Predictability and efficiency in contemporary Hard RTOS for ...

引用

作者： Nogueira, Andre Calha, Mario Fac Sci Large Scale Informat Syst Lab Dept Informat Lisbon Portugal

ISBN: (纸本)9780769545028

Hard real-time operating systems have been mostly designed for uniprocessors. Driven by the high computational demand of real-time systems, these operating systems have been re-designed for multiprocessors. Researchers have been identifying issues that affect the predictability of multiprocessor hard real-time systems. these sources of unpredictability make it difficult to accurately predict safe and tight worst-case execution time bounds of real-time tasks. As a result, the performance of multiprocessor hard real-time systems is compromised. In this paper, we present a middleware architecture that aims to provide predictability and high efficiency for multiprocessor hard real-time systems. the middleware supports hybrid hard real-time tasks, which are adaptive hard real-time services that intend to ensure predictability and performance. We also present a prototype of this architecture. Moreover, we identify and discuss issues that affect the predictability and performance of multiprocessor hard real-time systems.

关键词： Computer architecture Linux Middleware Payloads Processor scheduling Prototypes real time systems adaptive hard real-time services contemporary hard RTOS hard real-time operating system hard real-time operating systems middleware middleware architecture multiprocessing systems multiprocessor hard real-time systems multiprocessor processor architecture multiprocessor systems operating systems (computers) real-time systems scheduling wormhole model worst-case execution time bound

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共316页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：