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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

2,731 篇 电子文献
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,719 篇 英文
9 篇 中文
4 篇 其他

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

共 2731 条记录，以下是2381-2390 订阅

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

详细简洁

排序：

Legacy SystemC co-simulation of multi-processor systems-on-chip

Legacy SystemC co-simulation of multi-processor systems-on-c...

引用

IEEE international conference on computer Design: VLSI in computers and Processors, (ICCD)

作者： L. Benini D. Bertozzi D. Bruni N. Drago F. Fummi M. Poncino Università Bologna Bologna Italy Università Verona Verona Italy

We present a co-simulation environment for multiprocessor architectures, that is based on SystemC and allows a transparent integration of instruction set simulators (ISSs) within the SystemC simulation framework. The integration is based on the well-known concept of bus wrapper, that realizes the interface between the ISS and the simulator. The proposed solution uses an ISS-wrapper interface based on the standard gdb remote debugging interface, and implements two alternative schemes that differ in the amount of communication they require. The two approaches provide different degrees of tradeoff between simulation granularity and speed, and show significant speedup with respect to a micro-architectural, full SystemC simulation of the system description.

关键词： Hardware Open source software Application software embedded software Microarchitecture Communication channels Communication standards Debugging System-on-a-chip Runtime

来源：评论

学校读者我要写书评

暂无评论

A dynamical systems approach to behavior-based formation control

A dynamical systems approach to behavior-based formation con...

引用

IEEE international conference on Robotics and Automation (ICRA)

作者： S. Monteiro E. Bicho Department of Industrial Electronics University of Minho Guimaraes Portugal

The dynamical systems theory is used here as a theoretical language and tool to design a distributed control architecture that generates navigation in formation, integrated with obstacle avoidance, for a team of three autonomous robots. In this approach the level of modeling is at the level of behaviors. A "dynamics" of behavior is defined over a state-space of behavioral variables. The environment is also modeled in these terms by representing task constraints as attractors (i.e., asymptotically stable states) or repellers (i.e., unstable states) of behavioral dynamics. For each robot attractors and repellers are combined into a vector field that governs the behavior. The resulting dynamical systems that generate the behavior of the robots are nonlinear. computer simulations support the validity of our dynamic model architectures.

关键词： Control systems Robot kinematics Navigation Master-slave Switches Industrial electronics Distributed control Service robots computer simulation Solid modeling

来源：评论

学校读者我要写书评

暂无评论

Automatic modeling and validation of pipeline specifications driven by an architecture description language [SoC]

Automatic modeling and validation of pipeline specifications...

引用

Asia and South Pacific Design Automation conference

作者： P. Mishra H. Tomiyama A. Halambi P. Grun N. Dutt A. Nicolau Center for Embedded Computer Systems University of California Irvine CA USA Institute of Systems and Information Tech Fukuoka Japan

ISBN: (纸本)0769514413

Verification is one of the most complex and expensive tasks in the current systems-on-chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline validation, where the functionality of an existing pipelined processor is, in essence, reverse-engineered from its RT-level implementation. Our approach leverages the system architect's knowledge about the behavior of the pipelined architecture, through architecture description language (ADL) constructs, and thus allows a powerful top-down approach to pipeline validation. This paper addresses automatic validation of processor, memory, and co-processor pipelines described in an ADL. We present a graph-based modeling of architectures which captures both structure and behavior of the architecture. Based on this model, we present formal approaches for automatic validation of the architecture described in the ADL. We applied our methodology to verify several realistic architectures from different architectural domains to demonstrate the usefulness of our approach.

关键词： Pipelines computer architecture Power system modeling Architecture description languages Coprocessors Space exploration Process design Logic design Logic testing Data mining

来源：评论

学校读者我要写书评

暂无评论

Specification, modeling and design tools for system-on-chip

Specification, modeling and design tools for system-on-chip

引用

Asia and South Pacific Design Automation conference

作者： L. Lavagno S. Dey R. Gupta Cadence Berkeley Laboratories USA University of California San Diego USA University of California Irvine USA

ISBN: (纸本)0769514413

