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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

350 篇 会议
31 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

266 篇 工学
- 259 篇 计算机科学与技术...
- 173 篇 软件工程
- 67 篇 电气工程
- 48 篇 电子科学与技术（可...
- 33 篇 信息与通信工程
- 23 篇 动力工程及工程热...
- 20 篇 控制科学与工程
- 6 篇 机械工程
- 5 篇 材料科学与工程（可...
- 4 篇 化学工程与技术
- 3 篇 力学（可授工学、理...
- 3 篇 光学工程
- 3 篇 生物工程
- 2 篇 仪器科学与技术
- 2 篇 生物医学工程（可授...
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 石油与天然气工程
74 篇 理学
- 59 篇 数学
- 12 篇 系统科学
- 7 篇 物理学
- 5 篇 统计学（可授理学、...
- 3 篇 化学
- 3 篇 生物学
43 篇 管理学
- 36 篇 管理科学与工程(可...
- 29 篇 工商管理
- 9 篇 图书情报与档案管...
6 篇 经济学
- 6 篇 应用经济学
5 篇 法学
- 5 篇 社会学

主题

115 篇 embedded systems
29 篇 computer archite...
27 篇 hardware
18 篇 embedded system
16 篇 program processo...
10 篇 memory managemen...
9 篇 system-on-chip
8 篇 application soft...
8 篇 throughput
8 篇 random access me...
8 篇 high level synth...
8 篇 field programmab...
7 篇 energy consumpti...
7 篇 computational mo...
7 篇 computer aided s...
7 篇 energy efficienc...
6 篇 runtime
6 篇 reliability
6 篇 real time system...
6 篇 space exploratio...

机构

3 篇 department of co...
3 篇 tech univ denmar...
3 篇 center for embed...
3 篇 embedded systems...
3 篇 department of el...
3 篇 tech univ darmst...
2 篇 friedrich alexan...
2 篇 univ michigan 22...
2 篇 tu dresden
2 篇 center for embed...
2 篇 univ new south w...
2 篇 university of tw...
2 篇 instituto tecnol...
2 篇 school of comput...
2 篇 advanced compute...
2 篇 budapest univ te...
2 篇 univ new south w...
2 篇 univ lille crist...
2 篇 lamarr inst. for...
2 篇 center for embed...

作者

8 篇 dutt nikil
7 篇 shrivastava avir...
7 篇 barua rajeev
6 篇 palem krishna v.
5 篇 dean alexander g...
5 篇 jörg henkel
5 篇 henkel joerg
4 篇 raghunathan anan...
4 篇 ienne paolo
4 篇 madsen jan
4 篇 pozzi laura
4 篇 vahid frank
4 篇 pop paul
4 篇 andreas koch
3 篇 ha soonhoi
3 篇 homayoun houman
3 篇 koch andreas
3 篇 parameswaran sri
3 篇 hu xiaobo sharon
3 篇 marwedel peter

语言

380 篇 英文
1 篇 中文

检索条件"任意字段=CASES 2006: International Conference on Compilers, Architecture and Synthesis for Embedded Systems"

共 381 条记录，以下是291-300 订阅

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

详细简洁

排序：

HotpathVM: an effective JIT compiler for resource-constrained devices 06

HotpathVM: an effective JIT compiler for resource-constraine...

引用

Proceedings of the 2nd international conference on Virtual execution environments

作者： Andreas Gal Christian W. Probst Michael Franz University of California Irvine Irvine CA Technical University of Denmark Lyngby Denmark

ISBN: (纸本)9781595933324

We present a just-in-time compiler for a Java VM that is small enough to fit on resource-constrained devices, yet is surprisingly effective. Our system dynamically identifies traces of frequently executed bytecode instructions (which may span several basic blocks across several methods) and compiles them via Static Single Assignment (SSA) construction. Our novel use of SSA form in this context allows to hoist instructions across trace side-exits without necessitating expensive compensation code in off-trace paths. The overall memory consumption (code and data) of our system is only 150 kBytes, yet benchmarks show a speedup that in some cases rivals heavy-weight just-in-time compilers.

关键词： dynamic compilation embedded and resource-constrained systems mixed-mode interpretive compiled systems software trace scheduling static single assignment form virtual machines

来源：评论

学校读者我要写书评

暂无评论

Evolving System Services to Meet Application Requirements

Evolving System Services to Meet Application Requirements

引用

Annual Hawaii international conference on System Sciences (HICSS)

作者： H. Detmold K. Falkner D.S. Munro T. Olds A. Zakarevicius School of Computer Science University of Adelaide Australia

An increasingly common server deployment scenario involves dedicated servers supporting single applications. In such cases, system software need not be concerned with fairness between applications, but should instead focus on serving the precise needs of one particular application. To meet this goal, system software must permit applications to express their needs and must evolve to meet those needs. The fixed abstractions in conventional systems software militate against both expression of applications’ needs and against restructuring of system components to meet those needs. The compliant systems architecture (CSA) is a novel language-based software architecture that promises to enhance the extent to which system software is compliant to the applications it supports. Using our CSA instantiation, we identify several tactics for evolving system software to enhance compliance. The principal contribution of this paper is practical validation of CSA, via case studies of these tactics, demonstrating improved system services for an application.

关键词： Application software System software Computer architecture Yarn Software architecture Sockets Computer science Web server embedded system Computer languages

来源：评论

学校读者我要写书评

暂无评论

IEC 61499 Model for Avionics Distributed Fuel systems with Networked embedded Holonic Controllers

IEC 61499 Model for Avionics Distributed Fuel Systems with N...

引用

international conference on Emerging Technologies and Factory Automation (ETFA)

作者： Carlos C. Insaurralde Miguel A. Seminario Juan F. Jimenez Jose M. Giron-Sierra Department Arquitectura de Computadores y Automática Universidad Complutense de Madrid Madrid Spain

A current methodology for modeling distributed control systems (DCSs) is the standard IEC 61499. This technology is mainly applied in modern manufacturing industrial automation but it has begun to extend to other application areas. This paper proposes, in the framework of a European Research Project, a widespread use of IEC 61499, modeling an avionic distributed fuel control system (ADFCS) with smart components. The main Project target is to change the actual centralized system architecture to a full distributed one. This new system architecture includes fieldbuses and intelligence on the system components which are automata with holonic behavior. According to these new fuel system characteristics, IEC 61499 is perfectly suitable to develop it and at a time, it is interesting to spread the development of this kind of system. The paper objective is to propose a graphic modeling representation methodology to create an ADFCS with smart components. Thus, the generalization and systematization of ADFCS developments is achieved. This paper presents the main ideas of the new distributed avionic system and the control modeling of this system with IEC 61499 function blocks (FBs). Also, a particular example of ADFCS is presented; a helicopter fuel system.

关键词： IEC standards Aerospace electronics Fuels Automatic control Distributed control Control system synthesis Manufacturing industries Manufacturing automation Intelligent systems Automata

来源：评论

学校读者我要写书评

暂无评论

Requirements elicitation through model-driven evaluation of software components

Requirements elicitation through model-driven evaluation of ...

引用

international IEEE conference on Commercial-off-the-Shelf (COTS)-Based Software systems

作者： L. Chung Weimin Ma K. Cooper Department of Computer Science University of Texas Dallas Richardson TX USA

The use of software components is perceived to significantly shorten development time and cost, while improving quality, in developing a large, complex software system. A key premise to this perception seems to be the ability to effectively search, match, rank, and select software components, during the requirements engineering process. In this paper, we present a technique for eliciting requirements by using model-driven evaluation of software components, where the evaluation revolves around "models" of software components and "models" of the component-based application (CBA). As part of our ongoing project, component-aware requirements engineering (CARE), this model-driven evaluation technique is intended to match the models of the stakeholders' needs for the component-based application against the models of the capabilities of the set of components that are currently available. More specifically, this technique allows for an integrated use of several searching/matching techniques, such as keyword-based search, case-based reasoning (CBR) and analytic hierarchy process (AHP), in evaluating models of components' requirements against models of the requirements of the stakeholders of the CBA being elicited incrementally. The model-driven evaluation technique is illustrated using a home appliance control system (HACS) example.

关键词： Application software Software quality Software systems Costs Computer science Home appliances Control system synthesis embedded software Computer architecture Testing

来源：评论

学校读者我要写书评

暂无评论

cases 2004: international conference on compilers, architecture, and synthesis for embedded systems

CASES 2004: International Conference on Compilers, Architect...

引用

cases 2004: international conference on compilers, architecture, and synthesis for embedded systems

ISBN: (纸本)1581138903

The proceedings contain 33 papers. The topics discussed include: programming models and architectures for FGPA platforms;safely exploiting multithreaded processors to tolerate memory latency in real-time systems;dynamic on-chip memory management for chip multiprocessors;balancing design options with sherpa;disk drive energy optimization for audio-video applications;high level power analysis for on-chip networks;static program analysis of embedded executable assembly code;general loop fusion technique for nested loops considering timing and code size;and modular design through component abstraction.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

IP Generation Targeting Multiple Bit-Width Standards

IP Generation Targeting Multiple Bit-Width Standards

引用

13th IEEE international conference on Electronics, Circuits and systems (ICECS'2006), vol.2

作者： Bertrand Le Gal Emmanuel Casseau IXL Laboratory CNRS UMR 5818 ENSEIRB Bordeaux 1 University France R2D2 Laboratory IRISA UMR 6074 ENSSAT University of Rennes I France

Multimedia applications such as video and image processing are computation intensive applications. For these applications the bit-width of data and operations is different all over the application. Generating optimized architectures is not an obvious task since it requires a deep bit-width analysis in order to properly size hardware resources. Furthermore implementing several application profiles onto the same chip makes it possible to avoid over-sized architectures or chip reconfiguration. In this paper we propose a design methodology based on high-level synthesis which takes into account multiple bit-width standards in order to generate area and power optimized architectures for embedded devices. First results demonstrate the interest of the approach.

关键词： High level synthesis Hardware Computer architecture Design optimization Design methodology Signal processing algorithms Laboratories Image processing Computer applications Digital signal processing

来源：评论

学校读者我要写书评

暂无评论

Energy aware kernel for hard real-time systems

Energy aware kernel for hard real-time systems

引用

cases 2005: international conference on compilers, architecture, and synthesis for embedded systems

作者： Goel, A. Krishna, C.M. Koren, I. Department of Electrical and Computer Engineering University of Massachusetts Amherst MA United States

ISBN: (纸本)159593149X

embedded systems often have severe power and energy constraints. Dynamic voltage scaling (DVS) is a mechanism by which energy consumption may be reduced. In this paper, we implement a dynamic voltage scaling based scheduler in the eCos operating system running on Voltage Scalable Intel Xscale Board and show how energy usage can be reduced while still meeting hard real-time deadlines. Copyright 2005 ACM.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Intra-task scenario-aware voltage scheduling

Intra-task scenario-aware voltage scheduling

引用

cases 2005: international conference on compilers, architecture, and synthesis for embedded systems

作者： Gheorghita, Stefan Valentin Basten, Twan Corporaal, Henk Elndhoven University of Technology EE Department Electronic Systems Group Netherlands

ISBN: (纸本)159593149X

Modem embedded applications usually have real-time constraints and they have requirements for low energy consumption. At system level, intra-task dynamic voltage scaling (DVS) is one of the most effective techniques for energy reduction. It changes the processor's supply voltage and clock frequency to the lowest level that still allows the real-time constraints to be met. In this paper, we present how intra-task scenarios, which capture correlations between different parts of the application, can be applied on top of existing DVS techniques, making them more effective. Furthermore, we extend our method for automatic discovery of scenarios and adapt it to the DVS requirements. We show that, by augmenting an existing DVS method with scenarios, the average energy consumption of two real-life benchmarks is reduced with 14% to 52%. Copyright 2005 ACM.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Balancing and context-switching in ASTI systems

Balancing and context-switching in ASTI systems

引用

cases 2005: international conference on compilers, architecture, and synthesis for embedded systems

作者： Shivshankar, Siddhartha Vangara, Sunil Dean, Alexander G. Center for Embedded Systems Research Department of Electrical and Computer Engineering North Carolina State University Raleigh NC United States

ISBN: (纸本)159593149X

This paper makes two contributions to Asynchronous Software Thread Integration (ASTI). First, it presents methods to calculate worst-case secondary thread performance statically. This will enable real-time performance guarantees for the system in future work. Second, it improves the run-time performance of integrated threads by partitioning the register file, allowing faster coroutine calls. Determining the ideal partitioning of the register file is non-trivial if the registers are heterogeneous, which is a common case. We use an exhaustive search to explore the limits of performance possible. We have implemented these analyses in our research compiler Thrint and a shell script to create an automated system for design space exploration. We present experimental results showing the secondary thread performance attainable on an 8-bit embedded microcontroller of the AYR architecture. We automatically integrate two embedded protocols (CAN and MIL-STD-1553B) and two secondary threads (PID controller and serial host interface) and find that in most cases the AVR's 32 registers are adequate for both threads with no slowdown. In two cases slowdowns reach 1.8%, a negligible penalty. Copyright 2005 ACM.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

How compilers and tools differ for embedded systems

How compilers and tools differ for embedded systems

引用

cases 2005: international conference on compilers, architecture, and synthesis for embedded systems

作者： Wolfe, Michael STMicroelectronics Advanced Compilers and Tools Team Advanced System Technology Division

ISBN: (纸本)159593149X

Compiler technology includes language design, parsing, analysis, optimization, resource allocation, scheduling, and code generation. Associated tools include assemblers, linkers, debuggers, profilers, 'make', IDEs, optimized libraries, and more. While much of the technology developed over the past 50 years applies directly to embedded programming, there are key differences. Some are due to the limits of the embedded system, in particular memory size and power. Some are due to specialized architectures, such as DSPs. Others arise because of the different programming community and programming style, which is partially due to the economics of the marketplace. Here we explore some of these differences at three levels: the market, the programming environment, and the compiler. The compilers and tools marketplace for high performance workstation and cluster (HPC) systems is split between programmers and groups developing applications for internal use, and ISVs developing applications for resale. The marketplace for embedded systems is almost entirely for OEM applications, and many (or most) of the actual programmers work for the compiler vendor. This affects the forces that drive compiler and tool development and improvement. The goal for an HPC compiler is faster performance;in an embedded application, speed is not the only criterion. Getting the right mix of performance and other characteristics in an embedded system is important enough that programmers are more willing to tune the application by adjusting compiler options, performing limited rewrites, and even coding essential parts in assembler. In some instances, the target system itself is variable, and can be tuned. Focusing on just the compiler, we find many of the compiler techniques for the most performance critical embedded systems bear remarkable similarity to those used 20 or 30 years ago for the highest performance supercomputers. We also look in detail at the effectiveness of whole program analysis in both

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共39页 << < 26 27 28 29 30 31 32 33 34 35 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：