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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

22 篇 会议
1 篇 期刊文献

馆藏范围

23 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4 篇 工学
- 3 篇 计算机科学与技术...
- 2 篇 信息与通信工程
- 2 篇 软件工程
- 1 篇 材料科学与工程（可...
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 生物工程
2 篇 理学
- 2 篇 数学
- 1 篇 生物学

主题

12 篇 computer archite...
10 篇 embedded system
6 篇 architecture des...
6 篇 software tools
5 篇 laboratories
4 篇 application soft...
4 篇 power generation
4 篇 embedded computi...
4 篇 software perform...
3 篇 space exploratio...
3 篇 program processo...
3 篇 computational mo...
3 篇 embedded softwar...
3 篇 pipelines
2 篇 routing
2 篇 memory managemen...
2 篇 process design
2 篇 feedback
2 篇 energy consumpti...
2 篇 three dimensiona...

机构

7 篇 architectures an...
2 篇 laboratory cente...
2 篇 department of el...
2 篇 turku center for...
1 篇 architectures an...
1 篇 architectures an...
1 篇 department of in...
1 篇 compilers and em...
1 篇 embedded compute...
1 篇 superconducting ...
1 篇 architectures an...
1 篇 architectures an...
1 篇 embedded systems...
1 篇 architectures an...
1 篇 fermi national a...
1 篇 compilers and em...
1 篇 department of in...
1 篇 center of resear...
1 篇 laboratory of em...
1 篇 architectures an...

作者

11 篇 n. dutt
8 篇 p. mishra
5 篇 a. nicolau
3 篇 a. halambi
3 篇 p. grun
2 篇 pasi liljeberg
2 篇 hannu tenhunen
2 篇 h. tomiyama
2 篇 nicolau alex
2 篇 dutt nikil
2 篇 ashok halambi
2 篇 hans johnson
2 篇 amir-mohammad ra...
2 篇 silvia zorzetti
2 篇 juha plosila
2 篇 nikil dutt
2 篇 a. kejariwal
2 篇 grun peter
2 篇 jafar saniie
2 篇 alex nicolau

语言

23 篇 英文

检索条件"机构=Architectures and Compilers for Embedded Systems Laboratory Center for Embedded Computer Systems"

共 23 条记录，以下是11-20 订阅

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

详细简洁

排序：

Instruction set compiled simulation: a technique for fast and flexible instruction set simulation 03

Instruction set compiled simulation: a technique for fast an...

引用

Design Automation Conference

作者： M. Reshadi P. Mishra N. Dutt Architectures and Compilers for Embedded Systems Laboratory Center for Embedded Computer Systems University of California Irvine CA USA

ISBN: (纸本)9781581136883

Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and time-to-market pressure, performance is the most important feature of an instruction-set simulator. Interpretive simulators are flexible but slow, whereas compiled simulators deliver speed at the cost of flexibility. This paper presents a novel technique for generation of fast instruction-set simulators that combines the benefit of both compiled and interpretive simulation. We achieve fast instruction accurate simulation through two mechanisms. First, we move the time-consuming decoding process from run-time to compile time while maintaining the flexibility of the interpretive simulation. Second, we use a novel instruction abstraction technique to generate aggressively optimized decoded instructions that further improves simulation performance. Our instruction set compiled simulation (IS-CS) technique delivers up to 40% performance improvement over the best known published result that has the flexibility of the interpretive simulation. We illustrate the applicability of the IS-CS technique using the ARM7 embedded processor.

关键词： Decoding Runtime Computational modeling computer simulation computer architecture embedded system Permission Predictive models Switches Program processors

来源：评论

学校读者我要写书评

暂无评论

A methodology for validation of microprocessors using equivalence checking

A methodology for validation of microprocessors using equiva...

引用

International Workshop on Microprocessor Test and Verification (MTV)

作者： P. Mishra N. Dutt Architectures and Compilers for Embedded Systems (ACES) Laboratory Center for Embedded Computer Systems University of California Irvine CA USA

