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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Light-PREM: Automated Software Refactoring for Predictable Execution on COTS embedded systems 20

Light-PREM: Automated Software Refactoring for Predictable E...

引用

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

作者： Mancuso, Renato Dudko, Roman Caccamo, Marco Univ Illinois Urbana IL 61801 USA

ISBN: (纸本)9781479939541

As real-time embedded systems become more complex, there is the need to build them using high performance commercial off-the-shelf (COTS) components. However, tasks can exhibit hard to predict worst case execution times (WCET) when executing on commodity hardware, due to contention among shared physical resources. Past work has introduced the PRedictable Execution Model (PREM) [1] to solve this issue, but unfortunately, the time required to manually refactor existing code according to this model is too high. Light-PREM proposes a novel technique that automates the refactoring process needed to convert legacy software applications to PREM-compliant code. the advantage of Light-PREM is twofold. On one side, it makes the adoption of PREM more attractive from an industrial point of view, because it significantly reduces the amount of work that is needed to generate PREM-compliant code. On the other hand, the proposed methodology is general enough to be used with any embedded software design. Experimental results show that Light-PREM significantly improves the predictability of real-time applications without requiring software engineers to gain a deep understanding about software memory usage.

关键词： Layout Memory management Predictive models Prefetching real-time systems Resource management real-time systems Store management prefetching layouts Prediction models systems re-engineering management of resources embedded systems Legal Executions Automation real-time application program

来源：评论

学校读者我要写书评

暂无评论

An evolutionary scheme for cosynthesis of real-time systems 7

An evolutionary scheme for cosynthesis of real-time systems

引用

7th Asia and South Pacific Design Automation conference/15th international conference on VLSI Design

作者： Chakraverty, S Ravikumar, CP Choudhuri, DR Netaji Subhas Inst Technol New Delhi 110045 India

ISBN: (纸本)0769514413

We consider the problem of hardware-software cosynthesis of application-specific embedded realtime systems. We assume that these systems are based on a heterogeneous multiprocessor architecture. One of the key problems in the synthesis of such systems is that of scheduling the real-time tasks. Conventional approach to the problem has been to use a task graph to describe the dependencies among tasks and to assign constant weights to the nodes and edges of the graph. ne node weights represent task execution times and the edge weights represent communication times. However, in many real-time applications, the execution time and communication times cannot be determined a-priori. One can use the conventional task graph model in such situations by taking the worst-case times, but such an approach will necessarily be pessimistic and wasteful in terms of resource utilization. We propose a model which treats the task execution times and communication times as stochastic variables with Beta distributions. A stochastic task scheduling algorithm is presented which maximizes the probability of meeting all real-time constraints. A genetic algorithm, which employs the stochastic scheduling algorithm, is used for the synthesis of a high performance embedded system at a minimum cost. We present experimental results for three task graphs.

关键词： embedded real-time systems Hardware software cosynthesis hierarhical genetic algorithm multiprocessor architecture stochastic task scheduling task allocation

来源：评论

学校读者我要写书评

暂无评论

Reconstructing Critical Paths from Execution Traces

Reconstructing Critical Paths from Execution Traces

引用

15th ieee international conference on Computational Science and Engineering (CSE) / 10th ieee/IFIP international conference on embedded and Ubiquitous computing (EUC)

作者： Hendriks, Martijn Vaandrager, Frits W. Embedded Syst Inst Eindhoven Netherlands Radboud Univ Nijmegen Nijmegen Nijmegen Netherlands

ISBN: (纸本)9781467351652;9780769549149

We consider the problem of constructing critical paths from incomplete information. In general, a directed acyclic graph of tasks with their execution times (i.e., a task graph) is necessary to extract critical paths. We assume, however, that only the set of tasks, and their start and end times are known, e. g., an execution trace in the form of a Gantt chart. this information can be extracted from real machines or from the output of analysis tools, whereas extraction of the exact task graph often is problematic due to imperative modeling formalisms and complicated platform semantics (resource allocation, varying execution speeds). We show that, based on start and end times only, an over-approximation of the critical paths of an unknown task graph can be extracted nevertheless. Furthermore, this approach is generalized to deal with "noisy" execution traces of real machines in which control overhead is present. Finally, we discuss various methods to deal with false positives, and apply our approach to a complex industrial case study.

关键词： embedded systems critical path analysis task graph

来源：评论

学校读者我要写书评

暂无评论

Middleware for real-time Event Detection and Predictive Analytics in Smart Manufacturing 15

Middleware for Real-Time Event Detection and Predictive Anal...

引用

15th Annual international conference on Distributed computing in Sensor systems (DCOSS)

