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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

501 篇 real time system...
475 篇 real-time system...
275 篇 embedded systems
162 篇 processor schedu...
156 篇 hardware
131 篇 computational mo...
130 篇 computer archite...
125 篇 embedded system
119 篇 timing
92 篇 embedded computi...
88 篇 energy consumpti...
85 篇 application soft...
85 篇 monitoring
84 篇 protocols
82 篇 scheduling
80 篇 resource managem...
75 篇 control systems
75 篇 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 篇 其他
8 篇 中文
1 篇 俄文

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

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

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

详细简洁

排序：

Optimization of real-time systems timing specifications

Optimization of real-time systems timing specifications

引用

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

作者： Andrei, Stefan Cheng, Albert Mo Kim Natl Univ Singapore Sch Comp Singapore 117548 Singapore Univ Houston Dept Comp Sci Houston TX USA

ISBN: (纸本)0769526764

real-time logic (RTL) is useful for the verification of a safety assertion SA with respect to the specification SP of a real-time system. Since the satisfiability problem for RTL is undecidable, there were many efforts to find proper heuristics for proving that SP -> SA holds. However, none of such heuristics necessarily finds an "optimal implication". After verifying SP -> SA and the system implementing SP is deployed, performance changes as a result of power-saving, faulty components, and cost-saving in the processing platform for the tasks specified in SP affect the computation times of the specified tasks. this leads to a different but related SP, which would violate the original SP -> SA theorem if SA remains the same. It is desirable, therefore, to determine an optimal SP with the slowest possible computation times for its tasks such that the SA is still guaranteed. this is clearly a fundamental issue in the design and implementation of highly dependable real-time/embedded systems. this paper tackles this fundamental issue by describing a new method for relaxing SP and tightening SA such that SP -> SA is still a theorem. Experimental results show that less than 20% overhead of the running time of the algorithm for the verification of SP -> SA is needed to find an optimal theorem.

关键词： optimization formal method timing constraint

来源：评论

学校读者我要写书评

暂无评论

COS: A configurable OS for embedded SoC systems

COS: A configurable OS for embedded SoC systems

引用

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

作者： Lin, Hsin-hung Hsueh, Chih-Wen Natl Chung Cheng Univ Dept Comp Sci & Informat Engn Real Time Syst Lab Chiayi 621 Taiwan Natl Taipei Univ Grad Inst Networking & Multimedia Embedded System & Wireless Networking Lab Taipei 106 Taiwan Natl Taipei Univ Dept Comp Sci & Informat Engn Taipei 106 Taiwan

ISBN: (纸本)0769526764

As the increasing of system performance and computing power, embedded systems are more complicated and interactive. therefore, operating system (OS) plays a more important role in embedded systems to utilize various hardware and software resources. However, no OS can meet all requirements of various embedded systems. Due to the advance of reconfigurable processors, system requirements can be more dynamic. embedded OS has becoming more critical in the development of embedded systems and thus there is a strong need of configurable embedded OS to better and faster build up the target system. In this paper, we propose a configurable OS, called COS, based on SOA (Service-Oriented Architecture) for embedded SoC (System on a Chip) systems to build an application specific OS according to the system requirements. COS can be easily configured to better utilize the resources of the target embedded platform and have better support to the embedded application. Moreover, the COS can easily extend new features or functionatities of other OSes and even be adapted to the designs of other OSes. We implement COS on an ARM platform to prove its configurability and also evaluate its overhead. We believe that COS can be configured to meet the various requirements in embedded SoC systems and help to speed up the embedded system development process.

关键词： configurable OS Service-Oriented Architecture SoC embedded OS

来源：评论

学校读者我要写书评

暂无评论

Utilization bounds for RM scheduling on uniform multiprocessors

Utilization bounds for RM scheduling on uniform multiprocess...

引用

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

作者： Darera, Vivek N. Jenkins, Lawrence Indian Inst Sci LSM Lab EE Dept Bangalore 560012 Karnataka India Indian Inst Sci EE Dept Bangalore Karnataka India

