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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,498 篇 会议
55 篇 期刊文献

馆藏范围

1,553 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

799 篇 工学
- 738 篇 计算机科学与技术...
- 560 篇 软件工程
- 153 篇 电气工程
- 135 篇 电子科学与技术（可...
- 103 篇 信息与通信工程
- 74 篇 控制科学与工程
- 22 篇 机械工程
- 13 篇 动力工程及工程热...
- 11 篇 光学工程
- 10 篇 建筑学
- 9 篇 仪器科学与技术
- 9 篇 生物工程
- 8 篇 材料科学与工程（可...
- 8 篇 土木工程
- 8 篇 生物医学工程（可授...
- 7 篇 安全科学与工程
- 6 篇 航空宇航科学与技...
179 篇 理学
- 104 篇 数学
- 48 篇 系统科学
- 39 篇 物理学
- 16 篇 统计学（可授理学、...
- 9 篇 生物学
- 6 篇 化学
108 篇 管理学
- 89 篇 管理科学与工程(可...
- 29 篇 工商管理
- 23 篇 图书情报与档案管...
15 篇 法学
- 11 篇 社会学
5 篇 经济学
- 5 篇 应用经济学
5 篇 教育学
- 5 篇 教育学
5 篇 医学
- 5 篇 临床医学
4 篇 艺术学
1 篇 农学

主题

359 篇 hardware
177 篇 computer archite...
162 篇 embedded system
135 篇 application soft...
87 篇 field programmab...
83 篇 embedded systems
75 篇 control system s...
69 篇 costs
67 篇 high level synth...
65 篇 computational mo...
65 篇 algorithm design...
64 篇 system-on-a-chip
63 篇 permission
62 篇 embedded softwar...
61 篇 real time system...
52 篇 timing
50 篇 system-on-chip
48 篇 computer science
47 篇 energy consumpti...
46 篇 space exploratio...

机构

10 篇 department of el...
8 篇 univ calif river...
8 篇 center for embed...
6 篇 school of comput...
6 篇 arizona state un...
6 篇 center for embed...
6 篇 department of co...
5 篇 princeton univ d...
5 篇 school of inform...
5 篇 department of co...
5 篇 philips research...
5 篇 institute for in...
5 篇 technische unive...
4 篇 department of el...
4 篇 ibm thomas j. wa...
4 篇 imec leuven
4 篇 politecn torino ...
4 篇 university of er...
4 篇 tu braunschweig
4 篇 university of do...

作者

9 篇 sri parameswaran
9 篇 ogras umit y.
9 篇 parameswaran sri
9 篇 nikil dutt
7 篇 rolf ernst
7 篇 dick robert p.
7 篇 dutt nikil
7 篇 robert p. dick
7 篇 leupers rainer
7 篇 vahid f
6 篇 jiang wei
6 篇 greg stitt
6 篇 teich juergen
6 篇 mitra tulika
6 篇 rainer leupers
6 篇 andreas gerstlau...
6 篇 a. sangiovanni-v...
6 篇 r. ernst
6 篇 jha niraj k.
5 篇 sungjoo yoo

语言

1,546 篇 英文
5 篇 其他
2 篇 中文

检索条件"任意字段=Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis"

共 1553 条记录，以下是1191-1200 订阅

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

详细简洁

排序：

A generic integer programming approach to hardware/software codesign 1

A generic integer programming approach to hardware/software ...

引用

IEEE international Multitopic conference

作者： Khayam, SA Khan, SA Sadiq, S Michigan State Univ Dept Elect & Comp Engn E Lansing MI 48823 USA

ISBN: (纸本)0780374061

In this work, a generic Integer Programming (IP) model for hardware/software codesign is presented Efficient behavioral description of the required problem space is first developed using a high level procedural language. This behavioral model serves two purposes;system-level simulations, partitioning analysis. This behavioral model is used to generate a cost matrix for till system level modules. First, the behavioral model is used to determine the cost of program and data memory. Secondly, the behavioral code is profiled to generate information about module execution overhead. Inter-module communication cost is determined using the module call-flow graph. A cost matrix is developed for the modules. Each column of the cost matrix is given appropriate weight and an IP model is solved to make a decision whether a module is to be implemented in hardware or software.

关键词： hardware/software codesign integer programming behavioral modeling

来源：评论

学校读者我要写书评

暂无评论

The usage of stochastic processes in embedded system specifications 01

The usage of stochastic processes in embedded system specifi...

引用

9th international Symposium on hardware/software codesign (CODES 2001)

作者： Jantsch, A Sander, I Wu, WB Royal Inst Technol Stockholm Sweden

ISBN: (纸本)1581133642

We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purpose is used in specifications to constrain implementations. For the specification of embedded systems we suggest a stochastic process sigma instead of nondeterminism. It serves mostly the descriptive purpose but can also be used to constrain the system. We carefully distinguish different interpretations of these concepts by the different design activities simulation, synthesis and verification.

关键词： Stochastic processes Embedded system Permission Capacitive sensors Uncertainty Formal verification Concrete

来源：评论

学校读者我要写书评

暂无评论

Modeling and simulation of steady state and transient behaviors for emergent SoCs

Modeling and simulation of steady state and transient behavi...

引用

14th international Symposium on system synthesis (ISSS)

作者： Paul, JM Suppé, AJ Thomas, DE Carnegie Mellon Univ Dept Elect & Comp Engn Pittsburgh PA 15213 USA

ISBN: (纸本)1581134185

We introduce a formal basis for viewing computer systems as mixed steady state and non-steady state (transient) behaviors to motivate novel design strategies resulting from simultaneous consideration of function, scheduling and architecture. We relate three design styles: hierarchical decomposition, static mapping and directed platform that have traditionally been separate. By considering them together, we reason that once a steady state system is mapped to an architecture, the unused processing and communication power may be viewed as a platform for a transient system, ultimately resulting in more effective design approaches that ease the static mapping problem while still allowing for effective utilization of resources. Our simulation environment frequency interleaving, mixes a formal and experimental approach as illustrated in an example.

关键词： hardware/software codesign computer system modeling and simulation system on chip design

来源：评论

学校读者我要写书评

暂无评论

Study of direct torque control (DTC) system of permanent magnet synchronous motor based on DSP 5

Study of direct torque control (DTC) system of permanent mag...

引用

5th international conference on Electrical Machines and systems

作者： Dai, WJ Li, HL Nanchang Univ Nanchang 330029 Peoples R China

ISBN: (纸本)7506251159

The paper puts forward a sort of realizing project of direct torque control (DTC) system of permanent magnet synchronous motor based on DSP. It mainly introduces the theory of the system's realization and the design method of software and hardware. Through experiments it indicates the feasibility of the projects and displays the prominence of the chip.

关键词： permanent magnet motors synchronous motors machine control torque control control system synthesis digital signal processing chips digital control power engineering computing permanent magnet synchronous motor DSP direct torque control system software hardware

来源：评论

学校读者我要写书评

暂无评论

Model-based synthesis of fault trees from Matlab-Simulink models

Model-based synthesis of fault trees from Matlab-Simulink mo...

引用

international conference on Dependable systems and Networks (DSN 2001)

作者： Papadopoulos, Y Maruhn, M Univ York Dept Comp Sci York YO10 5DD N Yorkshire England

ISBN: (纸本)0769511023

In this paper, we outline a new approach to safety analysis in which concepts of computer HAZOP are fused with the idea of software fault tree analysis to enable a continuous assessment of an evolving programmable design developed in Matlab-Simulink. We also discuss the architecture of a tool that we have developed to support the new method and enable its application in complex environments. We show that the method and the tool enable the integrated hardware and software analysis of a programmable system and that in the course of that analysis they automate and simplify the development of fault trees for the system. Finally, we propose a demonstration of the method and the tool and ive outline the experimental platform and aims of that demonstration.

关键词： Fault tree analysis

来源：评论

学校读者我要写书评

暂无评论

Princeton Sound Kitchen Open Source software Report 27

Princeton Sound Kitchen Open Source Software Report

引用

27th international Computer Music conference, ICMC 2001

作者： Cook, Perry Leider, Colby Park, Tae Hong Tzaneatakis, George Computer Science and Music Department Princeton University United States

The Princeton Sound Kitchen is a repository of open source software for computer music written by graduate students and professors of the computer science and music departments at Princeton University. This studio report describes some recent open source software that has been added to this repository. These projects include computer music tools developed at the Music Department of Princeton as well as audio synthesis and recognition tools developed at the Computer Science Department. All the software is open source, uses standard cross-platform free software and has been tested in a variety of operating system and hardware configurations. © 2021 Geotar Media Publishing Group. All Rights Reserved.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

A hardware/software codesign senior capstone design project in computer engineering

A hardware/software codesign senior capstone design project ...

引用

IEEE international conference on Microelectronic systems Education

作者： R.H. Klenke Department of Electrical Engineering Virginia Commonwealth University Richmond VA USA

This paper describes a senior capstone design project in computer engineering that incorporates the concept of hardware/ software codesign. Details of the project, required infrastructure and tools, and results of the... 详细信息

ISBN: (纸本)0769511562

关键词： hardware Design engineering Robot sensing systems Educational robots Leg Control systems Embedded system Microprocessors Embedded software software performance

来源：评论

学校读者我要写书评

暂无评论

A flexible approach to the design of complex embedded systems

A flexible approach to the design of complex embedded system...

引用

Annual IEEE international ASIC/SOC conference

作者： J.M. Moya F. Moya J.C. Lopez University of Castilla La Mancha Ciudad Real Spain

Describes a new approach to hardware/software codesign for complex embedded systems, using high-level programming languages, such as C, C++, Java, or Ada. Unlike previous approaches, we do not distribute parts of the behavior between the different subsystems. We map the entire behavior onto the whole system, and the partition is made implicitly during the synthesis process. We divide the system specification into behavior, architecture and design criteria, to maximize reuse opportunities and to increase the flexibility of the design environment.

关键词： Embedded system hardware Embedded software Programming Computer languages Java Microprocessors Costs Specification languages Space technology

来源：评论

学校读者我要写书评

暂无评论

CASES 2001 - proceedings of the 2001 international conference on Compilers, Architecture, and synthesis for Embedded systems

CASES 2001 - Proceedings of the 2001 International Conferenc...

引用

2nd international conference on Compilers, Architecture, and synthesis for Embedded systems, CASES 2001

ISBN: (纸本)1581133995

The proceedings contain 31 papers. The topics discussed include: design space characterization for architecture/compiler co-exploration;storage allocation for embedded processors;an empirical evaluation of high level transformations for embedded processors;a novel approach to code analysis of digital signal processing systems;the very portable optimizer for digital signal processors;patchable instruction ROM architecture;hardware compilation of sequential Ada;a new method for compiling schizophrenic synchronous programs;transparent data-memory organizations for digital signal processors;a vision for embedded software;combined partitioning and data padding for scheduling multiple loop nests;heterogeneous memory management for embedded systems;establishing a tight bound on task interference in embedded system instruction caches;personal, handheld, wireless: the future of digital technology;pattern matching in reconfigurable logic for packet classification;personal, handheld, wireless: the future of digital technology;efficient longest executable path search for programs with complex flows and pipeline effects;and tailoring pipeline bypassing and functional unit mapping to application in clustered VLIW architectures.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A system-on-a-chip lock cache with task preemption support 2

A system-on-a-chip lock cache with task preemption support

引用

2nd international conference on Compilers, Architecture, and synthesis for Embedded systems, CASES 2001

作者： Akgul, Bilge Saglam Lee, Jaehwan Mooney, Vincent John Georgia Institute of Technology 328786 GA Tech Station AtlantaGA30332 United States Georgia Institute of Technology 350606 GA Tech Station AtlantaGA30332 United States Georgia Institute of Technology CoC 306 801 Atlantic Dr. AtlantaGA30332-0250 United States

ISBN: (纸本)1581133995

Intertask/interprocess synchronization overheads may be significant in a multiprocessor-shared memory system-on-a-Chip implementation. These overheads are observed in terms of lock latency, lock delay and memory bandwidth consumption in the system. It has been shown that a hardware solution brings a much better performance improvement than the synchronization algorithms developed in software [3]. Our previous work presented a SoC Lock Cache (SoCLC) hardware mechanism which resolves the Critical Section (CS) interactions among multiple processors and improves the performance criteria in terms of lock latency, lock delay and bandwidth consumption in a shared memory multiprocessor SoC for short CSes [1]. This paper extends our previous work to support long CSes as well. This combined support involves modifications both in the RTOS kernel filevel facilities (such as support for preemptive versus non-preemptive synchronization, interrupt handling and RTOS initialization) and in the hardware mechanism. The worst-case simulation results of a database application model with client-server pair of tasks on a fourprocessor system showed that our mechanism achieved a 57% improvement in lock latency, 14% speed up in lock delay and a 35% overall speedup in total execution time. Copyright 2001 ACM.

关键词： system-on-chip

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共156页 << < 116 117 118 119 120 121 122 123 124 125 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：