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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

344 篇 会议
16 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

287 篇 工学
- 262 篇 计算机科学与技术...
- 153 篇 软件工程
- 70 篇 信息与通信工程
- 39 篇 电子科学与技术（可...
- 37 篇 电气工程
- 27 篇 控制科学与工程
- 9 篇 安全科学与工程
- 5 篇 机械工程
- 5 篇 动力工程及工程热...
- 4 篇 化学工程与技术
- 2 篇 光学工程
- 2 篇 仪器科学与技术
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 交通运输工程
- 2 篇 环境科学与工程（可...
- 2 篇 生物医学工程（可授...
- 2 篇 网络空间安全
71 篇 理学
- 54 篇 数学
- 15 篇 系统科学
- 7 篇 统计学（可授理学、...
- 6 篇 物理学
- 4 篇 生物学
- 2 篇 化学
25 篇 管理学
- 23 篇 管理科学与工程(可...
- 11 篇 工商管理
- 3 篇 图书情报与档案管...
4 篇 经济学
- 4 篇 应用经济学
3 篇 法学
- 3 篇 社会学
3 篇 医学
2 篇 教育学
- 2 篇 教育学

主题

44 篇 embedded systems
38 篇 computer archite...
29 篇 computational mo...
11 篇 data communicati...
11 篇 hardware
8 篇 computer simulat...
8 篇 simulation
8 篇 system-on-chip
7 篇 program processo...
7 篇 integrated circu...
7 篇 wireless telecom...
6 篇 analytical model...
6 篇 embedded system
6 篇 field programmab...
5 篇 circuit simulati...
5 篇 computer hardwar...
5 篇 application soft...
5 篇 throughput
5 篇 electronic mail
5 篇 load modeling

机构

3 篇 politecnico di t...
3 篇 univ victoria de...
2 篇 katholieke univ ...
2 篇 beijing institut...
2 篇 univ aachen rhei...
2 篇 federal universi...
2 篇 seoul natl univ ...
2 篇 vrije univ bruss...
2 篇 univ amsterdam i...
2 篇 beijing institut...
2 篇 tampere univ tec...
2 篇 computer enginee...
2 篇 intel corp mobil...
2 篇 school of comput...
2 篇 department of co...
2 篇 univ wisconsin d...
2 篇 vienna univ tech...
2 篇 tampere univ tec...
2 篇 sandbridge techn...
2 篇 rhein westfal th...

作者

6 篇 pimentel andy d.
6 篇 hamalainen timo ...
5 篇 catthoor francky
5 篇 vassiliadis stam...
4 篇 thompson mark
4 篇 berekovic mladen
4 篇 polstra simon
4 篇 takala jarmo
4 篇 hannikainen mark...
3 篇 erbas cagkan
3 篇 dutt nikil
3 篇 blume holger
3 篇 kohvakka mikko
3 篇 bertels koen
3 篇 vassiliadis s
2 篇 salminen erno
2 篇 herber paula
2 篇 gurun selim
2 篇 wong stephan
2 篇 jhon chu shik

语言

360 篇 英文
1 篇 中文

检索条件"任意字段=6th International Workshop on Embedded Computer Systems - Architectures, Modeling and Simulation"

共 361 条记录，以下是21-30 订阅

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

详细简洁

排序：

Relaxed Subgraph Execution Model for the throughput Evaluation of IBSDF Graphs 17

Relaxed Subgraph Execution Model for the Throughput Evaluati...

引用

17th Annual international Conference on embedded computer systems - architectures, modeling, and simulation (SAMOS)

作者： Deroui, Hamza Desnos, Karol Nezan, Jean-Francois Munier-Kordon, Alix IETR INSA Rennes CNRS UMR 6164 Rennes France Sorbonne Univ UPMC UMR 7606 LIP6 Paris France

ISBN: (纸本)9781538634370

the Interface-Based Synchronous Dataflow (IBSDF) Model of Computation (MoC) is a hierarchical extension of the well-known Synchronous Dataflow (SDF) MoC. the IBSDF model extends the semantics of the SDF model by introducing a graph composition mechanism based on hierarchical interfaces. the IBSDF model introduces also execution rules to ease the analysis of the IBSDF graph such as evaluating the throughput;an essential key performance to evaluate when designing Digital Signal Processing (DSP) systems. However, respecting the execution rules may slow down the execution of IBSDF graphs, and so stop the applications to reach their maximum throughput. this article presents first how to speed-up the execution of an IBSDF graph by relaxing the execution rules. Second, a new method to compute the throughput of IBSDF graphs under a relaxed execution. Finally, a performance comparison between the proposed method and basic methods that rely on a transformation of the IBSDF graph to an equivalent non-hierarchical graph of potentially exponential size. the proposed method outperforms basic methods and makes it possible to evaluate the maximum throughput of large IBSDF graphs in less than 2 seconds.

关键词： throughput Schedules Computational modeling Programming Production Electronic mail Analytical models

来源：评论

学校读者我要写书评

暂无评论

Balanced Application-Specific Processor System for Efficient SIFT-Feature Detection 17

Balanced Application-Specific Processor System for Efficient...

引用

17th Annual international Conference on embedded computer systems - architectures, modeling, and simulation (SAMOS)

作者： Hartig, Julian Paya-Vaya, Guillermo Mentzer, Nico Blume, Holger Leibniz Univ Hannover Inst Microelect Syst Appelstr 4 D-30167 Hannover Germany

ISBN: (纸本)9781538634370

Due to its computational complexity, the Scale-Invariant Feature Transform (SIFT) algorithm poses a challenge for use in embedded applications. To meet real-time at low power, hardware acceleration is necessary. this paper presents an FPGA-based balanced processor system for real-time SIFT feature detection, containing a dedicated hardware coprocessor coupled to a custom VLIW soft-core processor using a FIFO memory. the coprocessor calculates the scale-space and performs the extrema detection for the extraction of feature candidates, whereas the VLIW soft-core processor performs sub-pixel localization and stability checks to get stable SIFT-features. the system achieves a peak frame rate of up to 338 fps on 1,024x376 px images at less than 3 W on a Xilinx Virtex-6 FPGA. the filters within the Gaussian pyramid operate in a time-multiplexed scheme on clock frequencies up to 400 MHz. Furthermore, this paper presents a comprehensive design space exploration, evaluating architectural performance, hardware resources and power consumption trade-offs as well as exposing performance-balanced and pareto-optimal design variants.

关键词： Feature extraction Hardware Field programmable gate arrays Coprocessors VLIW throughput Real-time systems Field programmable gate arrays Coprocessors Very long instruction word computer hardware real-time systems Feature extraction throughput PROCESSOR feature detections soft-core

来源：评论

学校读者我要写书评

暂无评论

Attack modeling for system security analysis: (position paper)

Attack modeling for system security analysis: (position pape...

引用

international Conference on computer Safety, Reliability, and Security, SAFECOMP 2017 and 5th international workshop on Assurance Cases for Software-Intensive systems, ASSURE 2017, 12th workshop on Dependable embedded and Cyber-physical systems and systems-of systems, DECSoS 2017, 6th international workshop on Next Generation of System Assurance Approaches for Safety Critical systems, SASSUR 2017, 3rd international workshop on Technical and Legal Aspects of Data Privacy and Security, TELERISE 2017 and 2nd international workshop on the Timing Performance in Safety Engineering, TIPS 2017

作者： Altawairqi, Abdullah Maarek, Manuel Heriot-Watt University Edinburgh United Kingdom

ISBN: (纸本)9783319662831

Approaches to the safety analysis of software-intensive systems are being adapted to also provide security assurance. Extensions have been proposed to reflect the specific nature of security analysis by introducing intention as a causal factor to reaching unsafe state of the system, or by introducing new layers in the system modelling to model its surface of attack. In this paper we propose to extend these approaches by modelling the attacks perspective alongside the system. We explain how such modelling could be used to verify the coverage of the security analysis and facilitate its maintenance. © Springer international Publishing AG 2017.

关键词： Security systems

来源：评论

学校读者我要写书评

暂无评论

System-Level Design and Virtual Prototyping of a Telecommunication Application on a NUMA Platform

System-Level Design and Virtual Prototyping of a Telecommuni...

引用

international workshop on Reconfigurable Communication-Centric systems-on-Chip (ReCoSoC)

作者： Daniela Genius Ludovic Apvrille LIP6 Sorbonne Université LTCI Université Paris-Saclay

the use of model-driven approaches for embedded system design has become a common practice. Among these model-driven approaches, only a few of them include the generation of a full-system simulation comprising operating system, code generation for tasks and hardware simulation models. Even less common is the extension to massively parallel, NoC based designs, such as required for high performance streaming applications where dozens of tasks are replicated onto identical general purpose processor cores of a Multi-processor System-on-chip (MP-SoC). We present the extension of a system-level tool to handle clustered Network-on-Chip (NoC) with virtual prototyping platforms. On the one hand, the automatic generation of the virtual prototype becomes more complex as topcell, address mapping and linker script have to be adapted. On the other hand, the exploration of the design space is particularly important for this class of applications, as performance may strongly be impacted by Non Uniform Memory Access (NUMA).

关键词： Task analysis Software Hardware computer architecture Unified modeling language Engines Coprocessors

来源：评论

学校读者我要写书评

暂无评论

A survey of hardware technologies for mixed-critical integration explored in the project EMC2

A survey of hardware technologies for mixed-critical integra...

引用

作者： Isakovic, Haris Grosu, Radu Ratasich, Denise Kadlec, Jiri Pohl, Zdenek Kerrison, Steve Georgiou, Kyriakos Eder, Kerstin Druml, Norbert Tadros, Lillian Christensen, Flemming Wheatley, Emilie Farkas, Bastian Meyer, Rolf Berekovic, Mladen Institute of Computer Engineering Vienna University of Technology Vienna Austria Institute of Information Theory and Automation Prag Czech Republic Department of Computer Science University of Bristol Bristol United Kingdom Infineon Technologies Austria AG Graz Austria Technische Universität Dortmund Dotrmund Germany Sundance Multiprocessor Technology Chesham United Kingdom Technische Universität Braunschweig Braunschweig Germany

ISBN: (纸本)9783319662831

In the sandbox world of cyber-physical systems and internet-of-things a number of applications is only eclipsed by a number of products that provide solutions for specific problem or set of problems. Initiatives like the European project $$EMC^2$$ serve as cross-disciplinary incubators for novel technologies and fuse them together with state-of-the-art industrial applications. this paper reflects on challenges in scope of hardware architectures and related technologies. It also provides a short overview of several technologies explored in the project that provide bridging solutions for these problems. © Springer international Publishing AG 2017.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Closed-Loop verification approach for the identification of motion-based action potentials in neural bundles using a continuous symbiotic system 6

Closed-Loop verification approach for the identification of ...

引用

6th international workshop on Innovative simulation for Health Care, IWISH 2017

作者： Klinger, Volkhard Bohlmann, Sebastian Department of Embedded Systems University of Applied Science Hannover HannoverD-30173 Germany Institute of Applied Mathematics Gottfried Wilhelm Leibniz University HannoverD-30167 Germany

ISBN: (纸本)9781510847699

the identification and the corresponding verification of motion- A nd sensory feedback-based action potentials in peripheral nerves are prerequisites for applications like prosthesis control or limb stimulation in medical technology. After a description of a prototype of a biosignal acquisition and identification system we introduce the symbiotic cycle, based on the well-known term symbiotic simulation (Aydt, Turner, Cai, and Low 2008), (Aydt, Turner, Cai, and Low 2009). As an example we present a data driven method to create a human readable model without using presampled data. this method consists of symbiotic continuous system combining a physical system, a simulation system and an agent based machine learning system. All components in the system interact in a symbiotic way. the result of each component is used as an input by the others and vice versa. Finally bootstrapping as a direct consequence of the symbiotic interaction is trivial for all components. the closed-loop identification method is integrated into this symbiotic cycle. this verification approach is the main focus of the paper.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

Safe implementation of mixed-criticality applications in multicore platforms: A model-based design approach

Safe implementation of mixed-criticality applications in mul...

引用

作者： Antonante, Pasquale Valverde-Alcalá, Juan Basagiannis, Stylianos Di Natale, Marco United Technologies Research Center Cork Ireland Scuola Superiore Sant’Anna Pisa Italy

ISBN: (纸本)9783319662831

Application complexity in safety-critical systems is currently creating an immediate need to employ new model-based approaches to ensure system’s safe operation in high performances. At the same time, hardware evolution through multicore and hybrid architectures, while serving performance requirements, has not been realized as a safe and technology-ready solution to be employed in critical domains. In this paper, we report our experiences on the development of a model-based design workflow for safety assurance in mixed-critical applications executed on multicore platforms. Starting from our application specification, we develop intermediate models and extract configuration parameters that help us define a task optimization problem. Tasks composing the application will be weighted according to their criticality degree, allowing us to solve an optimization problem for safe resource and time partitioning at the available multicore resources. Based on code-generation techniques, we automatically generate an optimal and safe schema to be implemented in a real-time operating system, safeguarding the multicore resources from errors while executing the tasks. Indicative results are being presented by a prototype tool developed for a case study while we reason about the applicability of the approach. © Springer international Publishing AG 2017.

关键词： computer operating systems

来源：评论

学校读者我要写书评

暂无评论

Fast estimation of privacy risk in human mobility data

Fast estimation of privacy risk in human mobility data

引用

作者： Pellungrini, Roberto Pappalardo, Luca Pratesi, Francesca Monreale, Anna Department of Computer Science University of Pisa Pisa Italy ISTI-CNR Pisa Italy

ISBN: (纸本)9783319662831

Mobility data are an important proxy to understand the patterns of human movements, develop analytical services and design models for simulation and prediction of human dynamics. Unfortunately mobility data are also very sensitive, since they may contain personal information about the individuals involved. Existing frameworks for privacy risk assessment enable the data providers to quantify and mitigate privacy risks, but they suffer two main limitations: (i) they have a high computational complexity;(ii) the privacy risk must be re-computed for each new set of individuals, geographic areas or time windows. In this paper we explore a fast and flexible solution to estimate privacy risk in human mobility data, using predictive models to capture the relation between an individual’s mobility patterns and her privacy risk. We show the effectiveness of our approach by experimentation on a real-world GPS dataset and provide a comparison with traditional methods. © Springer international Publishing AG 2017.

关键词： Risk assessment

来源：评论

学校读者我要写书评

暂无评论

Digital Proceedings of the 24th EG-ICE international workshop on Intelligent Computing in Engineering 2017

Digital Proceedings of the 24th EG-ICE International Worksho...

引用

24th EG-ICE international workshop on Intelligent Computing in Engineering 2017

the proceedings contain 34 papers. the topics discussed include: impact of zoning strategies for building performance simulation;towards energy efficient operational patterns in air handling units in highly sensed buildings;an embedded algorithm for detecting and accommodating synchronization effects in wireless SHM systems;a computational paradigm for the optimisation of steel building structures based on cost and carbon indexes in early design stages;collaborative BIM reconstruction on mobile consumer devices;construction health and safety management { a methodological review towards a smart and holistic approach;application of graph databases and graph theory concepts for advanced analysing of BIM models based on IFC standard;using a knowledge based system for automatic site equipment planning;parametric information modelling of mechanised tunnelling projects for multi-level decision support;computer technology for serious gaming in education: a literature review;deep neural network architectures for component-based machine learning model in building energy predictions;ifc-based modeling of cyber-physical systems in civil engineering;framework for shared visualization and real-time information flow to the construction site;and a case study application of unmanned aerial systems (UAS) on highway construction projects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ExplicitCase: Integrated model-based development of system and safety cases

ExplicitCase: Integrated model-based development of system a...

引用

作者： Cârlan, Carmen Barner, Simon Diewald, Alexander Tsalidis, Alexandros Voss, Sebastian fortiss GmbH Munich Germany

ISBN: (纸本)9783319662831

Tools for creating safety cases currently on the market target safety experts, whose main concern is the management of safety cases. However, for safety assurance, safety experts should collaborate with technical experts, who have better understanding of technical and operational hazards. thus, there should be a closer collaboration between the management of safety cases and technical expertise. Technical expertise may be retrieved, among others, from model-based system artifacts and processes. In order to close the gap between safety and technical expertise, we present ExplicitCase, an open-source tool for semi-automatic modeling, maintenance, and verification of safety cases integrated with system models. the advantage of this tool is two-fold. First, it enables its users to capture safety relevant information from model-based artifacts into safety cases. Second, it makes the safety cases rationale available to engineers in order to help them reason about design choices, while minding safety concerns. We evaluate the approach and the implemented tool based on the experiences obtained in a project use case. © Springer international Publishing AG 2017.

关键词： Open systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共37页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：