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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,681 篇 计算机科学与技术...
- 890 篇 软件工程
- 544 篇 电气工程
- 292 篇 信息与通信工程
- 251 篇 控制科学与工程
- 93 篇 电子科学与技术（可...
- 71 篇 动力工程及工程热...
- 66 篇 机械工程
- 60 篇 生物工程
- 53 篇 安全科学与工程
- 49 篇 网络空间安全
- 46 篇 交通运输工程
- 43 篇 仪器科学与技术
- 36 篇 建筑学
- 30 篇 生物医学工程（可授...
- 27 篇 土木工程
- 25 篇 光学工程
- 20 篇 环境科学与工程（可...
324 篇 理学
- 171 篇 数学
- 65 篇 生物学
- 61 篇 物理学
- 54 篇 系统科学
- 32 篇 统计学（可授理学、...
- 20 篇 化学
263 篇 管理学
- 210 篇 管理科学与工程(可...
- 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,171 篇 英文
34 篇 其他
5 篇 中文
1 篇 西班牙文
1 篇 法文

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

共 3210 条记录，以下是1021-1030 订阅

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

详细简洁

排序：

Applicability of Supervisory Control theory for the Supervision of PLC Programs 22

Applicability of Supervisory Control Theory for the Supervis...

引用

22nd IEEE international conference on Emerging Technologies and Factory Automation (ETFA)

作者： Goebe, Florian Aydin, Selin Kowalewski, Stefan Rhein Westfal TH Aachen Informat Embedded Software 11 Aachen Germany

ISBN: (纸本)9781509065059

the safety of software-based control systems plays an essential role in a vast number of applications. SynTACS is a tool that generates a framework for controller supervision, which enforces safety during runtime by utilizing the supervisory control theory of Ramadge and Wonham. In this paper, the results of a user study are presented in which it was investigated how far discrete-event systems, the underlying modeling formalism, are suitable to express safety requirements. Further, the usability of the tool was evaluated. In the second part, several concepts are introduced to support use cases that require real-time controllers due to unstable processes. Finally, two case studies are presented to show the applicability of both the tool and the new concepts.

关键词： Automata Tools Generators Safety Usability Runtime Discrete-event systems

来源：评论

学校读者我要写书评

暂无评论

Schedulability and memory interference analysis of multicore preemptive real-time systems 17

Schedulability and memory interference analysis of multicore...

引用

8th ACM/SPEC international conference on Performance Engineering, ICPE 2017

作者： Boudjadar, Jalil Nadjm-Tehrani, Simin Department of Computer and Information Science Linköping University Sweden

ISBN: (纸本)9781450344043

Today's embedded systems demand increasing computing power to accommodate the ever-growing software functionality. Automotive and avionic systems aim to leverage the high performance capabilities of multicore platforms, but are faced with challenges with respect to temporal predictability. Multicore designers have achieved much progress on improvement of memory-dependent performance in caching systems and shared memories in general. However, having applications running simultaneously and requesting the access to the shared memories concurrently leads to interference. the performance unpredictability resulting from interference at any shared memory level may lead to violation of the timing properties in safety-critical real-time systems. In this paper, we introduce a formal analysis framework for the schedulability and memory interference of multicore systems with shared caches and DRAM. We build a multicore system model with a fine grained application behavior given in terms of periodic preemptible tasks, described with explicit read and write access numbers for shared caches and DRAM. We also provide a method to analyze and recommend candidates for task-to-core reallocation with the goal to find schedulable configurations if a given system is not schedulable. Our model-based framework is realized using Uppaal and has been used to analyze a case study. © 2017 ACM.

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

11th international conference on Tests and Proofs, TAP 2017, held as part of STAF 2017

11th International Conference on Tests and Proofs, TAP 2017,...

引用

11th international conference on Tests and Proofs, TAP 2017, held as part of STAF 2017

ISBN: (纸本)9783319614663

the proceedings contain 10 papers. the special focus in this conference is on Tests and Proofs. the topics include: Abstraction refinement for the analysis of software product lines;hybrid information flow analysis for real-world C code;symbolic execution of transition systems with function summaries;unit testing of database-driven java enterprise edition applications;model-based testing of probabilistic systems with stochastic time;test suite reduction in idempotence testing of infrastructure as code;checking UML and OCL model behavior with filmstripping and classifying terms;skolem function continuation for quantified Boolean formulas;a tool for model-based testing of WS-BPEL compositions under load conditions and testing a saturation-based theorem prover.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Heterogeneous Managed Runtime systems: A Computer Vision Case Study 17

Heterogeneous Managed Runtime Systems: A Computer Vision Cas...

引用

13th ACM SIGPLAN/SIGOPS international conference on Virtual Execution Environments (VEE)

作者： Kotselidis, Christos Clarkson, James Rodchenko, Andrey Nisbet, Andy Mawer, John Lujan, Mikel Univ Manchester Sch Comp Sci Oxford Rd Manchester M13 9PL Lancs England

ISBN: (纸本)9781450349482

real-time 3D space understanding is becoming prevalent across a wide range of applications and hardware platforms. To meet the desired Quality of Service (QoS), computer vision applications tend to be heavily parallelized and exploit any available hardware accelerators. Current approaches to achieving real-time computer vision, evolve around programming languages typically associated with High Performance computing along with binding extensions for OpenCL or CUDA execution. Such implementations, although high performing, lack portability across the wide range of diverse hardware resources and accelerators. In this paper, we showcase how a complex computer vision application can be implemented within a managed runtime system. We discuss the complexities of achieving high-performing and portable execution across embedded and desktop configurations. Furthermore, we demonstrate that it is possible to achieve the QoS target of over 30 frames per second (FPS) by exploiting FPGA and GPGPU acceleration transparently through the managed runtime system.

关键词： GPU Acceleration Java Virtual Machines Heterogeneous Runtime systems SLAM Computer Vision

来源：评论

学校读者我要写书评

暂无评论

System on Chip Generation for Multi-Sensor and Sensor Fusion applications 17

System on Chip Generation for Multi-Sensor and Sensor Fusion...

引用

17th Annual international conference on embedded Computer systems - Architectures, Modeling, and Simulation (SAMOS)

作者： Lieske, Tobias Pfundt, Benjamin Vaas, Steffen Reichenbach, Marc Fey, Dietmar Friedrich Alexander Univ Erlangen Nurnberg FAU Chair Comp Architecture Dept Comp Sci Erlangen Germany

ISBN: (纸本)9781538634370

the amount of smart devices in our daily lives has dramatically increased. Many of these devices include sensors to capture their environment and communicate with other devices, forming the internet of things (IoT). A similar process of increasing intercommunication and digitization can be seen in industry where this development is called Industry 4.0. In this new era there is a strong demand for new computing architectures that fulfill the tight energy constraints as well as deliver enough on-chip processing performance. Off-the-shelf microcontrollers do not suffice both requirements as the power to performance ratio is too high. One solution are system on chip (SoC) architectures with domain specific application specific processors (ASIP). However, this new and competitive market requires a strongly reduced time to market. thus, it is necessary to speed up the design process and deliver enough flexibility to adapt to new applications. therefore, we propose a new SoC generation framework, which is based on an ASIP architecture. Architectural templates can be combined with existing intellectual property (IP) components, high-level synthesis (HLS) or hardware description language (HDL) code to speed up the design process. Both field programmable gate array (FPGA) and application specific integrated circuit (ASIC) back ends are supported. the architecture targets primarily multi-sensor and sensor fusion applications. A customizable MIPS processor with an adaptable compiler toolchain ensures interoperability in standard networks. the capabilities of our SoC architecture is demonstrated on two real world problems, including a performance demanding power quality monitoring application and a low-power swimming exercise tracking applications. Results show that the application constraints can be easily fulfilled while increasing speed and flexibility in the design process.

关键词： IoT SoC generation MIPS power quality monitoring biosignal processing

来源：评论

学校读者我要写书评

暂无评论

17th international conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and systems, NEW2AN 2017, 10th conference on Internet of things and Smart Spaces, ruSMART 2017 and 3rd international Workshop on Nano-scale computing and Communications, NsCC 2017

17th International Conference on Next Generation Teletraffic...

引用

17th international conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and systems, NEW2AN 2017, 10th conference on Internet of things and Smart Spaces, ruSMART 2017 and 3rd international Workshop on Nano-scale computing and Communications, NsCC 2017

ISBN: (纸本)9783319673790

the proceedings contain 71 papers. the special focus in this conference is on Next Generation Teletraffic and Wired/Wireless Advanced Networks and systems. the topics include: Developing of emerging internet applications for home healthcare;digital business model and SMART economy sectoral development trajectories substantiation;ontology matching for socio-cyberphysical systems;battery monitoring within industry 4.0 landscape;opportunistic data collection for IoT-based indoor air quality monitoring;the IoT identification procedure based on the degraded flash memory sector;cloud computing solution for investment efficiency measurement in biomedicine;time series distributed analysis in IoT with ETL and data mining technologies;exploring SDN to deploy flexibl sampling-based network monitoring;VNF orchestration and modeling with ETSI MANO compliant frameworks;performance evaluation of openflow enabled commodity and raspberry pi wireless routers;design issues of information and communication systems for new generation industrial enterprises;supporting data communications in IoT-enabled waste management;fiber-optic transmission system for the testing of active phased antenna arrays in an anechoic chamber;advanced materials for fiber communication systems;dynamic data packaging protocol for real-time medical applications of nanonetworks;nano communication device with an embedded molecular film: electromagnetic signals integration with dynamic;a formal definition for nanorobots and nanonetworks;digital watermarking method based on image compression algorithms;virtual telecommunication enterprises and their risk assessment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A New Approach for Automatic Development of Reconfigurable real-time systems 11th

A New Approach for Automatic Development of Reconfigurable R...

引用

11th international Joint conference on Software Technologies (ICSOFT-EA)

作者： Lakhdhar, Wafa Mzid, Rania Khalgui, Mohamed Treves, Nicolas Univ Carthage INSAT Ctr LISI Lab INSAT Urbain Nord BP 676 Tunis Tunisia Univ Tunis El Manar ISI 2 Rue Abourraihan Al Bayrouni Ariana Tunisia Univ Sfax CES Lab ENIS BP W-3 Sfax Tunisia CNAM CEDRIC Lab 292 Rue St Martin Paris France Xidian Univ Syst Control Lab August Bebel Str 70 Halle Peoples R China Jinan Univ Sch Elect & Informat Engn Zhuhai Campus Zhuhai 519070 Peoples R China

ISBN: (纸本)9783319625690;9783319625683

In the industry, reconfigurable real-time systems are specified as a set of implementations and tasks with timing constraints. the reconfiguration allows to move from one implementation to another by adding/removing real-time tasks. Implementing those systems as threads generates a complex system code due to the large number of threads and the redundancy between the implementation sets. this paper shows an approach for software synthesis in reconfigurable uniprocessor realtime embedded systems. Starting from the specification to a program source code, this approach aims at minimizing the number of threads and the redundancy between the implementation sets while preserving the system feasibility. the proposed approach adopts Mixed Integer Linear Programming (MILP) techniques in the exploration phase in order to provide feasible and optimal task model. An optimal reconfigurable POSIX-based code of the system is manually generated as an output of this technique. An application to a case study and performance evaluation show the effectiveness of the proposed approach.

关键词： real-time system Reconfigurable architecture Timing constraints Mixed Integer Linear Programming (MILP) POSIX-based code

来源：评论

学校读者我要写书评

暂无评论

On runtime communication- and thermal-aware application mapping in 3D NoC 17

On runtime communication- and thermal-aware application mapp...

引用

11th IEEE/ACM international Symposium on Networks-on-Chip, NOCS 2017

作者： Li, Bing Wang, Xiaohang Singh, Amit Kumar Mak, Terrence South China University of Technology China Department of Electronics and Computer Science University of Southampton United Kingdom Shenzhen Institute of Advanced Technology and Guangzhou Institute of Advanced Technology CAS China

ISBN: (纸本)9781450349840

Many-core systems connected by 3D Network-on-Chips (NoC) are emerging as a promising computation engine for systems like cloud computing servers, big data systems, etc. Mapping applications at runtime to 3D NoCs is the key to maintain high throughput of the overall chip under a thermal/power constraint. However, the goals of optimizing both the communication latency and chip peak temperature are contradicting due to several reasons. Firstly, exploiting the vertical TSV links can accelerate communications, while low peak temperature prefers that the tasks to be mapped closer to the heat sink, instead of using the vertical links. Secondly, mapping tasks in close proximity can reduce communication latency, but at the cost of poor heat dissipation. To address these issues, in this paper, we propose an efficient runtime mapping algorithm to reduce both communication latency and overall application running time under thermal constraint. In essence, this algorithm first selects a 3D cuboid core region of a specific shape for each incoming application by setting the region's number of occupied vertical layers and its distance to the heat sink, in order to optimize its communication performance and peak temperature. Next, the exact locations of the core regions in the chip are determined, followed by a task-to-core mapping. the experimental results have confirmed that, compared to two recently proposed runtime mapping algorithms, our proposed approach can reduce the total running time by up to 48% and communication cost by up to 44%, with a low runtime overhead. © 2017 Association for computing Machinery.

关键词： Network-on-chip

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the international conference on Sensing Technology, ICST

Proceedings of the International Conference on Sensing Techn...

引用

11th international conference on Sensing Technology, ICST 2017

ISBN: (纸本)9781509065264

the proceedings contain 104 papers. the topics discussed include: mathematical modelling of microbolometers at oblique incidence;cloud computing and internet of things fusion: cost issues;toroidal vector-potential transformer;compensation techniques for geophone response used as vibration sensor in seismic applications;long term magnetic sensor system reliability assessment;a bio-inspired secure ipv6 communication protocol for internet of things;design and evaluation of a wireless sensor system for remote mechanical parts monitoring;real time monitoring and recognition of eating and physical activity with a wearable device connected to the eyeglass;self adjustable daylight sensor for lighting systems;an FFT-based high-speed spindle monitoring system for analyzing vibrations;robust feature extraction for face recognition based on ultrasonic sensing;an inertia based sensor with dynamic PUF;WiField, an IEEE 802.11-based agricultural sensor data gathering and logging platform;Wheatstone bridge approach to the inspection of composite materials;development of the selectivity of nitrate sensors based on ion imprinted polymerization technique;and development and application of an orthodontic near infrared photometer and thermometer.

关键词：

来源：评论

学校读者我要写书评

暂无评论

30th international conference on Architecture of computing systems, ARCS 2017

引用

30th international conference on Architecture of computing systems, ARCS 2017

ISBN: (纸本)9783319549989

the proceedings contain 19 papers. the special focus in this conference is on Resilience, Accelerators, System, Application Performance, Memory systems, Parallelism, Many-Core systems, Scheduling, Power and Energy. the topics include: Effectiveness of software-based hardening for radiation-induced soft errors in real-time operating systems;OpenCL-Based 6D-vision on heterogeneous system on chips;hardware-accelerated radix-tree based string sorting for big data applications;boosting java performance using GPGPUs;a low noise unikernel for extrem-scale systems;adaptive and scalable predictive page policies for high core-count server CPUs;HBM-Resident prefetching for heterogeneous memory system;parallel forwarding for efficient bandwidth utilization in networks-on-chip;a scheduler for multi-core embedded systems;semi-partitioned mixed-criticality scheduling;DVFS space exploration in power constrained processing-in-memory systems;reducing data center resource over-provisioning through dynamic load management for virtualized network functions and dynamic power management in a heterogeneous processor architecture.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共321页 << < 99 100 101 102 103 104 105 106 107 108 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：