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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Fast-Accurate Non-Polynomial Metamodeling for Nano-CMOS PLL Design Optimization

Fast-Accurate Non-Polynomial Metamodeling for Nano-CMOS PLL ...

引用

international conference on VLSI Design

作者： Oleg Garitselov Saraju P. Mohanty Elias Kougianos Nano-Systems Design Laboratory Department of Computer Science and Engineering University of North Texas Denton USA Nano-Systems Design Laboratory Department of Engineering Technology University of North Texas Denton USA

At the nanoscale domain, the simulation, design, and optimization time of the circuits have increased significantly due to high-integration density, increasing technology constraints, and complex device models. This necessitates fast design space exploration techniques to meet the shorter time to market driven by consumer electronics. This paper presents non-polynomial metamodels (surrogate models) using neural networks to reduce the design optimization time of complex nano-CMOS circuit with no sacrifice on accuracy. The physical design aware neural networks are trained and used as metamodels to predict frequency, locking time, and power of a PLL circuit. Different architectures for neural networks are compared with traditional polynomial functions that have been generated for the same circuit characteristics. Thorough experimental results show that only 100 sample points are sufficient for neural networks to predict the output of circuits with 21 design parameters within 3% accuracy, which improves the accuracy by 56% over polynomial metamodels. The generated metamodels are used to perform optimization of the PLL using a bee colony algorithm. It is observed that the non-polynomial (using neural networks) metamodels achieve more accurate results than polynomial metamodels in shorter optimization time.

关键词： Phase locked loops Integrated circuit modeling Optimization Polynomials Biological neural networks Neurons

来源：评论

学校读者我要写书评

暂无评论

Model-Based Design for high performance devices oriented to advanced smart solutions

Model-Based Design for high performance devices oriented to ...

引用

international conference on Information Science and Technology (ICIST)

作者： Loubna Belhamel Arturo Buscarino Antonio Cucuccio Luigi Fortuna Gaetano Rascona University of Catania Catania Italy CNR-IASI Italian National Research Council-Institute for Systems Analysis and Computer Science A. Ruberti Rome Italy STMicroelectronics Catania Italy

ISBN: (数字)9781728166469

ISBN: (纸本)9781728166476

This paper applies Model-Based Design methodologies to develop a high-performance device driver model suitable for advanced smart solutions. These modeling techniques are mandatory to use when designing advanced smart applications based on embedded devices. The paper proposes an innovative approach to accurately models the operations of the STM32 analog converter peripheral for both simulation purpose and to generate an optimized code that integrates on the Low-Level STM32 firmware driver. A new Simulink toolbox has been developed to replicate the ADC functions. Finally, an example has been presented to show the effectiveness of this new modeling approach.

关键词： Performance evaluation Information science Software packages Design methodology Encoding Device drivers Microprogramming

来源：评论

学校读者我要写书评

暂无评论

DC/sup 2/ scheduling for aperiodic tasks in strongly partitioned real-time systems

DC/sup 2/ scheduling for aperiodic tasks in strongly partiti...

引用

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

作者： Daeyoung Kim Yann-Hang Lee Real Time Systems Research Laboratory CISE Department University of Florida Gainesville FL USA Department of Computer Science and Engineering Arizona State University Tempe AZ USA

The strongly partitioned real time system (SP-RTS) provides temporal and spatial partitioning for its integrated real time applications. The SP-RTS architecture adopts a two-level hierarchical scheduling mechanism. In the lower level, multiple partitions (applications) are dispatched under a cyclic scheduling, whereas, in the higher level, multiple periodic tasks of each partition are scheduled according to a fixed priority algorithm. The authors focus on designing algorithms for online scheduling of aperiodic tasks in the SP-RTS environment. The Distance Constraint guaranteed Dynamic Cyclic (DC/sup 2/) scheduler that is proposed uses these basic operations: Left Sliding (LS), Right Putting (RP), and Compacting. These operations dynamically schedule aperiodic tasks within a distance-constrained cyclic schedule. We show that the dynamic applications of these operations do not violate the distance constraint characteristics of a partition cyclic schedule. In addition, the slack time calculation of these dynamic operations can be applied for scheduling hard aperiodic tasks. With the simulation studies, we observed that the DC/sup 2/ can result in a significant performance enhancement in terms of the average response time of soft aperiodic tasks and the acceptance rate for hard aperiodic tasks.

