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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,128 篇 会议
24 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

1,358 篇 工学
- 1,200 篇 计算机科学与技术...
- 565 篇 软件工程
- 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...
372 篇 real-time system...
203 篇 embedded systems
148 篇 processor schedu...
113 篇 timing
111 篇 computational mo...
101 篇 hardware
97 篇 embedded system
82 篇 protocols
80 篇 delay
79 篇 computer archite...
79 篇 embedded computi...
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 篇 英文
8 篇 其他
3 篇 中文
1 篇 葡萄牙文

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

共 2152 条记录，以下是291-300 订阅

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

详细简洁

排序：

times square - marriage of real-time and logical-time in GALS and synchronous languages 20

Times square - marriage of real-time and logical-time in GAL...

引用

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

作者： Park, HeeJong Malik, Avinash Salcic, Zoran Univ Auckland Dept Elect & Comp Engn Auckland 1 New Zealand

ISBN: (纸本)9781479939541

In this paper we introduce exact and non-exact real-time waits in reactive Globally Asynchronous Locally Synchronous (GALS) programming languages and synchronous languages as their subset. the language constructs that allow use of real-time waits are illustrated on the SystemJ GALS language. they allow system designers to explicitly use, at the specification level, not only logical time but also the real-time in order to control program execution. the introduced concepts utilize execution platforms that allow finding best and worst reaction time of a GALS or synchronous program.

关键词： Clocks Kernel Programming real-time systems Semantics Synchronization Timing devices real-time systems Semantics Language Programming Kernel semiotics Marital Relationship Marriage real time Seeds

来源：评论

学校读者我要写书评

暂无评论

Energy-efficient scheduling for real-time systems on dynamic voltage scaling (DVS) platforms

Energy-efficient scheduling for real-time systems on dynamic...

引用

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

作者： Chen, Jian-Jia Kuo, Chin-Fu Natl Taiwan Univ Dept Comp Sci & Informat Engn Taipei Taiwan Natl Kaohsiung Univ Dept Comp Sci & Informat Engn Kaohsiung 80778 Taiwan

ISBN: (纸本)9780769529752

Energy-efficient designs have played import roles for hardware and software implementations for a decade. With the advanced technology of VLSI circuit designs, energy-efficiency can be achieved by adopting the dynamic voltage scaling (DVS) technique. In this paper we survey the studies for energy-efficient scheduling in real-time systems on DVS platforms to cover both theoretical and practical issues.

关键词： real-time systems DVS dynamic voltage scaling energy-efficient scheduling

来源：评论

学校读者我要写书评

暂无评论

Analysis of Deadline Miss Rates for Uniprocessor Fixed-Priority Scheduling 24

Analysis of Deadline Miss Rates for Uniprocessor Fixed-Prior...

引用

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

作者： Chen, Kuan-Hsun von der Brueggen, Georg Chen, Jian-Jia TU Dortmund Univ Dept Informat Dortmund Germany

ISBN: (纸本)9781538677599

timeliness is an important feature for many embedded systems. Although soft real-time embedded systems can tolerate and allow certain deadline misses, it is still important to quantify them to justify whether the considered systems are acceptable. In this paper, we provide a way to safely over-approximate the expected deadline miss rate for a specific sporadic real-time task under fixed-priority preemptive scheduling in uniprocessor systems. Our approach is compatible with the existing results in the literature that calculate the probability of deadline misses either based on the convolution-based approaches or analytically. We demonstrate our approach by considering randomly generated task sets with an execution behavior that simulates jobs that are subjected to soft errors incurred by hardware transient faults under a given fault rate. To empirically gather the deadline miss rates, we implemented an event-based simulator with a fault-injection module and release the scripts. With extensive simulations under different fault rates, we evaluate the efficiency and the pessimism of our approach. the evaluation results show that our approach is effective to derive an upper bound of the expected deadline miss rate and efficient with respect to the required computation time.

关键词： Soft real-time systems Deadline Miss Rate

来源：评论

学校读者我要写书评

暂无评论

Automatic generation and validation of models of legacy software

Automatic generation and validation of models of legacy soft...

引用

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

作者： Huselius, Joel Andersson, Johan Hansson, Hans Punnekkat, Sasikumar Malardalen Univ Malardalen Real Time Res Ctr Vasteras Sweden