As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. Validation of such processor architectures is one of the most complex and expensive tasks in the current systems-on-chip design process. A significant bottleneck in the validation of such systems is the lack of a golden reference model. We present an architecture description language (ADL) driven methodology for generating golden reference model. We use EXPRESSION ADL to capture the structure and behavior of the processor. The synthesizable register transfer language (RTL) description of the architecture is generated from the ADL specification. The generated RTL description is used as a golden reference model for verifying the correctness of the implementation using equivalence checking. We applied our methodology on a RISC DLX architecture to demonstrate the usefulness of our approach.

关键词： Microprocessors computer architecture embedded system Hardware design languages Process design Space exploration Feedback Architecture description languages Reduced instruction set computing Application software

来源：评论

学校读者我要写书评

暂无评论

Rapid exploration of pipelined processors through automatic generation of synthesizable RTL models

Rapid exploration of pipelined processors through automatic ...

引用

International Workshop on Rapid System Prototyping (RSP)

作者： P. Mishra A. Kejariwal N. Dutt Architectures and Compilers for Embedded Systems (ACES) Laboratory Center for Embedded Computer Systems University of California Irvine CA USA

As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. System architects critically need modeling techniques to rapidly explore and evaluate candidate architectures based on area, power, and performance constraints. We present an exploration framework for pipelined processors. We use the EXPRESSION Architecture Description Language (ADL) to capture a wide spectrum of processor architectures. The ADL has been used to enable performance driven exploration by generating a software toolkit from the ADL specification. In this paper, we present a functional abstraction technique to automatically generate synthesizable RTL from the ADL specification. Automatic generation of RTL enables rapid exploration of candidate architectures under given design constraints such as area, clock frequency, power, and performance. Our exploration results demonstrate the power of reuse in composing heterogeneous architectures using functional abstraction primitives allowing for a reduction in the time for specification and exploration by at least an order of magnitude.

关键词： computer architecture Power system modeling embedded system System performance Architecture description languages Software performance Software tools Power generation Clocks Frequency

来源：评论

学校读者我要写书评

暂无评论

Automatic functional test program generation for pipelined processors using model checking

Automatic functional test program generation for pipelined p...

引用

IEEE International High-Level Design Validation and Test Workshop

作者： P. Mishra N. Dutt Architectures and Compilers for Embedded Systems Center for Embedded Computer Systems University of California Irvine CA USA

Formal techniques offer an opportunity to significantly reduce the cost of microprocessor verification. We propose a model checking based approach to automatically generate functional test programs for pipelined processors. We specify the processor architecture in an Architecture Description Language (ADL). The processor model is extracted from the ADL specification. Specific properties are applied to the processor model using SMV model checker to generate test programs. We applied this methodology on a single-issue DLX processor to demonstrate the usefulness of our approach.

关键词： Automatic testing Microprocessors computer architecture Architecture description languages Instruction sets System testing Program processors embedded system embedded computing Cost function

来源：评论

学校读者我要写书评

暂无评论

New directions in compiler technology for embedded systems

New directions in compiler technology for embedded systems

引用

Asia and South Pacific Design Automation Conference

作者： N. Dutt A. Nicolau H. Tomiyama A. Halambi Architectures and Compilers for Embedded Systems Laboratory Center for Embedded Computer Systems University of California Irvine CA USA

ISBN: (纸本)0780366336

Traditionally, compiler technology has focused on the generation of code with the goal of improving performance for a variety of applications running on general-purpose processor architectures. In the embedded system space, compiler technology is faced with many new challenges, including: code generation for specialized architectural features, requiring a highly flexible degree of retargetability; memory-aware code generation that exploits the timing and structure of the embedded system's memory organization; optimizing software to meet both real-time and performance constraints; energy- and power-aware software generation, both from the context of energy minimization, as well as power modulation; code size minimization for memory-constrained embedded systems; coarse-grain transformations for tightly-coupled, memory-constrained multi-processor architectures; and interaction with the operating system for active management of embedded system resources. This paper discusses new directions for compiler technology, surveys some of the current research efforts and illustrates proposed solutions to selected issues.

关键词： embedded system Space technology Distributed power generation Power generation computer architecture embedded software Software performance Application software Timing Memory management

来源：评论

学校读者我要写书评

暂无评论

Processor-memory co-exploration driven by a Memory-Aware Architecture Description Language

Processor-memory co-exploration driven by a Memory-Aware Arc...

引用

International Conference on VLSI Design