关键词： Real time systems Dynamic scheduling Partitioning algorithms Scheduling algorithm Algorithm design and analysis Aerospace electronics Application software Processor scheduling Laboratories Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Adaptive Modulation and Coding in 5G Networks with Deep Learning

Adaptive Modulation and Coding in 5G Networks with Deep Lear...

引用

Communication, Computing and Signal Processing (IICCCS), IEEE international conference on

作者： Anjula Gupta Nirmala Reddy Ammar Hameed Shnain K.Revathi S.Gopalakrishnan Chetan K. Verma Department of Computer Application Chandigarh Engineering College Chandigarh Group of Colleges Mohali Punjab India Department of Computer Science & Engineering IES College of Technology Bhopal M.P. India Department Of Computers Techniques Engineering College Of Technical Engineering The Islamic University Najaf Iraq Department Of Computers Techniques Engineering College Of Technical Engineering The Islamic University Of Al Diwaniyah Al Diwaniyah Iraq Prince Shri Venkateshwara Padmavathy Engineering College Chennai India Department of Information Technology Hindustan Institute of Technology and Science Chennai Tamil Nadu India MBIT CVM University Gujrat India

ISBN: (数字)9798350390759

ISBN: (纸本)9798350390766

As part of the present work, it aims to examine the use of deep learning in the improvement of AMC in 5G networks. While traditional AMC methods like the ones mentioned above are applicable to previous generations of the mobile networks, they are not optimal taking into consideration the complexities and the constantly evolving nature of 5G systems. Therefore, we suggest the use of convolutional and recurrent neural networks with the aim of employing deep learning in designing an adaptive system that is capable of predicting the optimal modulation and coding schemes given instantaneous CSI information. It covers data gathering, process modeling, and implementation on a platform designed for 5G consumer network. Thus, the improvement in the data throughput rate, the level of errors, and the degree of satisfaction, obtained through the experimental results, can confirm the optimal nature of the proposed approach. It can be seen that the deep learning-based AMC system is computationally efficient and can be embedded for real-time applications, and the performance of the system is further optimised with improving learning. To conclude, this study reveals the effectiveness of deep learning in transforming AMC in 5G networks, by offering a dependable and dynamic solution the wired and wireless telecommunications networks. In a future work more towards detailing of the model and finding new architectures for the system more refined system can be achieved.

关键词： Deep learning Wireless communication Adaptation models Adaptive systems 5G mobile communication Computational modeling Modulation Throughput Encoding Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

Source Code Annotated Memory Leak Detection for Soft Real Time embedded systems with Resource Constraints

Source Code Annotated Memory Leak Detection for Soft Real Ti...

引用

IEEE international Symposium on Dependable, Autonomic and Secure Computing (DASC)

作者： Mabel Mary Joy Wolfgang Mueller Franz Josef Rammig C-Lab University of Paderborn Germany Heinz Nixdorf Institute University of Paderborn Germany

