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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,361 篇 工学
- 1,219 篇 计算机科学与技术...
- 606 篇 软件工程
- 485 篇 电气工程
- 196 篇 信息与通信工程
- 177 篇 控制科学与工程
- 70 篇 电子科学与技术（可...
- 56 篇 动力工程及工程热...
- 48 篇 网络空间安全
- 41 篇 机械工程
- 33 篇 交通运输工程
- 32 篇 安全科学与工程
- 31 篇 仪器科学与技术
- 29 篇 生物工程
- 19 篇 建筑学
- 17 篇 生物医学工程（可授...
- 15 篇 光学工程
- 15 篇 土木工程
- 11 篇 环境科学与工程（可...
- 8 篇 石油与天然气工程
177 篇 管理学
- 156 篇 管理科学与工程(可...
- 99 篇 工商管理
- 35 篇 图书情报与档案管...
171 篇 理学
- 86 篇 数学
- 33 篇 系统科学
- 32 篇 物理学
- 32 篇 生物学
- 13 篇 统计学（可授理学、...
- 11 篇 化学
22 篇 法学
- 21 篇 社会学
11 篇 经济学
- 11 篇 应用经济学
10 篇 医学
8 篇 军事学
6 篇 农学
3 篇 教育学
1 篇 文学

主题

432 篇 real time system...
351 篇 real-time system...
196 篇 embedded systems
143 篇 processor schedu...
115 篇 embedded system
107 篇 hardware
106 篇 timing
97 篇 computational mo...
82 篇 computer archite...
80 篇 embedded computi...
74 篇 resource managem...
74 篇 energy consumpti...
68 篇 control systems
66 篇 computer science
66 篇 protocols
65 篇 scheduling algor...
64 篇 delay
60 篇 schedules
60 篇 program processo...
60 篇 scheduling

机构

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

作者

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

语言

2,182 篇 英文
11 篇 其他
1 篇 中文

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

共 2194 条记录，以下是111-120 订阅

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

详细简洁

排序：

An energy-efficient approach for real-time tracking of moving objects in multi-level sensor networks

An energy-efficient approach for real-time tracking of movin...

引用

11th ieee international conference on embedded and real-time computing systems and applications

作者： Tseng, Vincent S. Lu, Eric H. C. Lin, Kawuu W. Institute of Computer Science and Information Engineering National Cheng Kung University Tainan Taiwan

ISBN: (纸本)0769523463

In this paper, we propose a new approach for efficient and real-time tracking of the moving objects in sensor networks by mining the movement log. In our approach, we first conduct the hierarchical clustering to form a hierarchical model for the sensor nodes. Secondly, the movement logs of the moving objects are analyzed by a data mining algorithm to obtain the movement rules, which are then used to predict the next position of a moving object. Besides, we use the multi-level structure to represent the hierarchical relations among sensors so as to achieve the goal of keeping track of moving objects in real-time. through experimental evaluation on various simulation conditions, the proposed method is shown to deliver excellent performance in terms of both energy efficiency and timeliness. © 2005 ieee.

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

A Loadable Task Execution Recorder for Hierarchical Scheduling in Linux

A Loadable Task Execution Recorder for Hierarchical 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)

作者： Asberg, Mikael Nolte, thomas Kato, Shinpei MRTC Malardalen Univ POB 883 SE-72123 Vasteras Sweden Carnegie Mellon Univ Dept Elect & Comp Engn Pittsburgh PA 15213 USA

ISBN: (纸本)9780769545028

this paper presents a Hierarchical Scheduling Framework (HSF) recorder for Linux-based operating systems. the HSF recorder is a loadable kernel module that is capable of recording tasks and servers without requiring any kernel modifications. Hence, it complies with the reliability and stability requirements in the area of embedded systems where proven versions of Linux are preferred. the recorder is built upon the loadable real-time scheduler framework RESCH (real-time SCHeduler). We evaluate our recorder by comparing the overhead of this solution against another (patched) recorder. Also, the tracing accuracy of the HSF recorder is tested by running a media-processing task together with periodic real-time Linux tasks in combination with servers. the tests are recorded with the HSF recorder, and the Ftrace recorder, in order to show the correctness of the experiments and the HSF recorder itself.

关键词： real-time systems hierarchical scheduling replay debugging execution visualization

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

LyraNET: A zero-copy TCP/IP protocol stack for embedded operating systems

LyraNET: A zero-copy TCP/IP protocol stack for embedded oper...

引用

11th ieee international conference on embedded and real-time computing systems and applications

作者： Li, Yun-Chen Chiang, Mei-Ling Department of Information Management National Chi-Nan University Puli Taiwan

ISBN: (纸本)0769523463

embedded systems are usually resource limited in terms of processing power, memory, and power consumption, thus embedded TCP/IP should be designed to make the best use of limited resources. Applying zero-copy mechanism can reduce memory usage and CPU processing time for data transmission. Power consumption can be reduced as well. In this paper, we present the design and implementation of zero-copy mechanism in the target embedded TCP/IP component, LyraNET, which is derived from Linux TCP/IP codes and remodeled as a reusable software component that is independent from operating systems and hardware. Performance evaluation shows that TCP/IP protocol processing overhead can be significantly decreased by 23-56.22%. Besides, object code size of this network component is only 78% of the size of the original Linux TCP/IP stack. the experience of this study can serve as the reference for embedding Linux TCP/IP stack into a target system and improving the transmission efficiency of Linux TCP/IP by zero-copy implementation. © 2005 ieee.

关键词： Network protocols

来源：评论

学校读者我要写书评

暂无评论

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...

引用

作者： 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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共220页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：