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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,344 篇 工学
- 1,186 篇 计算机科学与技术...
- 621 篇 软件工程
- 273 篇 电气工程
- 174 篇 电子科学与技术（可...
- 161 篇 控制科学与工程
- 147 篇 信息与通信工程
- 52 篇 动力工程及工程热...
- 49 篇 机械工程
- 20 篇 建筑学
- 19 篇 仪器科学与技术
- 19 篇 土木工程
- 19 篇 航空宇航科学与技...
- 18 篇 交通运输工程
- 17 篇 安全科学与工程
- 16 篇 材料科学与工程（可...
- 15 篇 生物工程
- 14 篇 力学（可授工学、理...
- 13 篇 光学工程
- 13 篇 生物医学工程（可授...
287 篇 理学
- 176 篇 数学
- 87 篇 系统科学
- 42 篇 物理学
- 34 篇 统计学（可授理学、...
- 20 篇 生物学
- 12 篇 化学
149 篇 管理学
- 126 篇 管理科学与工程(可...
- 57 篇 工商管理
- 30 篇 图书情报与档案管...
24 篇 法学
- 24 篇 社会学
22 篇 经济学
- 22 篇 应用经济学
10 篇 医学
7 篇 教育学
6 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

722 篇 computational mo...
618 篇 computer archite...
361 篇 hardware
223 篇 embedded systems
142 篇 embedded system
136 篇 analytical model...
134 篇 computer simulat...
131 篇 application soft...
122 篇 real time system...
119 篇 mathematical mod...
115 篇 field programmab...
98 篇 program processo...
90 篇 embedded computi...
85 篇 kernel
83 篇 computer science
80 篇 software
79 篇 parallel process...
78 篇 registers
74 篇 control systems
73 篇 resource managem...

机构

10 篇 school of electr...
9 篇 rhein westfal th...
8 篇 institute for co...
8 篇 center for embed...
7 篇 shanghai univ sc...
7 篇 center for embed...
7 篇 fraunhofer iese ...
7 篇 department of co...
6 篇 eindhoven univer...
6 篇 computer systems...
6 篇 eindhoven univer...
6 篇 natl tech univ a...
6 篇 computer systems...
6 篇 institute for co...
5 篇 school of automa...
5 篇 school of electr...
5 篇 university of za...
5 篇 embedded systems...
5 篇 university of tw...
5 篇 university of te...

作者

20 篇 leupers rainer
18 篇 soudris dimitrio...
18 篇 pimentel andy d.
17 篇 ascheid gerd
16 篇 dimitrios soudri...
16 篇 blume holger
13 篇 rainer leupers
12 篇 fornaciari willi...
12 篇 gerd ascheid
11 篇 jung matthias
11 篇 holger blume
10 篇 andy d. pimentel
10 篇 fettweis gerhard
9 篇 kostas siozios
9 篇 takala jarmo
9 篇 hamalainen timo ...
9 篇 wehn norbert
8 篇 siozios kostas
8 篇 pnevmatikatos di...
8 篇 f. fummi

语言

2,847 篇 英文
23 篇 其他
9 篇 中文

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

共 2878 条记录，以下是411-420 订阅

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

详细简洁

排序：

Work-in-Progress: Impact of Graph Partitioning on SNN Placement for a Multi-Core Neuromorphic Architecture

Work-in-Progress: Impact of Graph Partitioning on SNN Placem...

引用

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

作者： Francesco Barchi Gianvito Urgese Enrico Macii Andrea Acquaviva Department of Control and Computer Engineering Politecnico di Torino Italy

In this paper, we evaluate a partitioning and placement technique for mapping concurrent applications over a globally asynchronous locally synchronous (GALS) multi-core architecture designed for simulating a spiking neural network (SNN) in real-time. We designed a task placement pipeline capable of analysing the network of neurons and producing a placement configuration that enables a reduction of communication between computational nodes. The neuronto-core mapping problem has been formalised as a two phases problem: Partitioning and Placement. The Partitioning phase aims at grouping together the most connected network components, maximising the amount of self-connections within each identified group. For this purpose we used a multilevel k-way graph partitioning strategy capable of generating network-partitions. The Placement phase aims at placing groups of neurons over the chip mesh minimising the communication between computational nodes. For implementing this step, we designed and evaluate the performances of three placement variants. In the results, we point out the importance of using a partitioning algorithm for the SNN graph. We were able to achieve an increase in self-connections of 19% and an improvement of the final overall post-placement synaptic elongation of 29% using the simulated annealing placement technique, compared to 22% obtained without partitioning.

关键词： Neurons Sociology Statistics computer architecture Simulated annealing Program processors Brain modeling

来源：评论

学校读者我要写书评

暂无评论

A Model-Based Concept for RTOS Portability

A Model-Based Concept for RTOS Portability

引用

ACS/IEEE international conference on computer systems and Applications

作者： Renata Martins Gomes Marcel Baunach Graz University of Technology Graz Austria

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.

关键词： Kernel Hardware Task analysis computer architecture Internet of Things

来源：评论

学校读者我要写书评

暂无评论

Work in Progress: An Confidentiality and Integrity Scheme for the Distributed Shared Memory of embedded Multi-core System

Work in Progress: An Confidentiality and Integrity Scheme fo...

引用

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

作者： Pengfei Yang Quan Wang Xiaokun Huang Xin Mi School of Computer Science and Technology Xidian University Xi'an China

For the multi-core systems, the distributed shared memory(DSM) has become the mainstream for its scalability and portable. A new security policy needs to be designed to protect the data in the DSM. In this paper, a memory confidentiality protection method is designed based on the dynamic key and compression counter(CPS), The method improves the encryption efficiency significantly and solves the problem of the ciphertext re-encrypting when the counter overflows. A memory integrity protection method is proposed based on a multi-granularity incremental hash tree(MIT), to reduce the memory occupation and the amount of calculation. A secondary conversion method of the ciphertext is designed so that the data can be transmitted among the untrusted processing units without sharing the private keys. The optimized methods are quantitatively evaluated using the SimpleScalar architecture simulation tool. Experimental results show that the performance degradation of the proposed confidentiality protection method is 11.84% on average, which is better than the split counter mode(SPLIT) method and the block encryption method. The proposed integrity protection method has a 48.72% reduction in memory occupation and a 32.62% improvement in the performance reduction rate compared with the hash-tree method, it's better than the multi-grained hash tree(MGT) method and the Bonsai Merkle Tree(BMT) method too.

关键词： Encryption Memory management Indexes Micromechanical devices System-on-chip

来源：评论

学校读者我要写书评

暂无评论

7th international Congress of Telematics and Computing, WITCOM 2018

7th International Congress of Telematics and Computing, WITC...

引用

7th international Congress of Telematics and Computing, WITCOM 2018

ISBN: (纸本)9783030037628

The proceedings contain 23 papers. The special focus in this conference is on Telematics and Computing. The topics include: Automatic fuzzy contrast enhancement using gaussian mixture models clustering;characterization of the serious games applied to the historical heritage;service architecture of systems immersed in internet of things paradigm;embedded system for the communication and monitoring of an electric microgrid using IoT;mobile system as a support in the study of calculus;implementation of personal information management architecture in mobile environments;software system for the analysis of mental stress in usability tests;proposal of a tool for the stimation of satisfaction in usability test under the approach of thinking aloud;exploration of serious games on environmental issues;security evaluation in wireless networks;recycling: A Serious game focused on the classification of waste;modeling a hazardous waste monitoring system with INGENIAS methodology;estimation of skill level in intelligent tutoring systems using a multi-attribute methodology;development serious games using agile methods. test case: Values and attitudinal skills;Microstrip antenna array design for (698-806) MHz UHF band application;performance evaluation of a P2P system in underlay cognitive radio network;design and simulation of antennas for energy harvesting systems in the WiFi band;low Power sensor node applied to domotic using IoT;proposal for a VoD service supported in a context-based architecture;architecture proposal for the processing of control algorithms applied in microgrids;news article classification of Mexican newspapers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

20th international Workshop on computer Algebra in Scientific Computing, CASC 2018

20th International Workshop on Computer Algebra in Scientifi...

引用

20th international Workshop on computer Algebra in Scientific Computing, CASC 2018

ISBN: (纸本)9783319996387

The proceedings contain 25 papers. The special focus in this conference is on computer Algebra in Scientific Computing. The topics include: On a Polytime Factorization Algorithm for Multilinear Polynomials over F2;tropical Newton–Puiseux Polynomials;orthogonal Tropical Linear Prevarieties;symbolic-Numerical Algorithms forÂ Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange Elements;symbolic-Numeric simulation of Satellite Dynamics with Aerodynamic Attitude Control System;finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets;positive Solutions of systems of Signed Parametric Polynomial Inequalities;qualitative Analysis of a Dynamical System with Irrational First Integrals;effective Localization Using Double Ideal Quotient and Its Implementation;on Unimodular Matrices of Difference Operators;a Purely Functional computer Algebra System embedded in Haskell;splitting Permutation Representations ofÂ Finite Groups by Polynomial Algebra Methods;factoring Multivariate Polynomials with Many Factors and Huge Coefficients;beyond the First Class of Analytic Complexity;a Theory and an Algorithm forÂ Computing Sparse Multivariate Polynomial Remainder Sequence;a Blackbox Polynomial System Solver onÂ Parallel Shared Memory computers;Sparse Polynomial Arithmetic with the BPASÂ Library;computation of Pommaret Bases Using Syzygies;a Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations;symbolic-Numeric Methods for Nonlinear Integro-Differential modeling;a Continuation Method for Visualizing Planar Real Algebraic Curves withÂ Singularities;from Exponential Analysis to Padé Approximation and Tensor Decomposition, in One and More Dimensions;Symbolic Algorithm for Generating the Orthonormal Bargmann–Moshinsky Basis for SU(3) Group.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Memory Analysis and Performance modeling for HPC Applications on embedded Hardware via Instruction Accurate simulation

引用

2nd Annual international Scientific Federated conference on Software Development and Object Technologies (SDOT)

作者： Ditter, Alexander Schoenwetter, Dominik Kuzmin, Anton Fey, Dietmar Aizinger, Vadym Friedrich Alexander Univ Erlangen Nurnberg FAU Chair Comp Sci Comp Architecture 3 Erlangen Germany Friedrich Alexander Univ Erlangen Nurnberg FAU Chair Appl Math AM1 Erlangen Germany

ISBN: (纸本)9783319465357;9783319465340

The efficient usage and development of embedded multi-and many-core systems is an important field of research for years and decades. In the last decade, utilizing embedded and especially low-power architectures for high performance computing (HPC) applications became an important part of research. The reason for this are the constantly increasing energy costs along with an increasing awareness of energy consumption in general. As suitable low-power HPC architectures are not yet available at a larger scale, simulation of new and appropriate architectures becomes an important factor for the success of low-power systems and clusters. In order to speed up simulation, at the cost of accuracy, different levels of abstraction were introduced. Currently the class of instruction accurate simulations seems to yield the best trade-off between speed and precision, especially when simulating complex multi-and many-core systems. In this paper we present our investigations about the accuracy of the state-of-the-art instruction accurate embedded multi-and many-core simulation environment Open Virtual Platforms (OVP) in comparison to an actual embedded hardware system from Altera. Our investigations include the actual usage of the same operating system running on both, the target hardware and the simulation as well as serial and parallel software benchmarks. We analyze the current accuracy of the simulation environment with respect to a performance model, based on the execution time of the simulation and the actual embedded hardware system. Using the instruction accurate simulation technology from OVP is for the simulation of embedded/low-power HPC hardware architectures and applications. Furthermore, we point out first steps towards further possibilities for obtaining a better performance model by the use of our simple memory model.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

Performance modeling of Networked Control systems 9

Performance Modeling of Networked Control Systems

引用

9th international Congress on Ultra Modern Telecommunications and Control systems (ICUMT)

作者： Kuehn, Paul J. Scholz, Sebastian Cao, Siyuan Li, Fei Univ Stuttgart Inst Commun Networks & Comp Engn IKR Stuttgart Germany

ISBN: (纸本)9781538634356

Networked Control systems (NCS) form a key element of Cyber-Physical systems (CPS) where sensors, actuators (plants) and controller functions are spatially distributed and interconnected by communication networks. In this contribution models are developed where significant properties of communication networks such as stochastic delays, error control protocols and shared-network influences are embedded in a closed-loop control system. The resulting integrated systems are analyzed by methods of classical system theoretic and discrete-time state analysis methods as well as by computer simulations. Fundamental insights in the properties of NCSs can already be gained through system-theoretic studies on basic architectures which provide closed-form expressions which are verified and extended by more detailed studies based on tool supported discrete-time system state analysis and simulation-tool results. The approach allows for a more detailed detection of network protocol impacts on, e.g., the real-time behavior of NCSs when certain Service Level Agreements (SLA) have to be guaranteed as prescribed percentiles of control reaction times.

关键词： distributed control systems discrete-time analysis embedded systems network protocol performance evaluation simulation system theory

来源：评论

学校读者我要写书评

暂无评论

Using MDA to Automate the Integration of Virtual Platforms for System-Level simulation 41

Using MDA to Automate the Integration of Virtual Platforms f...

引用

41st IEEE Annual computer Software and Applications conference (COMPSAC)

作者： Perillo, David Di Natale, Marco Elettronica SpA Rome Italy Scuola Super Sant Anna Pisa Italy

ISBN: (纸本)9781538603673

This paper presents the work performed at (removed for blind review) to automate the integration of virtual systems development (VSD) and simulation in its embedded software development process. The approach is based on a combination of metamodels, model transformations and design patterns, the SysML standard and the use of the open source Eclipse framework. The purpose is to derive all the design refinements, including the production code and the code used for simulation and verification from a single set of SysML models. Stereotypes and model transformations are defined to allow the integration of automatically generated interfaces and manually produced code implementing virtual platforms for the simulation of HW/SW heterogeneous systems on the SIMICS platform.

关键词： Unified modeling language Software Hardware Standards Load modeling Tools

来源：评论

学校读者我要写书评

暂无评论

Confronting machine-learning with neuroscience for neuromorphic architectures design

Confronting machine-learning with neuroscience for neuromorp...

引用

international Joint conference on Neural Networks

作者： Lyes Khacef Nassim Abderrahmane Benoit Miramond University Côte d’Azur / LEAT / CNRS UMR 7248 Sophia Antipolis France

Artificial neural networks are experiencing today an unprecedented interest thanks to two main changes: the explosion of open data that is necessary for their training, and the increasing computing power of today's computers that makes the training part possible in a reasonable time. The recent results of deep neural networks on image classification has given neural networks the leading role in machine learning algorithms and artificial intelligence research. However, most applications such as smart devices or autonomous vehicles require an embedded implementation of neural networks. Their implementation in CPU/GPU remains too expensive, mostly in energy consumption, due to the non-adaptation of the hardware to the computation model, which becomes a limit to their use. It is therefore necessary to design neuromorphic architectures, i.e. hardware accelerators that fit to the parallel and distributed computation paradigm of neural networks for reducing their hardware cost implementation. We mainly focus on the optimization of energy consumption to enable integration in embedded systems. For this purpose, we implement two models of artificial neural networks coming from two different scientific domains: the multi-layer perceptron derived from machine learning and the spiking neural network inspired from neuroscience. We compare the performances of both approaches in terms of accuracy and hardware cost to find out the most attractive architecture for the design of embedded artificial intelligence.

关键词： Neurons Biological neural networks Hardware Biological system modeling computer architecture Computational modeling Brain modeling

来源：评论

学校读者我要写书评

暂无评论

Design of Polymorphic Real-Time Computational Model for UAV Application

Design of Polymorphic Real-Time Computational Model for UAV ...

引用

international conference on computer and Information Science (ACIS)

作者： Mei Luo Linlin Li Baocheng Wang Kailong Zhang Computer Lab Research Inst. Of Hi-Tech Xi’an China School of Computer Northwest Polytechnical University Xi’an China

According to the requirements of informational weapon equipment, the application of polymorphic real-time computation technology in complex embedded system is studied in this paper. The polymorphic real-time computation model for unmanned aerial vehicle(UAV) is designed and verified from the aspects of modal management and polymorphic tasks. The simulation results show that the proposed model can provide modal decision and ensure its real-time calculation to adapt the demand change of UAV system.

关键词： Task analysis Real-time systems Computational modeling computer architecture Unmanned aerial vehicles Adaptation models Target tracking

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共288页 << < 38 39 40 41 42 43 44 45 46 47 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：