With ever increasing complexity of software and increased competition in the market, it is very important to minimize the production to market delivery time. Early phase detection of serious errors in the design and program can be done with automated approaches which save time. Memory leaks are the most important memory related problems which are severe threats to software applications. We propose a novel hybrid automated source code annotated memory leak detection approach for soft real time embedded system software with no garbage collection. We utilize our source code annotation tool to detect the potential memory leak candidates, which are further analyzed in our hybrid leak detection approach. The control flow graph of the source code generated with our annotation tool provides information of all execution paths, where the basic blocks are annotated with specific marks. Our hybrid method combines static and dynamic approaches. Static phase of the hybrid approach detect the potential leak candidates from the control flow graph. Dynamic phase filters false positives from the static phase results and provide results on the actual leaks. In early design stages where a real execution environment and complete executable software are unavailable, a simulation environment and a virtual platform are necessary. Virtual platforms provide flexibility to change the target architecture to be tested. Our proposed dynamic phase of the approach runs on the virtual memory model platform we implemented in SystemC at an abstract level using Transaction Level modeling. The software under test is run on top of this model. This makes our approach faster and provides early results. Our approach can be easily deployed across a variety of architectures as it is compiler independent and does not implement any architecture specific features. Moreover the automated approach provides an efficient methodology to determine potential leaks in early phases of software development.

关键词： Leak detection Software Memory management Resource management Real-time systems Pattern matching

来源：评论

学校读者我要写书评

暂无评论

A new possible branch of computational intelligence for developing real time control in mechatronics

A new possible branch of computational intelligence for deve...

引用

Annual conference of Industrial Electronics Society

作者： J.K. Tar J.F. Bito I.J. Rudas S.J. Torvinen éInstitute of MathematicsandComputaional ScienceJohn von Neumann Faculty of Informatics Budapest Polytechnic Budapest Hungary Department of Mechanical Engineering Tampere University of Technology Tampere Finland

Recent advances in developing a new branch of soft computing (SC) developed for the control of mechanical devices is reported. Instead of using the architectures of traditional SC it is based on uniform structures obtained from the mathematical framework of classical mechanics. In connection with that the concepts of "minimum operation symplectizing algorithm" (MOSA) and "situation-dependent partial system identification", were developed. The advantages are as follows: (1) a priori known and limited number of parameters; (2) parameter tuning is replaced by simple, explicit, finite, and standard algebraic computations; and (3) to refine the "core algorithm" several interpolation techniques can be incorporated in it. To illustrate its operation simulation examples are given for a special 3-DOF robot arm under a significant environmental interaction.

关键词： Computational intelligence Mechatronics Adaptive control Control systems Coordinate measuring machines computer architecture System identification Interpolation Computational modeling Robots

来源：评论

学校读者我要写书评

暂无评论

A time domain frequency-selective multivariate granger causality approach

A time domain frequency-selective multivariate granger causa...

引用

Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

作者： Lutz Leistritz Herbert Witte Institute of Medical Statistics Computer Sciences and Documentation Friedrich Schiller University Jena Jena Germany

The investigation of effective connectivity is one of the major topics in computational neuroscience to understand the interaction between spatially distributed neuronal units of the brain. Thus, a wide variety of methods has been developed during the last decades to investigate functional and effective connectivity in multivariate systems. Their spectrum ranges from model-based to model-free approaches with a clear separation into time and frequency range methods. We present in this simulation study a novel time domain approach based on Granger's principle of predictability, which allows frequency-selective considerations of directed interactions. It is based on a comparison of prediction errors of multivariate autoregressive models fitted to systematically modified time series. These modifications are based on signal decompositions, which enable a targeted cancellation of specific signal components with specific spectral properties. Depending on the embedded signal decomposition method, a frequency-selective or data-driven signal-adaptive Granger Causality Index may be derived.

关键词： Time series analysis Time-frequency analysis Signal resolution Time-domain analysis Computational modeling

来源：评论

学校读者我要写书评

暂无评论

A general framework for formalizing UML with formal languages 01

A general framework for formalizing UML with formal language...

引用

Proceedings of the 23rd international conference on Software Engineering

作者： William E. McUmber Betty H. C. Cheng Department of Computer Science and Engineering Michigan State University 3115 Engineering Building East Lansing MI

ISBN: (纸本)9780769510507