ISBN: (纸本)0769526764

Utilization bounds for Earliest Deadline First(EDF) and Rate Monotonic(RM) scheduling are known and well understood for uniprocessor systems. In this paper, we derive limits on similar bounds for the multiprocessor case, when the individual processors need not be identical. Tasks are partitioned among the processors and RM scheduling is assumed to be the policy used in individual processors. A minimum limit on the bounds for a 'greedy' class of algorithms is given and proved, since the actual value of the bound depends on the algorithm that allocates the tasks. We also derive the utilization bound of an algorithm which allocates tasks in decreasing order of utilization factors. Knowledge of such bounds allows us to carry out very fast schedulability tests although we are constrained by the fact that the tests are sufficient but not necessary to ensure schedulability.

关键词： Multiprocessing systems

来源：评论

学校读者我要写书评

暂无评论

Towards validated real-time software

Towards validated real-time software

引用

12th Euromicro conference on real-time systems

作者： Bertin, V Poize, M Pulou, J Sifakis, J France Telecom Ctr Natl Etud Telecommun F-38243 Meylan France

ISBN: (纸本)0769507344

We present a tool for the design and validation of embedded real-time applications. the tool integrates two approaches, the use of the synchronous programming language ESTEREL far design and the application of model-checking techniques for validation of real-time properties. Validation is carried out on a global formal model (timed automata) Inking into account the effective implementation of the application on the target hardware architecture as well as its external environment behavior.

关键词： real-time computing embedded applications real-time constraints compiling synchronous languages validation timed automata model-checking external environment modelling

来源：评论

学校读者我要写书评

暂无评论

Power-aware real-time Virtual Machine Schedulers in Discrete DVFS systems 12

Power-aware Real-Time Virtual Machine Schedulers in Discrete...

引用

IEEE 12th international conference on Dependable, Autonomic and Secure computing (DASC)

作者： Seo, Jun-ho Tchamgoue, Guy Martin Kim, Kyong Hoon Gyeongsang Natl Univ Dept Informat Jinju 660701 South Korea

ISBN: (纸本)9781479950799

Power-aware computing has become an important problem not only in embedded systems but also in large-scale data centers in Cloud computing environments. Many recent studies have focused on power-aware virtual machine allocation or consolidation. However, few research has been done about implementation of power-aware schedulers in VMM (Virtual Machine Monitor). In this paper, we provide a prototype design for power-aware schedulers in RT-Xen hypervisor. the proposed system is based on compositional real-time scheduling framework which provides a method to abstract each virtual machine into a single component. the proposed prototype includes how to transmit VM real-time requirements into VMM and dynamic frequency control based on those requirements. throughout the experiments, we analyze the proposed prototype and show the performance evaluation.

关键词： Cathode ray tubes Computational modeling Processor scheduling Prototypes real-time systems Virtual machine monitors Virtual machining

来源：评论

学校读者我要写书评

暂无评论

Relaxed correctness for firm real-time databases

Relaxed correctness for firm real-time databases

引用

12th IEEE international conference on embedded and real-time computing systems and applications, RTCSA 2006

作者： Lindström, Jan University of Helsinki Department of Computer Science P.O. Box 68 00014 Helsingin yliopisto Finland

ISBN: (纸本)0769526764

real-time database system must meet time constraints in addition to the integrity constraints. Concurrency control is one of the main issues in the studies of real-time database systems. Traditional concurrency control methods use serializability as the correctness criterion when transactions are executed concurrently. However, strict serializability as the correctness criterion is not always suitable in real-time databases. Instead, correctness requirements vary from one type of transactions to another and from one data type to another. In this paper we propose a concurrency control method witch is based on optimistic methods with a extension to relaxed serializability and semantic conflict resolution so that a special purpose concurrency control scheme can be applied. Proposed method is evaluated and tested in prototype implementation of real-time database system for telecommunications. © 2006 IEEE.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Dynamic Adaptation of Stability Periods for Service Level Agreements

Dynamic Adaptation of Stability Periods for Service Level Ag...

引用

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

