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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

2,730 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,197 篇 工学
- 1,029 篇 计算机科学与技术...
- 560 篇 软件工程
- 263 篇 电气工程
- 151 篇 电子科学与技术（可...
- 147 篇 控制科学与工程
- 133 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 动力工程及工程热...
- 19 篇 仪器科学与技术
- 18 篇 材料科学与工程（可...
- 17 篇 建筑学
- 17 篇 土木工程
- 17 篇 安全科学与工程
- 16 篇 生物医学工程（可授...
- 14 篇 交通运输工程
- 14 篇 航空宇航科学与技...
- 13 篇 力学（可授工学、理...
- 11 篇 光学工程
- 11 篇 化学工程与技术
264 篇 理学
- 166 篇 数学
- 79 篇 系统科学
- 38 篇 物理学
- 32 篇 统计学（可授理学、...
- 13 篇 化学
- 12 篇 生物学
135 篇 管理学
- 114 篇 管理科学与工程(可...
- 51 篇 工商管理
- 28 篇 图书情报与档案管...
20 篇 经济学
- 20 篇 应用经济学
19 篇 法学
- 19 篇 社会学
11 篇 医学
6 篇 教育学
5 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

763 篇 computational mo...
616 篇 computer archite...
358 篇 hardware
222 篇 embedded systems
144 篇 analytical model...
142 篇 embedded system
134 篇 computer simulat...
128 篇 application soft...
123 篇 mathematical mod...
115 篇 field programmab...
112 篇 real time system...
100 篇 program processo...
90 篇 embedded computi...
87 篇 kernel
84 篇 software
83 篇 computer science
80 篇 parallel process...
79 篇 registers
73 篇 control systems
71 篇 timing

机构

10 篇 school of electr...
9 篇 rhein westfal th...
8 篇 institute for co...
8 篇 center for embed...
7 篇 center for embed...
7 篇 department of co...
6 篇 computer systems...
6 篇 computer systems...
6 篇 institute for co...
6 篇 fraunhofer iese ...
5 篇 school of automa...
5 篇 school of electr...
5 篇 university of za...
5 篇 embedded systems...
5 篇 university of te...
5 篇 eindhoven univer...
5 篇 national cims en...
5 篇 the university o...
5 篇 eindhoven univer...
5 篇 shanghai key lab...

作者

19 篇 leupers rainer
16 篇 ascheid gerd
15 篇 soudris dimitrio...
14 篇 dimitrios soudri...
13 篇 rainer leupers
12 篇 gerd ascheid
12 篇 pimentel andy d.
10 篇 andy d. pimentel
10 篇 jung matthias
10 篇 holger blume
9 篇 fornaciari willi...
9 篇 kostas siozios
9 篇 christian haubel...
9 篇 blume holger
9 篇 andreas gerstlau...
9 篇 takala jarmo
8 篇 mohamed abid
8 篇 f. fummi
8 篇 george economako...
8 篇 wehn norbert

语言

2,718 篇 英文
9 篇 中文
4 篇 其他

检索条件"任意字段=International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation"

共 2730 条记录，以下是301-310 订阅

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

详细简洁

排序：

1st international conference on Adaptive Instructional systems, AIS 2019, held as part of the 21st international conference on Human-computer Interaction, HCI international 2019

1st International Conference on Adaptive Instructional Syste...

引用

1st international conference on Adaptive Instructional systems, AIS 2019, held as part of the 21st international conference on Human-computer Interaction, HCI international 2019

ISBN: (纸本)9783030223403

The proceedings contain 50 papers. The special focus in this conference is on Adaptive Instructional systems. The topics include: Ibigkas! 2.0: Directions for the Design of an Adaptive Mobile-Assisted Language Learning App;Adaptive Learning Technology for AR Training: Possibilities and Challenges;intelligent Tutoring Design Alternatives in a Serious Game;missing Pieces: Infrastructure Requirements for Adaptive Instructional systems;standards Needed: Competency modeling and Recommender systems;measuring the Complexity of Learning Content to Enable Automated Comparison, Recommendation, and Generation;Capturing AIS Behavior Using xAPI-like Statements;standardizing Unstructured Interaction Data in Adaptive Instructional systems;exploring Methods to Promote Interoperability in Adaptive Instructional systems;adaptive Team Training for One;Examining Elements of an Adaptive Instructional System (AIS) Conceptual Model;interoperability Standards for Adaptive Instructional systems: Vertical and Horizontal Integrations;integrating Engagement Inducing Interventions into Traditional, Virtual and embedded Learning Environments;productive Failure and Subgoal Scaffolding in Novel Domains;adaptation and Pedagogy at the Collective Level: Recommendations for Adaptive Instructional systems;developing an Adaptive Trainer for Joint Terminal Attack Controllers;using an Adaptive Intelligent Tutoring System to Promote Learning Affordances for Adults with Low Literacy Skills;development of Cognitive Transfer Tasks for Virtual Environments and Applications for Adaptive Instructional systems;application of Theory to the Development of an Adaptive Training System for a Submarine Electronic Warfare Task;learning Analytics of Playing Space Fortress with Reinforcement Learning;adaptive Training: Designing Training for the Way People Work and Learn;wrong in the Right Way: Balancing Realism Against Other Constraints in simulation-Based Training;adaptive Remediation with Multi-modal Content.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Algorithm-level Approximation for Fast (or not) embedded Stereovision Algorithm 18

Algorithm-level Approximation for Fast (or not) Embedded Ste...

引用

18th international conference on embedded computer systems - architectures, modeling, and simulation (SAMOS)

作者： Bonnot, Justine Desnos, Karol Menard, Daniel Univ Rennes INSA Rennes CNRS IETRUMR 6164 Rennes France

ISBN: (纸本)9781450364942

Because of the growing concern towards the energy consumption of embedded devices, the quality of an application is now considered as a new tunable parameter during the implementation phase. Approximations are then deliberately introduced to gain performance. Nevertheless, when implementing an approximate computing technique, quality deteriorations may appear. In order to check that the application Quality of Service is still met despite the induced approximations, several metrics can be used. The proposed method introduces an algorithm-level approximate computing method in a stereovision algorithm. The proposed algorithm-level approximation aims at reducing the computational load in a stereo matching algorithm that outputs a depth map from two rectified images. Based on a smart loop perforation technique, this method offers an interesting quality/complexity trade-off. However, when comparing the obtained results to a more basic approximation technique, the results show that the quality/computation time trade-off is strongly dependent on the metric used. Our paper presents the impact of the choice of the quality metric on the results of the proposed approximate computing technique.

关键词： Approximate Computing Stereo Matching Loop Perforation Algorithm-level Approximation

来源：评论

学校读者我要写书评

暂无评论

mcQEMU: Time-Accurate simulation of Multi-core platforms using QEMU

mcQEMU: Time-Accurate Simulation of Multi-core platforms usi...

引用

Euromicro Symposium on Digital System Design

作者： Humberto Carvalho Geoffrey Nelissen Pavel Zaykov CISTER Research Centre ISEP Polytechnic Institute of Porto Portugal Eindhoven University of Technology Eindhoven The Netherlands Honeywell International s.r.o Advanced Technology Europe Brno Czech Republic

ISBN: (数字)9781728195353

ISBN: (纸本)9781728195360

Full-system emulators allow the execution of guest operating systems and applications without the need of having access to the real target hardware. For many applications, besides the correct functional modeling, the full-system emulator shall also be time-accurate. In this paper, we present a new full-system multi-core simulator that delivers time-accurate execution and preserves the functional correctness of guest application. The proposed solution is based on QEMU. We enriched QEMU with various time models of multi-core platforms. We call this new full-system simulator mcQEMU. mcQEMU supports guest CPUs with out-of-order and in-order *** validated mcQEMU by emulating multi-core ARM processors in system mode. The time accuracy of mcQEMU is evaluated with the TACLeBench benchmark suite. From a timing prediction viewpoint, mcQEMU achieves an estimation error of only 15% in average when emulating the out-of-order ***6Quad processor by NXP. For full-system simulation, mcQEMU runs at 35 Mips for in-order architectures and 25 Mips for out-of-order ones. In user-mode simulation, mcQEMU can achieve up to 65 Mips.

关键词： Synchronization Emulation computer architecture Out of order Computational modeling Hardware

来源：评论

学校读者我要写书评

暂无评论

BOSMI: A Framework for Non-Intrusive Monitoring and Testing of embedded Multithreaded Software on the Logical Level 18

BOSMI: A Framework for Non-Intrusive Monitoring and Testing ...

引用

18th international conference on embedded computer systems - architectures, modeling, and simulation (SAMOS)

作者： Jahic, Jasmin Kuhn, Thomas Jung, Matthias Wehn, Norbert Fraunhofer IESE Kaiserslautern Germany Univ Kaiserslautern Kaiserslautern Germany

ISBN: (纸本)9781450364942

Traditional software testing methods are inefficient in cases where data inputs alone do not determine the outcome of a program's execution. In order to verify such software, testing is often complemented by analysis of the execution trace. For monitoring the execution trace, most approaches today insert additional instructions at the binary level, making the monitoring intrusive. Binary instrumentation operate on a low level, making it difficult to properly modify a program's states and to quantify its code coverage. In this paper, we present a framework for testing complex embedded multithreaded software on the logical level. Testing software on this level avoids dependency on concrete compilers and relates the execution to the source code, thus enabling coverage. Our non-intrusive execution monitoring and control is implemented using the LLVM interpreter compiler infrastructure. Instead of forcing thread interleaving, we suggest simulating interleaving effects through non-intrusive changes of shared variables. This makes it possible to test a single thread without executing the full software stack, which is especially useful in situations where the full software stack is not available (e.g., pre-integration testing). We complement existing approaches with new features such as dynamic configuration of monitoring and execution roll-back to the checkpoints. Our approach introduces acceptable overhead without any complex setup.

关键词： execution monitoring execution control LLVM coverage concurrency

来源：评论

学校读者我要写书评

暂无评论

Work-in-Progress: Flexible Group-Level Pruning of Deep Neural Networks for Fast Inference on Mobile GPUs

Work-in-Progress: Flexible Group-Level Pruning of Deep Neura...

引用

Proceedings of the international conference on Compilers, architectures and Synthesis for embedded systems (CASES)

作者： Kwangbae Lee Hoseung Kim Hayun Lee Dongkun Shin Department of Electrical and Computer Engineering Sungkyunkwan University South Korea

Network pruning is a promising compression technique to reduce computation and memory access cost of deep neural networks. In this paper, we propose a novel group-level pruning method to accelerate deep neural networks on mobile GPUs, where several adjacent weights are pruned in a group while providing high accuracy. Although several group-level pruning techniques have been proposed, the previous techniques can not achieve the desired accuracy at high sparsity. In this paper, we propose a unaligned approach to improve the accuracy of compressed model.

关键词： Neural networks Two dimensional displays Computational modeling Hardware Registers Libraries Parallel processing

来源：评论

学校读者我要写书评

暂无评论

FAuto: An Efficient GMM-HMM FPGA Implementation for Behavior Estimation in Autonomous systems

FAuto: An Efficient GMM-HMM FPGA Implementation for Behavior...

引用

international Joint conference on Neural Networks (IJCNN)

作者： Junde Li Navyata Gattu Swaroop Ghosh School of Electrical Engineering and Computer Science Pennsylvania State University PA USA

ISBN: (数字)9781728169262

ISBN: (纸本)9781728169279

Driving behavior estimation in car-following scenario based on contextual traffic information is an essential capability for autonomous driving systems. Real-time motion planning based on incomplete environment perception requires complicated probabilistic model for interactions with surrounding objects and road conditions. Hidden Markov Model (HMM) with Gaussian emissions has been used to model driving behaviors for its ability of inferring unobserved states. While the high-dimensional contextual data is continuously processed, the system should be high-performance and power-efficient to make real-time decisions for safe operations. Field Programmable Gate Array (FPGA) is being increasingly used on embedded System-on-Chip (SoC) for mobile applications mainly because of its parallel computation and low-power consumption. This paper implements FAuto: the framework of HMM coupled with GMM algorithm on a Xilinx PYNQ-Z2 board for autonomous systems. We design the hybrid GMM-HMM model in python, and train the model using Next Generation simulation (NGSIM) trajectory data on a CPU platform. The hardware accelerator is designed through Vivado HLS 2018.2, and verified with Jupiter notebook. FAuto achieves 2.59 TOPS/W power efficiency, and 10.39× speedup compared to Python software implementation running on quad-core i7-7500U CPU.

关键词： Hidden Markov models Estimation Field programmable gate arrays Computational modeling Markov processes Gaussian mixture model

来源：评论

学校读者我要写书评

暂无评论

18th international conference on Runtime Verification, RV 2018

18th International Conference on Runtime Verification, RV 20...

引用

18th international conference on Runtime Verification, RV 2018

ISBN: (纸本)9783030037680

The proceedings contain 28 papers. The special focus in this conference is on Runtime Verification. The topics include: Second school on runtime verification, as part of the ArVi COST action 1402 overview and reflections;Monitoring, learning and control of cyber-physical systems with STL (Tutorial);hardware-based runtime verification with embedded tracing units and stream processing;can we monitor all multithreaded programs?;runtime verification: From propositional to first-order temporal logic;monitoring smart contracts: Contractlarva and open challenges beyond;online and offline stream runtime verification of synchronous systems;metis: Resource and context-aware monitoring of finite state properties;predictive run-time verification of discrete-time reachability properties in black-box systems using trace-level abstraction and statistical learning;efficient timed diagnosis using automata with timed domains;bringing runtime verification home;a taxonomy for classifying runtime verification tools;verifying and validating autonomous systems: Towards an integrated approach;striver: Stream runtime verification for real-time event-streams;efficient monitoring of real driving emissions;property-driven runtime resolution of feature interactions;from parametric trace slicing to rule systems;scalable online first-order monitoring;practical information flow control for web applications;time-series learning using monotonic logical properties;evaluating perception systems for autonomous vehicles using quality temporal logic;tracing distributed component-based systems, a brief overview;MLTL benchmark generation via formula progression;an environment for the partrap trace property language (Tool demonstration);writing domain-specific languages for beepbeep;a framework for non-intrusive trace-driven simulation of manycore architectures with dynamic tracing configuration.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SqueezeNext: Hardware-Aware Neural Network Design 31

SqueezeNext: Hardware-Aware Neural Network Design

引用

IEEE/CVF conference on computer Vision and Pattern Recognition (CVPR)

作者： Gholami, Amir Kwon, Kiseok Wu, Bichen Tai, Zizheng Yue, Xiangyu Jin, Peter Zhao, Sicheng Keutzer, Kurt Univ Calif Berkeley EECS Berkeley CA 94720 USA

ISBN: (数字)9781538661000

ISBN: (纸本)9781538661000

One of the main barriers for deploying neural networks on embedded systems has been large memory and power consumption of existing neural networks. In this work, we introduce SqueezeNext, a new family of neural network architectures whose design was guided by considering previous architectures such as SqueezeNet, as well as by simulation results on a neural network accelerator. This new network is able to match AlexNet's accuracy on the ImageNet benchmark with 112x fewer parameters, and one of its deeper variants is able to achieve VGG-19 accuracy with only 4.4 Million parameters, (31x smaller than VGG19). SqueezeNext also achieves better top-5 classification accuracy with 1.3x fewer parameters as compared to MobileNet, but avoids using depthwise-separable convolutions that are inefficient on some mobile processor platforms. This wide range of accuracy gives the user the ability to make speed-accuracy tradeoffs, depending on the available resources on the target hardware. Using hardware simulation results for power and inference speed on an embedded system has guided us to design variations of the baseline model that are 2.59x/8.26x faster and 2.25x/7.5x more energy efficient as compared to SqueezeNet/AlexNet without any accuracy degradation.

关键词： Neural networks Hardware computer architecture Semiconductor process modeling embedded systems Power demand Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Scheduling Real-time HiL Co-simulation of Cyber-Physical systems on Multi-core architectures 24

Scheduling Real-time HiL Co-simulation of Cyber-Physical Sys...

引用

24th IEEE international conference on embedded and Real-Time Computing systems and Applications (RTCSA)

作者： Saidi, Salah Eddine Pernet, Nicolas Sorel, Yves IFP Energies Nouvelles Rueil Malmaison France INRIA Paris France

ISBN: (纸本)9781538677599

When designing complex cyber-physical systems, engineers have to integrate numerical models from different modeling environments in order to simulate the whole system and estimate its global performances. Co-simulation refers to such joint simulation of heterogeneous models. If some parts of the system are physically available, it is possible to connect these parts to the co-simulation in a Hardware-in-the-Loop (HiL) approach. In this case, the simulation has to be performed in real-time where models execution consists in periodically reacting to the real (physically available) components and providing periodic output updates. This paper deals with the parallelization and scheduling of real-time Hardware-in-the-Loop co-simulation of numerical models on multi-core architectures. A method for defining real-time constraints that have to be met is proposed. Also, an ILP formulation as well as a heuristic are proposed to solve the problem of scheduling the co-simulation on a multi-core architecture while satisfying the previously defined real-time constraints. The proposed approach is evaluated for different sizes of co-simulations and multi-core processors.

关键词： co-simulation HiL scheduling real-time multi-core

来源：评论

学校读者我要写书评

暂无评论

A Model-Based Concept for RTOS Portability 15

A Model-Based Concept for RTOS Portability

引用

15th IEEE/ACS international conference on computer systems and Applications (AICCSA)

作者： Gomes, Renata Martins Baunach, Marcel Graz Univ Technol Graz Austria

ISBN: (纸本)9781538691205

The amount and diversity of connected computing platforms in the Internet of Things (IoT) is expected to increase exponentially throughout the next years, together with their dependability requirements. This imposes many challenges to software and hardware developers and calls for safe and secure real-time operating systems (RTOSs) that are portable to different or changing hardware. Middleware ports, including RTOS ports, must keep functional and non-functional behavior constant towards the application. Current middleware portability approaches for embedded systems, however, are arduous and error prone. We present a novel approach towards portability of embedded RTOSs based on the formal, hardware-independent and detailed specification of RTOS kernels. With additional models of relevant MCU properties and instruction set architectures (ISA), we are able to generate low level RTOS code for different target architectures. This paper focuses on the hardware-independent model of the context switch within a multi-tasking RTOS. With the general approach, we expect to (1) reduce the effort for maintaining and porting RTOS code, as well as the (2) likeliness for errors, (3) make it easier to test new kernel concepts during OS development, (4) improve security by modeling different levels of access permissions for memory or peripherals depending on the execution mode, and (5) improve safety by formally proving the correctness and consistency of the models.

关键词： RTOS portability code generation formal modeling Event-B IoT

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共273页 << < 27 28 29 30 31 32 33 34 35 36 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：