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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,288 篇 工学
- 1,119 篇 计算机科学与技术...
- 591 篇 软件工程
- 286 篇 电气工程
- 158 篇 电子科学与技术（可...
- 150 篇 控制科学与工程
- 137 篇 信息与通信工程
- 50 篇 机械工程
- 44 篇 动力工程及工程热...
- 19 篇 仪器科学与技术
- 19 篇 建筑学
- 18 篇 材料科学与工程（可...
- 18 篇 安全科学与工程
- 17 篇 土木工程
- 16 篇 生物医学工程（可授...
- 14 篇 交通运输工程
- 14 篇 航空宇航科学与技...
- 13 篇 力学（可授工学、理...
- 12 篇 生物工程
- 11 篇 光学工程
275 篇 理学
- 173 篇 数学
- 81 篇 系统科学
- 38 篇 物理学
- 33 篇 统计学（可授理学、...
- 14 篇 化学
- 14 篇 生物学
142 篇 管理学
- 119 篇 管理科学与工程(可...
- 52 篇 工商管理
- 30 篇 图书情报与档案管...
21 篇 经济学
- 21 篇 应用经济学
20 篇 法学
- 20 篇 社会学
11 篇 医学
6 篇 教育学
5 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

763 篇 computational mo...
616 篇 computer archite...
361 篇 hardware
222 篇 embedded systems
144 篇 analytical model...
142 篇 embedded system
134 篇 computer simulat...
128 篇 application soft...
123 篇 mathematical mod...
116 篇 field programmab...
112 篇 real time system...
103 篇 program processo...
90 篇 embedded computi...
89 篇 kernel
84 篇 software
83 篇 computer science
82 篇 parallel process...
81 篇 registers
73 篇 control systems
72 篇 algorithm design...

机构

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 篇 eindhoven univer...
6 篇 computer systems...
6 篇 natl tech univ a...
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 篇 national cims en...
5 篇 the university o...
5 篇 eindhoven univer...

作者

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

语言

2,818 篇 英文
8 篇 中文
5 篇 其他

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

共 2831 条记录，以下是231-240 订阅

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

详细简洁

排序：

MPSoCBench: A Toolset for MPSoC System Level Evaluation 14

MPSoCBench: A Toolset for MPSoC System Level Evaluation

引用

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

作者： Duenha, Liana Guedes, Marcelo Almeida, Henrique Boy, Matheus Azevedo, Rodolfo Inst Comp Sci UNICAMP Campinas SP Brazil

ISBN: (纸本)9781479937707

Recent design methodologies and tools aim at enhancing the design productivity by providing a software development platform before defining the final MPSoC architecture details. However, the simulation can only be efficiently performed when using a modeling and simulation engine that supports the system behavior description in a high abstraction level. The lack of MPSoC virtual platform prototyping integrating both scalable hardware and software in order to create and evaluate new methodologies and tools motivated us to develop MPSoCBench. This toolset is a scalable set of MPSoCs including four different ISAs (PowerPC, MIPS, SPARC, and ARM) organized in platforms with 1, 2, 4, 8, 16, 32, or 64 cores, cross-compilers, IPs, interconnections, and 17 parallel version of software from well-known benchmarks. This tool also provides power consumption estimation for MIPS and SPARC processors. The MPSoCBench sums 864 different configurations automated through scripts.

关键词： computer software Osteonectin scalable processor architecture Platform Scripts system level EQUIPMENT Scalability development platform multiprocessor system on chip PowerPC

来源：评论

学校读者我要写书评

暂无评论

A streaming machine description and programming model

引用

international conference on embedded computer systems - architectures, modeling and simulation

作者： Carpenter, Paul Rodenas, David Martorell, Xavier Ramirez, Alex Ayguade, Eduard Barcelona Supercomp Ctr Barcelona Spain

ISBN: (纸本)9783540736226

In this paper we present the initial development of a streaming environment based on a programming model and machine description. The stream programming model consists of an extension to the C language and it's translation towards a streaming machine. The extensions will be a set of OpenMP-like directives. We show how a serial application can be converted into a streaming parallel application using the proposed annotations. We also show how the machine description can be used to parametrize a cost-model simulator to predict the performance of the stream program. The cost model allows the compiler to determine the best task partitioning and scheduling for each architecture.

关键词： computer systems

来源：评论

学校读者我要写书评

暂无评论

The TEXTAROSSA Approach to Thermal Control of Future HPC systems 22nd

The TEXTAROSSA Approach to Thermal Control of Future HPC Sys...

引用

22nd international conference on embedded computer systems - architectures, modeling, and simulation (SAMOS)

作者： Fornaciari, William Terraneo, Federico Agosta, Giovanni Giuseppe, Zummo Saraceno, Luca Lancione, Giorgia Gregori, Daniele Celino, Massimo Politecn Milan Milan Italy Quattro Srl Rome Italy E4 Comp Engn SpA Scandiano Italy Agenzia Nazl Nuove Tecnol Energia & Sviluppo Econ Rome Italy

ISBN: (纸本)9783031150746;9783031150739

Thermal control is a key aspect of large-scale HPC centers, where a large number of computing elements is employed. Temperature is directly related to both reliability, as excessing heating of components leads to a shorter lifespan and increased fault probability, and power efficiency, since a large fragment of power is used in the cooling system itself. In this paper, we introduce the TEXTAROSSA approach to thermal control, which couples innovative two-phase cooling with multi-level thermal control strategies able to address thermal issues at system and node level.

关键词： High Performance Computing 2-phase cooling Thermal modeling and control

来源：评论

学校读者我要写书评

暂无评论

Probabilistic modelling and evaluation of soft real-time embedded systems

Probabilistic modelling and evaluation of soft real-time emb...

引用

6th international Workshop on embedded computer systems - architectures, modeling and simulation

作者： Florescu, Oana de Hoon, Menno Voeten, Jeroen Corporaal, Henk Eindhoven Univ Technol NL-5600 MB Eindhoven Netherlands

ISBN: (纸本)3540364102

Soft real-time systems are often analysed using hard realtime techniques, which are not suitable to take into account the deadline misses rate allowed in such systems. Therefore, the resulting system is over-dimensioned, thus expensive. To appropriately dimension soft real-time systems, adequate models, capturing their varying runtime behaviour, are needed. By using the concepts of a mathematically defined language, we provide a modelling approach based on patterns that are able to express the variations appearing in the system timing behaviour. Based on these modelling patterns, models can be easily created and are amenable to average case performance evaluation. By the means of a case study, we show the type of results that can be obtained from such an evaluation and how these results are used to dimension the system.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Power efficient co-simulation framework for a wireless application using platform based SoC

引用

international conference on embedded computer systems - architectures, modeling and simulation

作者： Batsuuri, Tseesuren Lee, Je-Hoon Cho, Kyoung-Rok CCNS Lab San 2 Gaeshin Dong Cheongju Chungnbuk South Korea Chugnbuk Informat Technol Ctr CBNU BK21 Cheongju Chugnbuk South Korea

ISBN: (纸本)9783540736226

This paper presents a new co-simulation framework supporting system level power estimation. The goal of this work is to support precise power estimation in the early design stage. The proposed co-simulation provides a guideline to reduce the power dissipation for a SoC design. This approach resulted in energy saving of 61% for redesigned medium access control processors while code size increased by 14%. The accuracy of the power estimation obtained from the proposed framework was around 94.9%. The contribution of the proposed framework was a straightforward method to merge system level power estimation techniques into the system level design environment.

关键词： platform based SoC verification HW/SW co-simulation

来源：评论

学校读者我要写书评

暂无评论

From Reversible Logic to Quantum Circuits: Logic Design for an Emerging Technology 16

From Reversible Logic to Quantum Circuits: Logic Design for ...

引用

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

作者： Wille, Robert Chattopadhyay, Anupam Drechsler, Rolf Johannes Kepler Univ Linz Inst Integrated Circuits A-4040 Linz Austria DFKI GmbH Cyber Phys Syst D-28359 Bremen Germany Nanyang Technol Univ Singapore Singapore Univ Bremen Inst Comp Sci D-28359 Bremen Germany

ISBN: (纸本)9781509030767

Quantum computing has been attracting increasing attention in recent years because of the rapid advancements that have been made in quantum algorithms and quantum system design. Quantum algorithms are implemented with the help of quantum circuits. These circuits are inherently reversible in nature and often contain a sizeable Boolean part that needs to be synthesized. The logic design of such quantum circuits constitutes a non-trivial task and, hence, have heavily been investigated by researchers in the recent past. This paper provides a brief overview of these research. We review the major steps to be conducted in the logic design of quantum circuits and provide a sketch for each single step. These descriptions are enriched with discussions as well as references to the respective related work.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

Decentralized Diagnosis of Permanent Faults in Automotive E/E architectures 15

Decentralized Diagnosis of Permanent Faults in Automotive E/...

引用

international conference on embedded computer systems architectures modeling and simulation

作者： Waszecki, Peter Lukasiewycz, Martin Chakraborty, Samarjit TUM CREATE Singapore Singapore Tech Univ Munich Munich Germany

ISBN: (纸本)9781467373111

This paper presents a novel decentralized approach for the diagnosis of permanent faults in automotive Electrical and Electronic (E/E) architectures. Both, the safety-critical real-time requirements and the distributed nature of these systems make fault tolerance in general and fault diagnosis in particular a crucial and challenging issue. At the same time, high unit numbers in manufacturing add cost efficiency as an important criterion during system design, which is conflicting with the use of often expensive explicit fault diagnosis hardware. To address these challenges, we propose a diagnosis framework that consists of two stages. In the first diagnosis determination stage, potential fault scenarios, such as defective Electronic Control Units (ECUs), are investigated to obtain a set of diagnosis functions. Specific diagnosis functions are used for each component in the network at runtime to determine whether a certain fault scenario is present. In the second diagnosis optimization stage, an optimization of diagnosis functions is proposed to determine trade-offs between diagnosis times and the number of monitored message streams. Experimental results based on 100 synthetic test cases give evidence of the feasibility and efficiency of the presented framework. Finally, an automotive case study demonstrates the practicability and details of our fault diagnosis approach.

关键词： permanent fault Fault diagnosis automotive engineering Diagnosis ARCHITECTURE Fault tolerance Runtime CASING INSPECTION

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Automatic recognition of computational kernels for platform-dependent code optimizations 16

Automatic recognition of computational kernels for platform-...

引用

16th international conference on embedded computer systems: architectures, modeling and simulation, SAMOS 2016

作者： Blanco, Maria H. Rodriguez Reinke, Georg Ascheid, Gerd Leupers, Rainer Institute for Communication Technologies and Embedded Systems RWTH Aachen University Aachen52056 Germany

ISBN: (纸本)9781509030767

We present a novel approach that assists the task of porting code to an embedded platform. Our tool automatically identifies code segments in the input program that can be replaced with optimized kernels from a platform-dependent library. Using a C-function as a model that describes the computational kernel, the tool identifies equivalent code regardless of syntactic and computational variations. For a case study using the Texas Instruments C66x DSP library, our approach identified code replacement opportunities that resulted in runtime performance speedups of up to 2.2x. © 2016 IEEE.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

A Performance Evaluation of Multi-FPGA architectures for Computations of Information Transfer 18

A Performance Evaluation of Multi-FPGA Architectures for Com...

引用

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

作者： Iordanou, Konstantinos Nikolakaki, Sofia Maria Malakonakis, Pavlos Dollas, Apostolos Tech Univ Crete Khania Greece Boston Univ Boston MA 02215 USA

ISBN: (纸本)9781450364942

Mutual Information (MI) and Transfer Entropy (TE) algorithms compute statistical measurements on the information shared between two dependent random processes. These measurements have focused on pairwise computations of time series in a broad range of fields, such as Econometrics, Neuroscience, Data Mining and computer Vision. Unlike previous works which mostly focus on 8-bit computer Vision applications, this work proposes the first generic hardware architectures for the acceleration of the MI and TE algorithms to target any dataset for a realistic, multi-FPGA platform. We evaluate and compare two such systems, the Maxeler MAX3A Vectis and the Convey HC-2ex platforms, and provide insight into each one's benefits and limitations. All reported results are from actual experimental runs, including I/O overhead, and comprise lower bounds of our systems' full capabilities for large-scale datasets. These are compared to equivalent optimized multi-threaded software implementations, yielding similar to 19x speedup vs. out-of-the-box software packages and similar to 2.5x speedup vs. highly optimized software that is presented in the related work. These hardware architectures are obtained with a small fraction of the FPGA resources, and are limited by I/O bandwidth. This means that with near-future FPGA I/O capabilities, the performance of the architectures presented in this work for the O(n(2)) Mutual Information and the O(n(3)) Transfer Entropy problems will easily scale up.

关键词： Mutual Information Transfer Entropy Multi-FPGA Hardware Convey Maxeler

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共284页 << < 20 21 22 23 24 25 26 27 28 29 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：