Summary form only given. Illustrates first the languages and models of computation available to the system-level. designer to capture precisely and unambiguously requirements. We discuss for what application domain and platform each language is most appropriate, focusing mostly on platform-independent languages and MOCs, since they support the greatest freedom in mapping choice. We will then discuss how the architecture of the platform, and the services it offers to the application designer, can also be formally and compactly captured and specified. We will show how the mapping paradigm can be used to select an implementation for the functional blocks and their communication, and how simulation and implementation methods can be derived automatically. In particular, we will describe how software estimation and synthesis for reactive real-time systems can be competitive with hand design, while retaining the ease of re-use typical of high-level specifications. In the next part of the tutorial, we will establish the importance of on-chip communication architectures in determining the performance of System-on-Chips (SoCs). We will track several on-chip communication architectures that are in use today.

关键词： System-on-a-chip computer architecture embedded system Performance analysis Design methodology Network-on-a-chip Power system modeling Laboratories Pervasive computing Costs

来源：评论

学校读者我要写书评

暂无评论

Improving quality attributes of a complex system through architectural analysis-a case study

Improving quality attributes of a complex system through arc...

引用

international conference and Workshop on Engineering of computer-Based systems

作者： R. Land Department of Computer Engineering Mälardalen University Västerås

ISBN: (纸本)0769515495

The Software Architecture Analysis Method (SAAM) is a method for analyzing architectural designs, providing support in the design process by comparing different architectures and drawing attention to how a system's quality attributes are affected by its architecture. We used SAAM to analyze the architecture of a nuclear simulation system, and found the method to be of great help when selecting the architecture alternative to use, and to draw attention to the importance of software architecture in large. It has been recognized that the quality properties of a system is to a large extent determined by its architecture; there are, however, other important issues to consider that belong to "lower" design levels. We describe how detailed technical knowledge affected the design of the architecture, and show how the development process in large, and the end product can benefit from taking these issues into consideration already during the architectural design phase.

关键词： computer aided software engineering computer architecture Software architecture Computational modeling computer simulation Spatial databases Design engineering Process design Engineering drawings Analytical models

来源：评论

学校读者我要写书评

暂无评论

A genetic algorithm for task scheduling in network computing environment

A genetic algorithm for task scheduling in network computing...

引用

IEEE international conference on Algorithms and architectures for Parallel Processing (ICAP)

作者： Dongmei Liu Yuanxiang Li Mingzhao Yu State Key Laboratory of Software Engineering Wuhan University of China China

ISBN: (纸本)0769515126

Huge task can be decomposed into some partially ordered computational sub-tasks, then resolved The general problem of task scheduling is known to be NP-hard, and genetic algorithms have received much attention as a class of robust stochastic search algorithms for task scheduling. While the construction of initial population has some limitations and most of the previous work only considers homogeneous systems, in this paper, an improved algorithm based on genetic algorithms is developed to solve the task scheduling problem in network computing environment. Finally we give the simulation results of our algorithm and conclusions.

关键词： Genetic algorithms Processor scheduling Intelligent networks computer networks Concurrent computing Laboratories Software engineering Stochastic processes Scheduling algorithm Computational modeling

来源：评论

学校读者我要写书评

暂无评论

simulation Bridge: a framework for multi-processor simulation

Simulation Bridge: a framework for multi-processor simulatio...

引用

international Workshop on Hardware/Software Codesign (CODES)

作者： G.D. Nagendra V.G.P. Kumar B.S. Sheshadri Software Development Systems Texas Instruments India Ltd Bangalore India

Multi-processor solutions in the embedded world axe being designed to meet the ever increasing computational demands of the emerging applications. Such architectures comprise two or more processors (often a mix of general purpose and digital signal processors) together with a rich peripheral mix to provide a high performance computational platform. While there are many simulation solutions in the industry available to address the system partitioning issues and also the verification of HW-SW interactions in these complex systems, there are very few solutions targetted towards the SW application developers' needs. The primary concern of the SW application developers is to debug and optimize their code. Hence, cycle accuracy and performance of the simulation solution becomes the key enablers. Desired observability and controllability of the models are additional careabouts. Secondly, application developers are more comfortable at instruction level simulations than they are with RTL or gate level simulation. These specific requirements have a bearing on the choices in the simulation solutions. This paper describes the design of a generic, C based multi-processor instruction set simulator framework in the context of the above parameters. This framework, termed the "simulation bridge", facilitates highly accurate, yet efficient simulation. The SimBridge performs clock correct lock-step simulation of the models in the architecture using a global simulation engine that handles both intra-processor and inter-processor communication in a homogenous fashion. It addresses the multiple key issues of execution control, synchronization, connectivity and communication. The paper concludes with the performance analysis of the SimBridge in an experimental test setup as well as in the Texas Instruments (TI) TMS320C54x-based simulators.