作者： P. Mishra P. Grun N. Dutt A. Nicolau Architectures and Compilers for Embedded Systems (ACES) Laboratory Center for Embedded Computer Systems University of California Irvine CA USA

ISBN: (纸本)0769508316

Memory represents a major bottleneck in modern embedded systems. Traditionally, memory organizations for programmable systems assumed a fixed cache hierarchy. With the widening processor-memory gap, more aggressive memory technologies and organizations have appeared, allowing customization of a heterogeneous memory architecture tuned for the application. However, such a processor-memory co-exploration approach critically needs the ability to explicitly capture heterogeneous memory architectures. We present in this paper a language-based approach to explicitly capture the memory subsystem configuration, and perform exploration of the memory architecture to trade-off cost versus performance. We present a set of experiments using our Memory-Aware Architectural Description Language to drive the exploration of the memory subsystem for the TIC6211 processor architecture, demonstrating a range of cost and performance attributes.

关键词： Architecture description languages Memory architecture Random access memory Costs computer architecture Software tools embedded system Design optimization Laboratories embedded computing

来源：评论

学校读者我要写书评

暂无评论

New directions in compiler technology for embedded systems (embedded tutorial) 01

New directions in compiler technology for embedded systems (...

引用

Proceedings of the 2001 Asia and South Pacific Design Automation Conference

作者： Nikil Dutt Alex Nicolau Hiroyuki Tomiyama Ashok Halambi Architectures and Compilers for Embedded System Laboratory Center for Embedded Systems University of California Irvine Irvine CA

ISBN: (纸本)9780780366343

Traditionally, compiler technology has focused on the generation of code with the goal of improving performance for a variety of applications running on general-purpose processor architectures. In the embedded system space, compiler technology is faced with many new challenges, including: code generation for specialized architectural features, requireing a highly flexible degree of retargetability; memory-aware code generation that exploits the timing and structure of the embedded system's memory organization; optimizing software to meet both real-time and performance constraints; energy- and power-aware software generation, both from the context of energy minimization, as well as power modulation; code size minimization for memory-constrained embedded systems; coarse-grain transformations for tightly-coupled, memory-constrained multi-processor architectures; and interaction with the operating system for active management of embedded system resources. This paper discusses new directions for compiler technology, surveys some of the current research efforts and illustrates proposed solutions to selected issues.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automatic validation of pipeline specifications

Automatic validation of pipeline specifications

引用

IEEE International High-Level Design Validation and Test Workshop

作者： P. Mishra N. Dutt A. Nicolau Architectures and Compilers for Embedded Systems (ACES) Laboratory University of California Irvine CA USA

Recent approaches on language-driven Design Space Exploration (DSE) use Architectural Description Languages (ADL) to capture the processor architecture, generate automatically a software toolkit (including compiler, simulator, and assembler) for that processor, and provide feedback to the designer on the quality of the architecture. It is important to verify the ADL description of the processor to ensure the correctness of the software toolkit. We present in this paper an automatic validation framework, driven by an ADL. We present algorithms for automatic validation of ADL specification of the processor pipelines. We applied our methodology to verify several realistic processor cores to demonstrate the usefulness of our approach.

关键词： Pipelines Space exploration Software tools computer architecture embedded system Feedback Architecture description languages Laboratories embedded computing Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Architecture exploration of parameterizable EPIC SOS architectures (poster paper) 00

Architecture exploration of parameterizable EPIC SOS archite...

引用

Proceedings of the conference on Design, automation and test in Europe

作者： Ashok Halambi Radu Cornea Peter Grun Nikil Dutt Alex Nicolau Architectures and Compilers for Embedded Systems (ACES) Laboratory Center for Embedded Computer Systems University of California Irvine CA

No abstract available.

ISBN: (纸本)9781581132441

No abstract available.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Architecture exploration of parameterizable EPIC SOC architectures

Architecture exploration of parameterizable EPIC SOC archite...

引用

Design, Automation and Test in Europe Conference and Exhibition 2000, DATE 2000

作者： Halambe, Ashok Cornea, Radu Grun, Peter Dutt, Nikil Nicolau, Alex Laboratory Center for Embedded Computer Systems University of California Irvine CA 92697-3425 United States

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共3页 << < 1 2 3 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：