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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,145 篇 会议
43 篇 期刊文献
21 册 图书
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

1,901 篇 工学
- 1,680 篇 计算机科学与技术...
- 889 篇 软件工程
- 545 篇 电气工程
- 292 篇 信息与通信工程
- 252 篇 控制科学与工程
- 95 篇 电子科学与技术（可...
- 73 篇 动力工程及工程热...
- 66 篇 机械工程
- 60 篇 生物工程
- 53 篇 安全科学与工程
- 49 篇 网络空间安全
- 46 篇 交通运输工程
- 45 篇 仪器科学与技术
- 36 篇 建筑学
- 30 篇 生物医学工程（可授...
- 27 篇 土木工程
- 25 篇 光学工程
- 22 篇 环境科学与工程（可...
325 篇 理学
- 170 篇 数学
- 65 篇 生物学
- 61 篇 物理学
- 54 篇 系统科学
- 31 篇 统计学（可授理学、...
- 22 篇 化学
262 篇 管理学
- 209 篇 管理科学与工程(可...
- 134 篇 工商管理
- 68 篇 图书情报与档案管...
40 篇 法学
- 36 篇 社会学
26 篇 医学
- 23 篇 临床医学
21 篇 经济学
- 21 篇 应用经济学
11 篇 农学
9 篇 教育学
9 篇 军事学
8 篇 文学
1 篇 艺术学

主题

521 篇 real-time system...
514 篇 real time system...
254 篇 embedded systems
150 篇 processor schedu...
137 篇 hardware
132 篇 embedded system
129 篇 computational mo...
118 篇 computer archite...
111 篇 timing
88 篇 energy consumpti...
88 篇 embedded computi...
85 篇 resource managem...
83 篇 control systems
83 篇 protocols
77 篇 application soft...
73 篇 monitoring
70 篇 delay
69 篇 computer science
69 篇 scheduling
68 篇 scheduling algor...

机构

11 篇 department of co...
8 篇 malardalen univ ...
8 篇 city university ...
7 篇 college of compu...
7 篇 eindhoven univer...
6 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 scuola super san...
6 篇 uppsala universi...
6 篇 malardalen univ ...
6 篇 department of co...
5 篇 department of co...
5 篇 evidence srl pis...
5 篇 chongqing univ c...
5 篇 department of co...
5 篇 george mason uni...
5 篇 univ politecn va...
5 篇 department of co...

作者

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

语言

3,170 篇 英文
35 篇 其他
5 篇 中文
1 篇 西班牙文
1 篇 法文

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

共 3210 条记录，以下是2901-2910 订阅

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

详细简洁

排序：

Multi versions data for improvement of QoS in RTDBS

Multi versions data for improvement of QoS in RTDBS

引用

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

作者： E. Bouazizi C. Duvallet B. Sadeg LIH Université du Havre France

In current research toward the design of more powerful behavior of RTDBS under unpredictable workloads, different research groups focus their work on QoS (Quality of Service) guarantee. their research is often based on feedback control real-time scheduling theory. In this paper we propose a technique which allows to execute transactions on time using fresh and precise data while taking into account the global size of the database. We have extended the feedback-based miss ratio control by both using multi-versions data, and proposing a data management policy combining (1) limitation of the versions number and (2) dynamic adjustment of this limit according to a maximum database size parameter.

关键词： Transaction databases Quality of service Feedback control Control systems real time systems Processor scheduling Size control Concurrent computing Database systems Computer architecture

来源：评论

学校读者我要写书评

暂无评论

RT-MaC: runtime monitoring and checking of quantitative and probabilistic properties

RT-MaC: runtime monitoring and checking of quantitative and ...

引用

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

作者： U. Sammapun Insup Lee O. Sokolsky University of Pennsylvania Philadelphia PA USA

Correctness of a real-time system depends on its computation as well as its timeliness and its reliability. In recent years, researches have focused on verifying correctness of a real-time system during runtime by monitoring its execution and checking it against its formal specifications. Such verification method is called runtime verification. Most existing runtime verification tools verify computation correctness using qualitative property specifications but do not verify timeliness or reliability correctness. In this paper, we investigate the verification on timeliness and reliability correctness by offering quantitative and probabilistic property specifications and implementing efficient verifiers.

关键词： Runtime Monitoring real time systems Formal specifications Logic testing Computer architecture Computer bugs Stochastic processes Statistical analysis Computer applications

来源：评论

学校读者我要写书评

暂无评论

Exploration of memory-aware dynamic voltage scheduling for soft real-time applications

Exploration of memory-aware dynamic voltage scheduling for s...

引用

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

作者： Young-Jin Kim Jihong Kim School of Computer Science and Engineering Seoul National University Seoul South Korea

Dynamic voltage scaling (DVS) and dynamic power management (DPM) are widely-used techniques to reduce energy consumption in modern computing systems. Although combining these techniques can save more energy, there has not been much work focused on energy-optimal combination of these techniques under variable memory clock frequencies. In this paper, we explore system-wide energy-optimal frequency space for a memory-aware DVS technique based on a stochastic memory access model for systems with frequency-variable memory devices. In addition, we propose a simple but practical DVS method, which can be applied to an actual platform.

关键词： Dynamic scheduling Voltage control Frequency Dynamic voltage scaling Processor scheduling Energy management Power system management Energy consumption Clocks Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

A component-based UML profile to model embedded real-time systems designed by the MDA approach

A component-based UML profile to model embedded real-time sy...

引用

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

作者： Shourong Lu W.A. Halang Lichen Zhang Faculty of Electrical and Computer Engineering Fern Universität Hagen Germany Faculty of Computer Science Guangdong University of Technology Guangzhou China

A component-based UML profile is built to develop embedded real-time systems. To specify the specific characteristics of embedded systems, the model driven architecture (MDA) approach and component-based modeling are employed. Component-based UML models are designed as Platform Independent Models (PIM) to be translated to platform specific models (PSM) for target-platform implementation, which deal with functional and non-functional properties. Taking specific platform features into regard, specific component models result from transformations mapping a platform-independent component model to either the process and experiment automation real-time language (PEARL) or to function blocks according to IEC 61131-3 or IEC 61499. Both PIM and PSM are collected in a UML profile which can be used as an application framework in developing embedded real-time systems.

关键词： Unified modeling language real time systems embedded system embedded computing IEC standards Application software embedded software Design engineering Computer science Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Experiences from implementing multiprocessor support for an industrial operating system kernel

Experiences from implementing multiprocessor support for an ...

引用

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

作者： S. Kagstrom H. Grahn L. Lundberg Department of Systems and Software Engineering Blekinge Institute of Technology School of Engineering Ronneby Sweden

the ongoing transition from uniprocessor to multiprocessor computers requires operating system support. there is a large body of specialized operating systems which require porting in order to work on multiprocessors. In this paper we describe the design and implementation of a multiprocessor port of a cluster operating system kernel. the multiprocessor support is implemented with a giant locking scheme, which allowed us to get an initial working version with only minor changes to the original code. We also discuss performance and implementation experiences.

关键词： Operating systems Kernel Databases Linux Computer industry real time systems Java Yarn Protection Containers

来源：评论

学校读者我要写书评

暂无评论

RLP: enhanced QoS support for real-time applications

RLP: enhanced QoS support for real-time applications

引用

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

作者： A. Marchand M. Silly-Chetto Laboratoire d''Informatique de Nantes Atlantique Nantes France

In this paper, we study the problem of scheduling periodic task sets defined under quality of service (QoS) constraints. In our approach, periodic tasks allow occasional skips of instances. A new algorithm, called RLP (red tasks as late as possible) based on the skip-over model and the EDL (earliest deadline as late as possible) scheduling strategy, is proposed to enhance the QoS observed for periodic tasks, i.e, the ratio of periodic tasks which complete before their deadline. We prove that our results are never worse than those obtained in previous work. Experimental results also show significant improvement achieved by our algorithm over RTO and BWP.

关键词： real time systems Scheduling algorithm Quality of service Control systems Logic Timing Redundancy Costs Algorithm design and analysis Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

Service delivery in context aware environments: lookup and access control issues

Service delivery in context aware environments: lookup and a...

引用

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

作者： M. Riaz S.L. Kiani Sungyoung Lee Sang-Man Han Young-Koo Lee Real Time & Multimedia Laboratory Kyung Hee University Yongin si Gyeonggi South Korea

Large-scale distributed systems, such as ubiquitous computing environments, require a service delivery mechanism in order to keep track of the vast set of services offered and make them available to interested clients. the amount of services and clients, their context, and loose coupling between them makes service delivery in ubiquitous environments different from other systems. this paper presents a solution to overcome these issues by utilizing the underlying ontology and semantics for service lookup. Access control over context data is also considered by specifying dynamic policies at the system and service level.

关键词： Context awareness Access control Context-aware services real time systems Ubiquitous computing Ontologies Control systems Multimedia systems Multimedia computing Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

An efficient search algorithm of worst-case cache flush timings

An efficient search algorithm of worst-case cache flush timi...

引用

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

作者： H. Miyamoto S. Iiyama H. Tomiyama H. Takada H. Nakashima Graduate School of Information Science University of Nagoya Nagoya Aichi Japan Department of Information and Computer Sciences Toyohashi University of Technology Toyohashi Aichi Japan

In recent years, the use of cache memory has been desired in hard real-time systems in order to reduce the memory access time. To enable it, accurate analysis of the worst-case execution time considering cache flushes is necessary since the cache may be flushed by preempting tasks in a multitask environment. this paper proposes a method to find the worst-case timing of cache flushes and demonstrates its effectiveness.

关键词： Timing real time systems Costs Cache memory Algorithm design and analysis Delay Search problems Information science System analysis and design Optimization methods

来源：评论

学校读者我要写书评

暂无评论

An efficient approach to custom instruction set generation

An efficient approach to custom instruction set generation

引用

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

作者： GuangWei Zou Xiang Liu Beijing Asia-Pacific Grand Software Company Limited China Department of Embedded System Engineering Peking University China

Application-specific instruction set extension to the computational capabilities of a processor provides an efficient mechanism to meet the growing performance and time-to-market demands of embedded applications. In this paper, a new methodology for custom instruction set generation is proposed by using profiling technique to analyze CDFG (control and data flow graph) of C program. In the new methodology, we mainly consider major blocks of CDFG of the given application in order to speed up the whole process. It results that for the application, the major blocks fewer, and the process faster. Our approach will significantly reduce the time of the whole process while does not affect the benefit of results. the experimental results demonstrate the improvements over existing techniques.

关键词： Computer aided instruction embedded computing Hardware Acceleration Microprocessors Instruction sets embedded software Software performance embedded system systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

A distributed middleware solution for context awareness in ubiquitous systems

A distributed middleware solution for context awareness in u...

引用

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

作者： S.L. Kiani M. Riaz Y. Zhung Sungyoung Lee Young-Koo Lee Real Time and Multimedia Laboratory Kyung Hee University Yongin si South Korea

Context aware middleware infrastructures have traditionally been implemented with a modular approach to allow different components to work cooperatively and supply context synthesis and provision services. In this paper, we discuss the important requirements that arise when such a middleware is deployed in a distributed environment and present the design and implementation of context aware middleware for ubiquitous systems (CAMUS) with which the authors have attempted to meet those requirements. Issues related to distributed coordination within the middleware in terms of component discovery and management and multiple context domains are also discussed.

关键词： Middleware Context awareness Context-aware services Prototypes Feature extraction Ontologies real time systems Computer architecture Hardware Multimedia systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共321页 << < 287 288 289 290 291 292 293 294 295 296 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：