关键词： Bridges Computational modeling embedded computing computer architecture Digital signal processors computer peripherals High performance computing Observability Controllability Context modeling

来源：评论

学校读者我要写书评

暂无评论

Automatic model refinement for fast architecture exploration [SoC design]

Automatic model refinement for fast architecture exploration...

引用

Asia and South Pacific Design Automation conference

作者： J. Peng S. Abdi D. Gajski Center for Embedded Computer Systems University of California Irvine CA USA

ISBN: (纸本)0769514413

We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An architecture model is derived from the specification through a series of well defined steps in our design methodology. Traditional architecture exploration relies on manual refinement which is painfully time consuming and error prone. The automation of the refinement process provides a useful tool to the system designer to quickly evaluate several architectures in the design space and make the optimal choice. Experiments with the tool on a system design example show the robustness and usefulness of the refinement algorithm.

关键词： computer architecture Analytical models Software libraries Refining Power system modeling Job shop scheduling Protocols Algorithm design and analysis Iterative algorithms embedded computing

来源：评论

学校读者我要写书评

暂无评论

embedded operating system energy analysis and macro-modeling

Embedded operating system energy analysis and macro-modeling

引用

IEEE international conference on computer Design: VLSI in computers and Processors, (ICCD)

作者： T.K. Tan A. Raghunathan N.K. Jha Department of Electrical Engineering Princeton University NJ USA NEC C&C Research Laboratories Princeton NJ USA

A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a significant impact on the energy efficiency of the embedded system. Hence, analysis of the energy effects of the OS is of great importance. Conventional approaches to energy analysis of the OS (and embedded software, in general) require the application software to be completely developed and integrated with the system software, and that either measurement on a hardware prototype or detailed simulation of the entire system be performed. Since this process requires significant design effort, unfortunately, it is typically too late in the design cycle to perform high-level or architectural optimizations on the embedded software, restricting the scope of power savings. Our work recognizes the need to provide embedded software designers with feedback about the effect of different OS services on energy consumption early in the design cycle. As a first step in that direction, this paper presents a systematic methodology to perform energy analysis and macro-modeling of an embedded OS. Our energy macro-models provide software architects and developers with an intuitive model for the OS energy effects, since they directly associate energy consumption with OS services and primitives that are visible to the application software. Our methodology consists of (i) an analysis stage, where we identify a set of energy components, called energy characteristics, which are useful to the designer in making OS-related design trade-offs, and (ii) a subsequent macromodeling stage, where we collect data for the identified energy components and automatically derive macro-models for them. We validate our methodology by deriving energy macro-models for two state-of-the-art embedded OS's, /spl mu/C/OS and Linux OS.

关键词： Operating systems embedded software embedded system Performance analysis Application software Energy consumption Energy efficiency System software Energy measurement Software measurement

来源：评论

学校读者我要写书评

暂无评论

A co-simulation study of adaptive EPIC computing

A co-simulation study of adaptive EPIC computing

引用

IEEE international conference on Field-Programmable Technology (FPT)

作者： V.S. Gheorghita Weng-Fai Wong T. Mitra S. Talla Politehnica University of Bucharest Bucharest Romania Department of Computer Science National University of Singapore Singapore Agere Systems Altanta GA USA

Reconfigurable computing offers the embedded systems designers the flexibility of application specific optimizations on a generic platform. In this paper, we are concerned with a fine-grain, tightly coupled, dynamically reconfigurable architecture we call Adaptive EPIC. A generic EPIC architecture is augmented with a dynamically reconfigurable structure. In this paper, we describe an experimental setup to evaluate the performance of such a processor. Our results show that such architecture can offer significant performance improvements for low frequency, and hence low power, core processors.

关键词： Field programmable gate arrays computer architecture Reconfigurable logic Programmable logic arrays Computational modeling Logic devices Hardware Design optimization Programmable logic devices Logic arrays

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共274页 << < 235 236 237 238 239 240 241 242 243 244 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：