作者： Ali, Muhammad Intizar Patel, Pankesh Breslin, John G. Natl Univ Ireland Galway Data Sci Inst Confirm SFI Res Ctr Smart Mfg Galway Ireland Fraunhofer USA CESE College Pk MD USA

ISBN: (纸本)9781728105703

Industry 4.0 is a recent trend of automation for manufacturing technologies and represents the fourth industrial revolution which transforms current industrial processes with the use of technologies such as automation, data analytics, cyber-physical systems, IoT, artificial intelligence, etc. the vision of Industry 4.0 is to build an end-to-end industrial transformation with the support of digitization. Data analytics plays a key role to get a better understanding of business processes and to design intelligent decision support systems. However, a key challenge faced by industry is to integrate multiple autonomous processes, machines and businesses to get an integrated view for data analytics activities. Another challenge is to develop methods and mechanisms for real-time data acquisition and analytics on-thefly. In this paper, we propose a semantically interoperable framework for historical data analysis combined with real-time data acquisition, event detection, and real-time data analytics for very precise production forecasting within a manufacturing unit. Besides historical data analysis techniques, our middleware is capable of collecting data from diverse autonomous applications and operations in real time using various IoT devices, analyzing the collected data on the fly, and evaluating the impact of any detected unexpected events. Using semantic technologies we integrate multiple autonomous systems (e.g. production system, supply chain management and open data). the outcome of real-time data analytics is used in combination with machine learning models trained over historical data in order to precisely forecast production in a manufacturing unit in real time. We also present our key findings and challenges faced while deploying our solution in real industrial settings for a large manufacturing unit.

关键词： real-time systems Production Data analysis Middleware Manufacturing Business Data models

来源：评论

学校读者我要写书评

暂无评论

Processor and Bus Co-scheduling Strategies for real-time Tasks with Multiple Service-levels 27

Processor and Bus Co-scheduling Strategies for Real-time Tas...

引用

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

作者： Roy, Sanjit Kumar Sarkar, Amab Gangopadhyay, Rahul IIT Guwahati Dept CSE Gauhati Assam India IIT Kharagpur ATDC Kharagpur W Bengal India St Petersburg State Univ Dept Math & Comp Sci St Petersburg Russia

ISBN: (纸本)9781665441889

Cyber-Physical systems, including those in the automotive domain, are often designed by assigning to each task an appropriate criticality-based reward value which is acquired by the system on its successful execution. Additionally, each task may have multiple implementations designated as service-levels, with higher service-levels producing more accurate results and contributing to higher rewards for the system. this work proposes strategies for co-scheduling a set of periodic tasks with multiple service-levels, on homogeneous processors and system buses. the problem is modeled as a Multi-dimensional Multiple-Choice Knapsack formulation (MMCKP) with the objective of maximizing overall system level rewards. A Dynamic Programming (DP) solution is proposed to solve the MMCKP. It was observed that although the DP based solution produces optimal results, its complexity is highly sensitive to the number of tasks, processors, buses as well as to the number of task service-levels, which severely restricts scalability of the strategy. therefore, we have also proposed a fast yet efficient heuristic algorithm called Accurate Low Overhead Level Allocator (ALOLA), which attempts to achieve the same objective. Our simulation based experimental evaluation shows that even on moderately large systems consisting of 90 tasks with 5 service-levels each, 16 processors and 4 buses, while MMCKP incurs a run-time of more than 1 hour 20 minutes and approximately 68 GB main memory, ALOLA takes only about 196 mu s (speedup of the order of 10(6) times) and less than 1 MB of memory. Moreover, while being fast, ALOLA is also efficient being able to control performance degradations to at most 13% compared to the optimal results produced by MMCKP. We use an automated flight control system employed in modern avionic systems, a real-world application to illustrate the general applicability of our proposed scheme.

关键词： real-time Processor Scheduling real-time Bus Scheduling Optimal Service-level Selection Cyber-Physical systems Automotive systems Scheduling

来源：评论

学校读者我要写书评

暂无评论

Load Balancing for Minimizing Deadline Misses and Total Runtime for Connected Car systems in Fog computing 15

Load Balancing for Minimizing Deadline Misses and Total Runt...

引用

15th ieee international Symposium on Parallel and Distributed Processing with applications (ISPA) / 16th ieee international conference on Ubiquitous computing and Communications (IUCC)

作者： Chen, Yu-An Walters, John Paul Crago, Stephen P. Univ Southern Calif Ming Hsieh Dept Elect Engn Los Angeles CA 90089 USA Univ Southern Calif Informat Sci Inst Arlington VA 22203 USA

ISBN: (纸本)9781538637906