ISBN: (纸本)0769526764

the modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. the main reasons being that the economic implications and practical hurdles in manually maintaining models of in-use legacy systems are considered too high by the industry. In this paper, we present a method for automated validation of models automatically generated from recordings of executing real-time embedded systems. this forms an essential constituent of a unified process for the automatic modeling of legacy software. We also present a study in which we automatically model a state-of-practice industrial robot control system, the results of which are clearly positive indicators of the viability of our approach.

关键词： Legacy systems

来源：评论

学校读者我要写书评

暂无评论

Semi-automatic region-based memory management for real-time Java embedded systems

Semi-automatic region-based memory management for real-time ...

引用

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

作者： Salagnac, Guillaume Rippert, Christophe Yovine, Sergio Verimag 2 Av Vignate F-38610 Gieres France

ISBN: (纸本)9780769529752

In this paper we address the problem of dynamic memory management in real-time Java embedded systems. Our work aims at suppressing the need for garbage collection in order to avoid unpredictable pause times. For that we use a simple static analysis algorithm coupled with region-based memory management as presented in [151] To overcome the well-known limitations of region inference, we propose in this paper to involve the developer in the analysis process by providing feedback on programming constructs likely to produce memory leaks. Experiments show that for most programming patterns, our system behaves as efficiently as a garbage collector in terms of memory consumption. Our analysis tool is furthermore able to provide useful feedback to the programmer to pinpoint problematic constructs.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Extended U-Link Scheduling to increase the execution efficiency for SMT real-time systems

Extended U-Link Scheduling to increase the execution efficie...

引用

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

作者： Kato, Shinpei Yamasaki, Nobuyuki Keio Univ Sch Sci & Open Environm Syst Yokohama Kanagawa 223 Japan

ISBN: (纸本)0769526764

this paper extends U-Link Scheduling to increase the average execution efficiency of the system. We first define the execution efficiency. then we propose a new algorithm that establishes the co-scheduled sets where the execution efficiency can be increased Also we present the static estimation of the execution time and provide the schedulability analysis for the extended U-Link Scheduling. In the experiments, we evaluate the advancement of the extended U-Link Scheduling from the viewpoint of the execution efficiency and real-time processing.

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

An improvement of TLSF algorithm

An improvement of TLSF algorithm

引用

15th ieee/NPSS real-time conference

作者： Sun, XiaoHui Wang, JinLin Chen, Xiao Chinese Acad Sci Inst Acoust Beijing 100864 Peoples R China

ISBN: (纸本)9781424408665

Memory management has become an important part in developing real-time and embedded applications. the conventional dynamic storage allocation (DSA) Algorithms have been considered inappropriate for real-time applications due to the unbounded response time and fragmentation problem. there are some new allocators designed to meet the requirements nowadays. Two-Level Segregated Fit memory allocator (TLSF) was proposed and widely used in the real-time Operating systems (RTOS) like RTLinux. It hits a bounded response time and quite good performance. However, there are still some problems with this algorithm and it could. be improved. Here we discuss some improvements of the TLSF algorithm. Experiments show it has low fragmentation and faster response time.

关键词： Computer operating systems

来源：评论

学校读者我要写书评

暂无评论

Demand Characterization of CPS with Conditionally-Enabled Sensors 27

Demand Characterization of CPS with Conditionally-Enabled Se...

引用

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

作者： Willcock, Aaron Fisher, Nathan Chantem, thidapat Wayne State Univ Dept Comp Sci Detroit MI 48202 USA Virginia Tech Dept Elect & Comp Engn Arlington VA USA

ISBN: (纸本)9781665441889

