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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是131-140 订阅

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

详细简洁

排序：

Predictability and efficiency in contemporary Hard RTOS for multiprocessor systems

Predictability and efficiency in contemporary Hard RTOS for ...

引用

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)

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

来源：评论

学校读者我要写书评

暂无评论

Sensitivity Analysis for EDF Scheduled Arbitrary Deadline real-time systems

Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Re...

引用

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

作者： Zhang, Fengxiang Burns, Alan Baruah, Sanjoy Southwest Univ Chongqing Peoples R China Univ York York N Yorkshire England Univ N Carolina Chapel Hill NC USA

ISBN: (纸本)9780769541556

the correctness of a real-time system depends on not only the system's output but also on the time at which results are produced. A hard real-time system is required to complete its operations before all its timing deadlines. For a given task set it is useful to know what is the minimum speed of the processor that will deliver a schedulable system. It is also beneficial in an engineering context to know what changes to computation time can be made to a task that will result in a system that is borderline schedulable. In this paper, we address the sensitivity analysis (parameter calculations) for task execution times and speed of the processor for EDF-scheduled systems on a uniprocessor. We prove that an optimal (minimum or maximum) task parameter can be determined by a single pass of the QPA algorithm. this algorithm provides efficient and exact sensitivity analysis for arbitrary deadline real-time systems. the approaches developed for task parameter computations are therefore as efficient as QPA, and are easily incorporated into a system design support tool.

关键词： embedded systems performance and reliability real-time systems scheduling analysis real-time systems embedded systems Sensitivity analysis Interleukin-5 European Development Fund schedule analysis hard real-time system minimal speed PROCESSOR Uniprocessor

来源：评论

学校读者我要写书评

暂无评论

Towards a Cache-aware Development of High Integrity real-time systems

Towards a Cache-aware Development of High Integrity Real-tim...

引用

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

作者： Mezzetti, Enrico Vardanega, Tullio Univ Padua Dept Pure & Appl Math Padua Italy

ISBN: (纸本)9780769541556

the job description of caches is to speed up memory accesses in the average case. their intrinsic unpredictability however can seriously hamper the practicality and trustworthiness of system analysis and validation. In effect, this conflict asks system designers to take side between best average-case performance and maximum assurance, since both can't be had. In this paper we study the I-cache predictability problem from a system-level perspective. We identify some sources of cache-related variability that can be addressed whilst considering the architectural specification of the system and thus at an early stage of development. We discuss an example of what we call a "cache-aware" software architecture and experimentally evaluate its effectiveness on a representative application.

关键词： Timing analysis caches WCET software architectures

来源：评论

学校读者我要写书评

暂无评论

Dynamic thermal and timeliness Guarantees for Distributed real-time embedded systems

Dynamic Thermal and Timeliness Guarantees for Distributed Re...

引用

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

作者： Fu, Xing Wang, Xiaorui Puster, Eric Univ Tennessee Dept Elect Engn & Comp Sci Knoxville TN 37996 USA

ISBN: (纸本)9780769537870

Distributed real-time embedded systems have stringent requirements for key performance properties, such as end-to-end timeliness and reliability, in order to operate properly. In recent years, with the continuously decreasing feature size and increasing demand for computation capabilities, today's real-time embedded systems face an increasing probability of overheating and even thermal failures. As a result, their temperature must be explicitly controlled for improved reliability. While a variety of control algorithms have been proposed for either real-time guarantees or thermal management in an isolated manner;this paper proposes a coordinated control solution that can provide simultaneous thermal and timeliness guarantees for distributed real-time embedded systems running in unpredictable environments. Our control solution features a novel coordination design, which allows the thermal and timeliness control loops to run on their respective desired small timescales for prompt control actions and yet achieve theoretically guaranteed control accuracy and system stability. In addition, while most existing work relies solely on simulations, we present empirical results on a physical testbed to demonstrate the efficacy of our control solution.

关键词： System stability

来源：评论

学校读者我要写书评

暂无评论

Cutting the Unnecessary Deadlines in EDF 25

Cutting the Unnecessary Deadlines in EDF

引用

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

作者： Bini, Enrico Univ Turin Turin Italy

ISBN: (纸本)9781728131979

Together with Fixed Priority Scheduling, Earliest Deadline First (EDF) is the second leg on top of which a large portion of the research on real-time systems stands. At the heart of the EDF exact schedulability test, a pivotal role is played by the demand bound function test, which requires to evaluate whether the amount of work required to complete a set of jobs is less than or equal to the amount of time available. Such a test is checked over a set of time instants. In this paper, it is proposed a method that cuts drastically the set of constraints to be checked. Such a method is applicable also to tasks with release offset. Notably, it is proved that such a reduced set of constraints is minimal: it is not possible to reduce the set any further without losing the sufficiency of the test. the code to make this reduction is publicly available on Github.

关键词： real-time systems Earliest Deadline First demand bound function convex hull sensitivity analysis linear programming

来源：评论

学校读者我要写书评

暂无评论

Compositionality and CPS from a Platform Perspective

Compositionality and CPS from a Platform Perspective

引用

作者： Nolte, thomas Malardalen Univ Malardalen Real Time Res Ctr POB 883 SE-72123 Vasteras Sweden

ISBN: (纸本)9780769545028