作者： Nogueira, Luis Pinho, Luis Miguel Polythecn Inst Porto IPP Hurray Res Grp Porto Portugal

ISBN: (纸本)0769526764

A QoS adaptation to dynamically changing system conditions that takes into consideration the user's constraints on the stability of service provisioning is presented. the goal is to allow the system to make QoS adaptation decisions in response to fluctuations in task traffic flow, under the control of the user We pay special attention to the case where monitoring the stability period and resource load variation of Service Level Agreements for different types of services is used to dynamically adapt future stability periods, according to a feedback control scheme. System's adaptation behaviour can be configured according to a desired confidence level on future resource usage. the viability of the proposed approach is validated by preliminary experiments.

关键词： Dynamical systems

来源：评论

学校读者我要写书评

暂无评论

Compositional real-time Scheduling of Mixed-Criticality real-time systems 12

Compositional Real-Time Scheduling of Mixed-Criticality Real...

引用

IEEE 12th international conference on Dependable, Autonomic and Secure computing (DASC)

作者： Ali, Amjad Kim, Kyong Hoon Gyeongsang Natl Univ Dept Informat Jinju 660701 South Korea

ISBN: (纸本)9781479950799

Compositional real-time scheduling frameworks provide ways for building large and complex real-time embedded systems from independent sub-systems. this paper introduces a novel scheme for scheduling a component of Mixed-Criticality (MC) sporadic tasks on uniprocessor system. It characterizes the mixed criticality resource allocations, and the interface model for abstracting the real-time requirements of such a component. the demand bound function and supply bound function for the low and high criticality modes are derived to determine the schedulability of a component in both modes. the execution times of jobs are monitored in this approach. If it is detected that the behavior of system is inconsistent with low criticality level, then tasks of low criticalities are discarded and the priorities of high criticality tasks are re-ordered in high criticality mode to guarantee the schedulabilty of high criticality tasks. We propose a new algorithm, which schedules a component of mixed criticality jobs in low mode through MC Rate Monotonic (MC-RM) algorithm by applying period transformation, and guarantees the schedulabilty by using MC Earliest Deadline First (MC-EDF) algorithm in high mode.

关键词： Optimal scheduling real-time systems Resource management Scheduling Scheduling algorithms Switches real-time systems Optimal scheduling Scheduling algorithms Criticality Switches management of resources execution time uniprocessor system time schedule system behavior jobs

来源：评论

学校读者我要写书评

暂无评论

Performance Evaluation of the time Analysable On-Demand Coherent Cache

Performance Evaluation of the Time Analysable On-Demand Cohe...

引用

12th IEEE international conference on Trust, Security and Privacy in computing and Communications (TrustCom)

作者： Pyka, Arthur Rohde, Mathias Uhrig, Sascha Tech Univ Dortmund Dortmund Germany

ISBN: (纸本)9780769550220

the usage of caches in multi-and many-core systems for timing critical applications is a challenging issue. time-predictability shaped up as the essential characteristic of a cache when talking about the suitability for hard real-time systems. Common cache coherence mechanisms corrupt the timing analysability of a cache memory because of unpredictable interferences between the caches. thus, these mechanisms are unsuitable for hard real-time systems. In this work, we briefly describe the ODC2 together with an extension which increases the cache hit rate. We evaluated the performance of the extended ODC2 by comparing it to analysable uncached accesses to shared data and to the well-known but unpredictable MESI and MOESI coherence techniques.

关键词： cache storage embedded systems performance evaluation

来源：评论

学校读者我要写书评

暂无评论

Accounting for Interrupts in Multiprocessor real-time systems

Accounting for Interrupts in Multiprocessor Real-Time System...

引用

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

作者： Brandenburg, Bjoern B. Leontyev, Hennadiy Anderson, James H. Univ N Carolina Chapel Hill NC 27515 USA

the importance of accounting for interrupts in multiprocessor real-time schedulability analsysis is discussed: three interrupt accounting methods, two of which are newly described here, are analyzed and compared.

ISBN: (纸本)9780769537870

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：