Cloud computing provides a pool of highly available resources for applications to use to offload their tasks, but new applications such as coordinated lane-change assistance used in connected car systems have strict timing requirements that cannot be met by offloading tasks only to the cloud. Fog computing reduces latency by bringing the computation from remote datacenters to local fog servers, which are connected in close proximity to clients. Although fog computing lowers the latency for transferring data, load balancing among fog servers still needs to be addressed for better timing performance. the challenges include a large number of tasks, mobility of the clients, and heterogeneity of the fog servers. In this paper we use connected car systems as a motivating application, and first show that we can utilize mobility patterns of vehicles to perform periodic load balancing in fog servers. We then present a task model that solves the scheduling problem at the server level instead of device level. And finally we formulate a load balancing optimization problem for minimizing deadline misses and total runtime for connected car systems in fog computing. We show that it outperforms some common heuristics such as weighted round-robin, active monitoring, and throttled load balancer.

关键词： fog computing load balancing real-time task distribution deadline misses connected car mobility prediction

来源：评论

学校读者我要写书评

暂无评论

Supporting soft real-time parallel applications on multicore processors

Supporting soft real-time parallel applications on multicore...

引用

18th ieee international conference on embedded and real-time computing systems and applications, RTCSA 2012

作者： Liu, Cong Anderson, James H. Department of Computer Science University of North Carolina Chapel Hill NC United States

ISBN: (纸本)9781467330176

the prevalence of multicore processors has resulted in the wider applicability of parallel programming models such as Open MP and MapReduce. A common goal of running parallel applications implemented under such models is to guarantee bounded response times while maximizing system utilization. Unfortunately, little previous work has been done that can provide such performance guarantees. In this paper, this problem is addressed by applying soft real-time scheduling analysis techniques. Analysis and conditions are presented for guaranteeing bounded response times for parallel applications under global EDF multiprocessor scheduling. © 2012 ieee.

关键词： MapReduce

来源：评论

学校读者我要写书评

暂无评论

Strengthening property preservation in concurrent real-time systems

Strengthening property preservation in concurrent real-time ...

引用

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

作者： Florescu, Oana Huang, Jinfeng Voetent, Jeroen Corporaal, Henk Eindhoven Univ Technol Dept Elect Engn NL-5600 MB Eindhoven Netherlands

ISBN: (纸本)0769526764

To build a "correct" implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its corresponding implementation. In this paper, the behaviour of a system is described with timed action sequences. Based on a notion of distance that expresses the observable property preservation between timed action sequences, we show that a stronger observable property preservation between model and implementation is obtained when urgency on the execution of observable actions is imposed over the execution of unobservable ones. Furthermore, we present a model synthesis approach and, by means of a case study, we show how it can be applied in the synthesis of real-time systems.

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

Chattering-Free Simulation for Hybrid Dynamical systems Semantics and Prototype Implementation 19

Chattering-Free Simulation for Hybrid Dynamical Systems Sema...

引用

19th ieee international conference on Computational Science and Engineering, 14th ieee international conference on embedded and Ubiquitous computing and 15th international Symposium on Distributed computing and applications to Business, Engineering and Science, CSE-EUC-DCABES 2016

作者： Aljarbouh, Ayman Zeng, Yingfu Duracz, Adam Caillaud, Benoit Taha, Walid Hycomes Team Département D4 Centre de Recherche INRIA Rennes Cedex35042 France Department of Computer Science Rice University HoustonTX77005-1827 United States Halmstad University Halmstad Sweden

ISBN: (纸本)9781509035939

Chattering is a fundamental phenomenon that is unique to hybrid systems, due to the complex interaction between discrete dynamics (in the form of discrete transitions) and continuous dynamics (in the form of time). In practice, simulating chattering hybrid systems is challenging in that simulation eectively halts near the chattering time point, as an innite number of discrete transitions would need to be simulated. In this paper, formal conditions are provided for when the simulated models of hybrid systems display chattering behavior, and methods are proposed for avoiding chattering "on the y" in runtime. We utilize dynamical behavior analysis to derive conditions for detecting chattering without enumeration of modes. We also present a new iterative algorithm to allow for solutions to be carried past the chattering point, and we show by a prototypical implementation how to generate the equivalent chattering-free dynamics internally by the simulator in the main simulation loop. the concepts are illustrated with examples throughout the paper. © 2016 ieee.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

作者： Riaz, M Kiani, SL Lee, S Han, SM Lee, YK Kyung Hee Univ Real Time & Multimedia Lab Yongin 449701 Gyeonggi Do South Korea

ISBN: (纸本)0769523463

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.(1)

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共216页 << < 32 33 34 35 36 37 38 39 40 41 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：