Cyber Physical systems (CPS) comprise the integration of embedded computer systems and the physical processes that these computer systems interact with. Examples of such systems stretch from small embedded devices, e.g., intelligent sensor systems, to larger and often complex industrial systems, e.g., industrial automation systems. these systems are not only subject to functional requirements, but also non-functional requirements such as timing, resource usage, and reliability. CPS development (including software development) is substantially facilitated if the system parts can be developed and verified in isolation, and if the correctness of the system can be inferred from the correctness of its parts. Such modular and compositional design of software systems has for a long time been considered the holy-grail of system design, and is unfortunately only possible in selected scenarios. this paper covers one such scenario: using hierarchical runtime mechanisms in the platform to enable predictable resource usage and temporal isolation of CPS software. Our overall goal is to develop cost efficient mechanisms that are applicable for a wide range of systems.

关键词： CPS Job shop scheduling Protocols real time systems Resource management Servers Software Synchronization compositional design cyber physical systems design embedded computer systems embedded systems modular design nonfunctional requirements object-oriented programming software development software engineering software systems

来源：评论

学校读者我要写书评

暂无评论

A generic approach for the certified schedulability analysis of software systems 27

A generic approach for the certified schedulability analysis...

引用

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

作者： Guo, Xiaojie Rieg, Lionel Torrini, Paolo RealTime Work Grenoble France UGA CNRS Grenoble INP VERIMAG Grenoble France INRIA Grenoble Rhone Alpes Grenoble France

ISBN: (纸本)9781665441889

embedded systems often need to react in a timely manner. Life-critical or mission-critical ones require assurance that they comply with these real-time requirements. In particular, schedulability analysis is both essential and difficult to get right. Formal methods can help as they are a powerful tool for ensuring properties with the highest assurance level. We describe a case study for the FPP and EDF policies providing end-to-end assurance by connecting the schedulability analysis tool Prosa and the real-time OS kernel RT-CertiKOS, both using the Coq proof assistant to prove their results. Analyzing precisely the key ideas underlying this connection, we improve it to make it more generic and reduce the associated proof burden. We thus sketch a refined method which allows for providing formal schedulability guarantees to other OSes or low-level components with minimal effort.

关键词： Formal Methods Proof Assistant real-time Scheduling OS Kernel Schedulability Analysis

来源：评论

学校读者我要写书评

暂无评论

Towards a Compositional Multi-Modal Framework for Adaptive Cyber-Physical systems

Towards a Compositional Multi-Modal Framework for Adaptive C...

引用

作者： Phan, Linh T. X. Lee, Insup Univ Penn Philadelphia PA 19104 USA

ISBN: (纸本)9780769545028

Among the key characteristics of cyber-physical systems are the ability to adapt to changes during operation, the multidimensional complexity of multi-functionality and the underlying heterogeneous distributed architecture, as well as resource use efficiency. In this paper, we propose a compositional multi-modal approach to modeling, analyzing, and designing such systems. We introduce a general framework for modeling and compositional analysis of multi-mode systems on a distributed architecture that facilitates adaptivity, efficient use of resources, and incremental integration. We present some preliminary results, and we describe some of the remaining challenges and future directions.

关键词： Adaptation models Adaptive systems Analytical models Automata Buffer storage Control systems Protocols adaptive cyber-physical systems compositional analysis compositional multimodal framework distributed processing general framework heterogeneous distributed architecture incremental integration multidimensional complexity multifunctionality software architecture

来源：评论

学校读者我要写书评

暂无评论

A Scheduling Algorithm for Execution-Instant Sensitive real-time systems

A Scheduling Algorithm for Execution-Instant Sensitive Real-...

引用

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

作者： Farzinvash, Leili Kargahi, Mehdi Univ Tehran Dept Elect & Comp Engn Tehran Iran

ISBN: (纸本)9780769537870

Most of the previous studies on real-time systems focus on the satisfaction of completion-time constraints of jobs. A lot of them consider pure deadline, where the real-time jobs should be completed before their respective deadline. Sonic others consider time/utility functions for their jobs, which specifies the benefit that a job can accrue according to its exact completion time. However, we propose a different type of timing constraints for real-time jobs called Instant Value Function OM. According to IVF, the exact instant where a job is executed affects the value that the job can accrue. therefore, the IVF specifies that which instants are the most appropriate ones to execute the job. this type of timing constraints can express the behavior of specific applications in a more precise manner. Furthermore, we have presented a scheduling algorithm that tries to maximize the accrued value of real-time systems with IVF-constrained jobs. the experimental results show that the proposed method considerably outperforms EDF.

关键词： real-time scheduling Instant Value Function value accrual scheduling

来源：评论

学校读者我要写书评

暂无评论

A Distributed real-time Operating System with Distributed Shared Memory for embedded Control systems

A Distributed Real-Time Operating System with Distributed Sh...

引用

11th ieee international conference on Dependable, Autonomic and Secure computing (DASC)

作者： Chiba, Takahiro Yoo, Myungryun Yokoyama, Takanori Tokyo City Univ Setagaya Ku Tokyo 1588557 Japan

ISBN: (纸本)9781479933815

the paper presents a distributed real-time operating system (DRTOS) that provides a distributed shared memory (DSM) service for distributed control systems. Model-based design has become popular in embedded control software design and the source code of software modules can be generated from a controller model. the generated software modules exchange their input and output values through shared variables. We develop a DRTOS with a real-time DSM service to provide a location-transparent environment, in which distributed software modules can exchange input and output values through the DSM. the DRTOS is an extension to OSEK OS. We use a real-time network called FlexRay, which is based on a TDMA (time Division Multiple Access) protocol. the consistency of the DSM is maintained according to the order of data transfer through FlexRay, not using inter-node synchronization. the worst case response time of the DSM is predictable if the FlexRay communication is well configured.

关键词： operating systems real-time systems embedded systems distributed shared memory distributed control systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：