Characterizing computational demand of Cyber-Physical systems (CPS) is critical for guaranteeing that multiple hard real-time tasks may be scheduled on shared resources without missing deadlines. In a CPS involving repetition such as industrial automation systems found in chemical process control or robotic manufacturing, sensors and actuators used as part of the industrial process may be conditionally enabled (and disabled) as a sequence of repeated steps is executed. In robotic manufacturing, for example, these steps may be the movement of a robotic arm through some trajectories followed by activation of end-effector sensors and actuators at the end of each completed motion. the conditional enabling of sensors and actuators produces a sequence of Monotonically Ascending Execution times (MAE) with lower WCET when the sensors are disabled and higher WCET when enabled. Since these systems may have several predefined steps to follow before repeating the entire sequence each unique step may result in several consecutive sequences of MAE. the repetition of these unique sequences of MAE result in a repeating WCET sequence. In the absence of an efficient demand characterization technique for repeating WCET sequences composed of subsequences with monotonically increasing execution time, this work proposes a new task model to describe the behavior of real-world systems which generate large repeating WCET sequences with subsequences of monotonically increasing execution times. In comparison to the most applicable current model, the Generalized Multiframe model (GMF), an empirically and theoretically faster method for characterizing the demand is provided. the demand characterization algorithm is evaluated through a case study of a robotic arm and simulation of 10,000 randomly generated tasks where, on average, the proposed approach is 231 and 179 times faster than the state-of-the-art in the case study and simulation respectively.

关键词： real-time systems control systems cyberphysical systems

来源：评论

学校读者我要写书评

暂无评论

Recovery-by-Learning: Restoring Autonomous Cyber-physical systems from Sensor Attacks 27

Recovery-by-Learning: Restoring Autonomous Cyber-physical Sy...

引用

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

作者： Akowuah, Francis Prasad, Romesh Espinoza, Carlos Omar Kong, Fanxin Syracuse Univ Dept Elect Engn & Comp Sci Syracuse NY 13244 USA Syracuse Univ Dept Mech & Aerosp Engn Syracuse NY 13244 USA

ISBN: (纸本)9781665441889

Autonomous cyber-physical systems (CPS) are susceptible to non-invasive physical attacks such as sensor spoofing attacks that are beyond the classical cybersecurity domain. these attacks have motivated numerous research efforts on attack detection, but little attention on what to do after detecting an attack. the importance of attack recovery is emphasized by the need to mitigate the attack's impact on a system and restore it to continue functioning. there are only a few works addressing attack recovery, but they all rely on prior knowledge of system dynamics. To overcome this limitation, we propose Recovery-by-Learning, a data-driven attack recovery framework that restores CPS from sensor attacks. the framework leverages natural redundancy among heterogeneous sensors and historical data for attack recovery. Specially, the framework consists of two major components: state predictor and data checkpointer. First, the predictor is triggered to estimate systems states after the detection of an attack. We propose a deep learning-based prediction model that exploits the temporal correlation among heterogeneous sensors. Second, the checkpointer executes when no attack is detected. We propose a double sliding window based checkpointing protocol to remove compromised data and keep trustful data as input to the state predictor. third, we implement and evaluate the effectiveness of our framework using a realistic data set and a ground vehicle simulator. the results show that our method restores a system to continue functioning in presence of sensor attacks.

关键词： autonomous cyber-physical systems sensor attacks attack recovery attack resiliency

来源：评论

学校读者我要写书评

暂无评论

Systematic security and timeliness tradeoffs in real-time embedded systems

Systematic security and timeliness tradeoffs in real-time em...

引用

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

作者： Kang, Kyoung-Don Son, Sang H. SUNY Binghamton Dept Comp Sci POB 6000 Binghamton NY 13902 USA Univ Virginia Dept Comp Sci Charlottesville VA 22903 USA

ISBN: (纸本)0769526764

real-time embedded systems are increasingly being networked. In distributed real-time embedded applications, e.g., electric grid management and command and control applications, it is required to not only meet real-time constraints but also support the data confidentiality, integrity, and authenticity. Unfortunately, in general, cryptographic functions are computationally expensive, possibly causing deadline misses in real-time embedded systems with limited resources. As a basis for cost-effective security support in real-time embedded systems, we define a quantitative notion of Strength of Defense (SoD). Based on the SoD concept, we propose a novel adaptive security policy in which the SoD can be degraded by decreasing the cryptographic key length for certain tasks, if necessary, to improve the success ratio under overload conditions. Our approach is lightweight. the time complexity of our approach is linear and its amortized version has the constant overhead per Sol) adaptation period. Moreover, our approach supports desirable security features requiring an attacker to do extra work to find the cryptographic key. In the performance evaluation, we show that our approach can considerably improve the success ratio due to controlled Sol) degradation under overload.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共216页 << < 26 27 28 29 30 31 32 33 34 35 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：