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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

25 篇 会议
1 册 图书
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

10 篇 工学
- 9 篇 计算机科学与技术...
- 4 篇 信息与通信工程
- 4 篇 软件工程
- 2 篇 电子科学与技术（可...
- 2 篇 控制科学与工程
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 石油与天然气工程
- 1 篇 安全科学与工程
7 篇 理学
- 4 篇 数学
- 3 篇 系统科学
- 1 篇 物理学
5 篇 管理学
- 3 篇 管理科学与工程(可...
- 2 篇 工商管理
- 2 篇 图书情报与档案管...

主题

8 篇 hardware
6 篇 computer archite...
6 篇 embedded systems
4 篇 field programmab...
3 篇 reliability
3 篇 mathematical mod...
2 篇 signal processin...
2 篇 graphics process...
2 篇 wireless communi...
2 篇 computational mo...
2 篇 receivers
2 篇 software
2 篇 system-on-a-chip
2 篇 delay
1 篇 computer science
1 篇 tools
1 篇 embedded system ...
1 篇 tiles
1 篇 parallel process...
1 篇 central processi...

机构

4 篇 integrated circu...
3 篇 group for comput...
3 篇 computer archite...
3 篇 computer archite...
2 篇 lsv ens de cacha...
2 篇 systems analysis...
2 篇 telecommunicatio...
2 篇 research group h...
2 篇 computer archite...
2 篇 computer archite...
2 篇 btc embedded sys...
2 篇 sick ag waldkirc...
2 篇 telecommunicatio...
1 篇 university of br...
1 篇 computer graphic...
1 篇 group for softwa...
1 篇 tel: +49-3677-69...
1 篇 telecommunicatio...
1 篇 cosynth gmbh and...
1 篇 symbiotic eda un...

作者

3 篇 wolfgang fengler
2 篇 kuper jan
2 篇 michael kirchhof...
2 篇 kenneth c. rover...
2 篇 a. pacholik
2 篇 kokkeler andré b...
2 篇 bernd däne
2 篇 andré b. j. kokk...
2 篇 bentum m.j.
2 篇 smit gerard j. m...
2 篇 jan kuper
2 篇 fengler wolfgang
2 篇 fengler w.
2 篇 kerkhoff h.g.
2 篇 annema a.j.
2 篇 w. fengler
2 篇 pacholik a.
2 篇 senouci b.
2 篇 detlef streitfer...
2 篇 m. muller

语言

27 篇 英文

检索条件"机构=Computer Architecture and Embedded Systems Group"

共 27 条记录，以下是1-10 订阅

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

详细简洁

排序：

A Petri net table model applied to classic and agile project management

A Petri net table model applied to classic and agile project...

引用

2019 International Workshop on Petri Nets and Software Engineering, PNSE 2019

作者： Weichenhain, Maxi Fengler, Wolfgang Computer Architecture and Embedded Systems Group Technische Universität Ilmenau Germany

The world of project management (PM) is diverse and extensive, as is the resulting tool selection on the market. Despite the wide variety of tools available, many PM activities are carried out using self-developed spreadsheets that have been tailored to meet the needs of the project. The authors have evaluated experiences from several completed projects and recognizes the need for a systematic model based on a formalised and tool-independent table structure. The goal of this work is to use a powerful Petri net (PN) model for mapping and simulation, taking advantage of the model's benefits. Thus, an effective and flexible methodology for PM can be realised. In order to use the concept of PN for this purpose, appropriated extensions and necessary interpretations from the area of high-level timed Petri nets must be used. Moreover, PM has to be brought to the same description level as PN. The concept of this proposed method is to enter all data, initial plan inputs and intermediate status updates into a defined table structure. A PN is then automatically generated in the background or updated to reflect the current status of the project. Simulations should be performed on the PN models, and their results should be put back into the table. The advantages of the PN concept can thus be fully exploited and become useful for a project manager, even if he or she does not have any PN knowledge. This article presents an overview of the proposed formalised methodology, its suitability to PM, and its benefits. The method itself can be applied to a wide range of projects. Focus is placed on how to transfer certain areas of PM into the introduced PN constructs and interfaces. Examples are used to illustrate how to transform PM activities and their related information into the selected PNs. © 2019 CEUR Workshop Proceedings. All rights reserved.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

3D INS/UWB based real time sensor fusion indoor position tracking architecture 13

3D INS/UWB based real time sensor fusion indoor position tra...

引用

13th IEEE Annual Information Technology, Electronics and Mobile Communication Conference, IEMCON 2022

作者： Kirchhoff, Michael Debo, Saad Nau, Johannes Group for Computer Architecture and Embedded Systems Technische Universität Ilmenau Ilmenau Germany

ISBN: (数字)9781665463164

ISBN: (纸本)9781665463164

Accurate indoor position tracking and analysis of the movement dynamics of autonomous driving systems are important challenges when it comes to automatize industrial processing, supply chains or warehouses. In this paper, the authors present an indoor position tracking architecture with a novel sensor fusion approach for autonomous robots in three-dimensional space. For robots to be able to drive autonomous, they need information of their position, speed and orientation in 3D-space. With the presented architecture, position information is provided by the Indoor Positioning System (IPS) and orientation information as well as velocity are determined by the Inertial Navigation System (INS). The proposed tracking architecture combines those informations with a sensor fusion approach, thus enabling the autonomous driving system. © 2022 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

LiSARD: LabVIEW integrated softcore architecture for reconfigurable devices

LiSARD: LabVIEW integrated softcore architecture for reconfi...

引用

2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011

作者： Pacholik, A. Klockner, J. Muller, M. Gushchina, I. Fengler, W. Computer Architecture and Embedded Systems Group Ilmenau University of Technology 98684 Ilmenau Germany

ISBN: (纸本)9780769545516

The development of industrial control and measurement systems is often based on modular commercial off the-shelf hardware. Lately, for these platforms reconfigurable I/O modules with field-programmable gate arrays (FPGA) have gained significance, since they allow the implementation of data processing functionality very close to the data acquisition interfaces. However, algorithm complexity and floating-point support are limited by FGPA resources and design methods. This contribution presents an application specific configurable DSP soft core architecture built around a scalable double precision floating-point arithmetic/logic unit. The core can be seamlessly utilized as a functional component in Lab VIEW based FPGA designs. A small case study shows the performance of an example application implemented on the presented core in comparison to other embedded architectures. © 2011 IEEE.

关键词： Digital arithmetic

来源：评论

学校读者我要写书评

暂无评论

A dataflow inspired programming paradigm for coarse-grained reconfigurable arrays

A dataflow inspired programming paradigm for coarse-grained ...

引用

10th International Symposium on Reconfigurable Computing: architectures, Tools, and Applications, ARC 2014

作者： Niedermeier, A. Kuper, Jan Smit, Gerard J. M. Computer Architecture for Embedded Systems Group Department of Electrical Engineering Mathematics and Computer Science University of Twente Netherlands

ISBN: (纸本)9783319059594

In this paper, we present a new approach towards programming coarse-grained reconfigurable arrays (CGRAs) in an intuitive, dataflow inspired way. Based on the observation that available CGRAs are usually programmed using C, which lacks proper support for instruction-level parallelism, we instead started from a dataflow perspective combined with a language that inherently supports parallel structures. Our programming paradigm decouples the local functionality of a core from the global flow of data, i.e. the kernels from the routing. We will describe the ideas of our programming paradigm and also the language and compiler itself. Our complete system, including the CGRA, the programming language and the compiler, was developed using Haskell, which leads to a complete, sound system. We finish the paper with the implementation of a number of algorithms using our system. © 2014 Springer International Publishing Switzerland.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

GPU vs FPGA: Example application on white light interferometry

GPU vs FPGA: Example application on white light interferomet...

引用

2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011

作者： Pacholik, A. Müller, M. Fengler, W. Machleidt, T. Franke, K.-H. Computer Architecture and Embedded Systems Group Ilmenau University of Technology 98684 Ilmenau Germany Computer Graphics Group Ilmenau University of Technology 98684 Ilmenau Germany

ISBN: (纸本)9780769545516

High performance image processing applications area challenging field when targeting embedded processing. Field programmable gate arrays (FPGA) receive a growing interest as implementation platforms, but these solutions have to compete with the state of the art in image processing, which is codefined by graphics processing units (GPU). This paper provides a case study which analyzes the potential of embedded or hybrid implementation on FPGA and GPU for image stack processing in a white light interferometry (WLI) application. © 2011 IEEE.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Designing a control application by using a specialized multi-core soft microprocessor

Designing a control application by using a specialized multi...

引用

12th IFAC Conference on Programmable Devices and embedded systems, PDeS 2013

作者： Däne, Bernd Pacholik, Alexander Zschäck, Stephan Fengler, Wolfgang Ament, Christoph Braune, Tobias Computer Architecture and Embedded Systems Group Ilmenau University of Technology 98684 Ilmenau Germany Systems Analysis Group Ilmenau University of Technology 98684 Ilmenau Germany

ISBN: (纸本)9783902823533

Computationally intensive algorithms for closed loop control and similar systems today can be implemented using reconfigurable FPGA devices. One approach is using soft microprocessor designs and implementing the algorithms as programs. This paper reports about a case study within an ongoing project that investigates a multi-core soft microprocessor solution for a closed-loop control application. Requirements within the project lead to a specialized processor design. Some results from experimental work are presented, demonstrating feasibility and efficiency of the approach. © IFAC.

关键词： Signal processing

来源：评论

学校读者我要写书评

暂无评论

Mixed continuous/discrete time modelling with exact time adjustments

Mixed continuous/discrete time modelling with exact time adj...

引用

International Wireless Communications and Mobile Computing Conference, IWCMC

作者： Kenneth C. Rovers Jan Kuper Marcel D. van de Burgwal André B.J. Kokkeler Gerard J.M. Smit Computer Architecture for Embedded Systems group Computer Architecture for Embedded Systems group University of Twente Enschede Netherlands

Many systems interact with their physical environment. Design of such systems need a modelling and simulation tool which can deal with both the continuous and discrete aspects. However, most current tools are not adequately able to do so, as they implement both continuous and discrete time signals as consisting of separate values at a single global simulation clock. The consequence is that simulation, of a time delay for example, either yields inaccurate results or becomes inefficient.

关键词： Arrays Delay Delay effects Receivers Mathematical model Approximation methods Array signal processing

来源：评论

学校读者我要写书评

暂无评论

Multi-domain transformational design flow for embedded systems

Multi-domain transformational design flow for embedded syste...

引用

2011 11th International Conference on embedded computer systems: architectures, Modeling and Simulation, IC-SAMOS 2011

作者： Rovers, Kenneth C. Van De Burgwal, Marcel D. Kuper, Jan Kokkeler, André B.J. Smit, Gerard J. M. Computer Architecture for Embedded Systems Group Department of EEMCS CTIT University of Twente P.O. Box 217 7500 AE Enschede Netherlands

ISBN: (纸本)9781457708008

Current tools for embedded system design have limited support for modelling the interaction of the system with its physical environment. Furthermore, the natural representation of (streaming, real-time) applications with dataflow models is not supported by most tools. However, integrating multiple domains supports the design of complex interdisciplinary systems and enables model transformations. In this paper we discuss a unified approach, called UniTi, to handle continuous and discrete time models in a single framework, which includes the dataflow model as well. Our approach consists of a transformational design flow, expressed mathematically in a functional language. We formally distinguish the various domains and explain their interaction. In addition, we give guidelines for specifying algorithms such that these transformations can be applied. Our approach is illustrated with a non-trivial case study: beamforming in a phased array system. © 2011 IEEE.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Adaptive resource allocation for streaming applications

Adaptive resource allocation for streaming applications

引用

2011 11th International Conference on embedded computer systems: architectures, Modeling and Simulation, IC-SAMOS 2011

作者： Ter Braak, Timon D. Toersche, Hermen A. Kokkeler, André B.J. Smit, Gerard J.M. Computer Architecture for Embedded Systems Group Department of Electrical Engineering Mathematics and Computer Science University of Twente P.O. Box 217 7500 AE Enschede Netherlands

ISBN: (纸本)9781457708008

Streaming applications often have latency and throughput requirements due to timing critical signal processing, or the time critical interaction with their environment. Mapping such applications to a multi-core architecture is commonly done at design-time to be able to analyze the complex design-space. However, such design-flows cannot deal with a dynamic platform or a dynamic set of applications. Hardware faults and resources claimed by other applications may render the assumed available resources inaccessible. To avoid the assumptions posed on the state of the platform by a fixed resource allocation, applications should be designed with location transparency in mind. Applications must be analyzed at design-time to determine the required resource budget, independent of which specific resources will be allocated. Sufficient performance can be guaranteed when such applications are mapped onto an architecture in which each resource is arbitrated using a budget scheduler. Within the Cutting edge Reconfigurable ICs for Stream Processing (CRISP) project, a many-core platform is developed that adheres to these requirements. Using the configuration features of the platform, the system is able to control at run-time what resources are being used by the applications. This paper shows that run-time resource allocation can effectively adapt to the available set of resources, providing partial distribution transparency to the user. As an example, a GNSS receiver is mapped to the platform containing faulty hardware components. A few resources remain critical, but in most cases the faulty components can be circumvented, such that adequate resources can be allocated to the application at run-time. © 2011 IEEE.

关键词： Budget control

来源：评论

学校读者我要写书评

暂无评论

Accurate dead code detection in embedded C code by arithmetic constraint solving 1

Accurate dead code detection in embedded C code by arithmeti...

引用

1st Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2016

作者： Neubauer, Felix Scheibler, Karsten Becker, Bernd Mahdi, Ahmed Fränzle, Martin Teige, Tino Bienmüller, Tom Fehrer, Detlef Department of Computer Architecture University of Freiburg Germany Research Group Hybrid Systems Carl von Ossietzky University of Oldenburg Germany BTC Embedded Systems AG Oldenburg Germany Sick AG Waldkirch Germany

Unreachable code fragments in software, despite not having a negative impact on the functional behavior, can have a bad effect in other areas, such as code optimization or coverage-based code validation and certification. Especially the latter is important in industrial, safety critical environments, where detecting such dead code is a major goal to adjust the coverage of software tests. In the context of embedded systems we focus on C programs which are reactive, control-oriented, and floating-point dominated. Such programs are either automatically generated from Simulink-plus-Stateflow models or hand-written according to coding guidelines. While there are various techniques - e. g. abstract interpretation or Counterexample guided abstraction refinement (CEGAR) - to deal with individual issues of this domain, there is none which can cover all of them. The AVACS transfer project T1 aims at the combination of these techniques in order to provide an accurate and efficient dead code detection. In this paper we present the ideas and goals of the project as well as the current status (including very promising experimental results) and future challenges. Copyright © by the paper's authors.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：