Informal and graphical modeling techniques enable developers to construct abstract representations of systems. Object-oriented modeling techniques further facilitate the development process. The Unified modeling Language (UML), an object-oriented modeling approach, could be broad enough in scope to represent a variety of domains and gain widespread use. Currently, UML comprises several different notations with no formal semantics attached to the individual diagrams. Therefore, it is not possible to apply rigorous automated analysis or to execute a UML model in order to test its behavior, short of writing code and performing exhaustive testing. We introduce a general framework for formalizing a subset of UML diagrams in terms of different formal languages based on a homomorphic mapping between metamodels describing UML and the formal language. This framework enables the construction of a consistent set of rules for transforming UML models into specifications in the formal language. The resulting specifications derived from UML diagrams enable either execution through simulation or analysis through model checking, using existing tools. This paper describes the use of this framework for formalizing UML to model and analyze embedded systems. A prototype system for generating the formal specifications and results from an industrial case study are also described.

关键词： formal specifications

来源：评论

学校读者我要写书评

暂无评论

CUMULVS: extending a generic steering and visualization middleware for application fault-tolerance

CUMULVS: extending a generic steering and visualization midd...

引用

Annual Hawaii international conference on System Sciences (HICSS)

作者： P.M. Papadopoulos J.A. Kohl B.D. Semeraro Computer Science and Mathematics Division Oak Ridge National Laboratory Oak Ridge TN USA

CUMULVS is a middleware library that provides application programmers with a simple API for describing viewable and steerable fields in large-scale distributed simulations. These descriptions provide the data type, a logical name of the field/parameter, and the mapping of global indices to local indices (processor and physical storage) for distributed data fields. The CUMULVS infrastructure uses these descriptions to allow an arbitrary number of front-end "viewer" programs to dynamically attach to a running simulation, select one or more fields for visualization, and up-date steerable variables. (Viewer programs can be built using commercial visualization software such as AVS or custom software based on GUI interface builders like Tcl/Tk.) Although these data field descriptions require a small effort on the part of the application programmer, the payoff is a high degree of flexibility for the infrastructure and end-user. This flexibility has allowed us to extend the infrastructure to include "application-directed" checkpointing, where the application determines the essential state that must be saved for a restart. This has the advantage that checkpoints can be smaller and made portable across heterogeneous architectures using the semantic description information that can be included in the checkpoint file.

关键词： Fault tolerance Data visualization Checkpointing Programming profession Application software Libraries Computational modeling Concurrent computing Packaging Fault tolerant systems

来源：评论

学校读者我要写书评

暂无评论

Automated, retargetable back-annotation for host compiled performance and power modeling 13

Automated, retargetable back-annotation for host compiled pe...

引用

international conference on Hardware/Software Codesign and System Synthesis (CODES)

作者： Suhas Chakravarty Zhuoran Zhao Andreas Gerstlauer Electrical and Computer Engineering The University of Texas at Austin

ISBN: (纸本)9781479914173

With traditional cycle-accurate or instruction-set simulations of processors often being too slow, host-compiled or source-level software execution approaches have recently become popular. Such high-level simulations can achieve order of magnitude speedups, but approaches that can achieve highly accurate characterization of both power and performance metrics are lacking. In this paper, we propose a novel host-compiled simulation approach that provides close to cycle-accurate estimation of energy and timing metrics in a retargetable manner, using flexible, architecture description language (ADL) based reference models. Our automated flow considers typical front- and back-end optimizations by working at the compiler-generated intermediate representation (IR). Path-dependent execution effects are accurately captured through pairwise characterization and backannotation of basic code blocks with all possible predecessors. Results from applying our approach to PowerPC targets running various benchmark suites show that close to native average speeds of 2000 MIPS at more than 98% timing and energy accuracy can be achieved.

关键词： Timing Program processors Computational modeling Accuracy Optimization Estimation Pipelines

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共273页 << < 264 265 266 267 268 269 270 271 272 273 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：