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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,722 篇 会议
57 册 图书
53 篇 期刊文献

馆藏范围

2,832 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,288 篇 工学
- 1,119 篇 计算机科学与技术...
- 591 篇 软件工程
- 286 篇 电气工程
- 158 篇 电子科学与技术（可...
- 150 篇 控制科学与工程
- 137 篇 信息与通信工程
- 50 篇 机械工程
- 44 篇 动力工程及工程热...
- 19 篇 仪器科学与技术
- 19 篇 建筑学
- 18 篇 材料科学与工程（可...
- 18 篇 安全科学与工程
- 17 篇 土木工程
- 16 篇 生物医学工程（可授...
- 14 篇 交通运输工程
- 14 篇 航空宇航科学与技...
- 13 篇 力学（可授工学、理...
- 12 篇 生物工程
- 11 篇 光学工程
275 篇 理学
- 173 篇 数学
- 81 篇 系统科学
- 38 篇 物理学
- 33 篇 统计学（可授理学、...
- 14 篇 化学
- 14 篇 生物学
142 篇 管理学
- 119 篇 管理科学与工程(可...
- 52 篇 工商管理
- 30 篇 图书情报与档案管...
21 篇 经济学
- 21 篇 应用经济学
20 篇 法学
- 20 篇 社会学
11 篇 医学
6 篇 教育学
5 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

763 篇 computational mo...
616 篇 computer archite...
361 篇 hardware
222 篇 embedded systems
144 篇 analytical model...
142 篇 embedded system
134 篇 computer simulat...
128 篇 application soft...
123 篇 mathematical mod...
116 篇 field programmab...
112 篇 real time system...
103 篇 program processo...
90 篇 embedded computi...
89 篇 kernel
84 篇 software
83 篇 computer science
82 篇 parallel process...
81 篇 registers
73 篇 control systems
72 篇 algorithm design...

机构

10 篇 school of electr...
9 篇 rhein westfal th...
8 篇 institute for co...
8 篇 center for embed...
7 篇 center for embed...
7 篇 department of co...
6 篇 eindhoven univer...
6 篇 computer systems...
6 篇 natl tech univ a...
6 篇 computer systems...
6 篇 institute for co...
6 篇 fraunhofer iese ...
5 篇 school of automa...
5 篇 school of electr...
5 篇 university of za...
5 篇 embedded systems...
5 篇 university of te...
5 篇 national cims en...
5 篇 the university o...
5 篇 eindhoven univer...

作者

19 篇 leupers rainer
16 篇 soudris dimitrio...
16 篇 ascheid gerd
14 篇 dimitrios soudri...
13 篇 rainer leupers
12 篇 gerd ascheid
12 篇 pimentel andy d.
11 篇 blume holger
11 篇 takala jarmo
11 篇 holger blume
10 篇 andy d. pimentel
10 篇 jung matthias
9 篇 mohamed abid
9 篇 fornaciari willi...
9 篇 pnevmatikatos di...
9 篇 kostas siozios
9 篇 christian haubel...
9 篇 andreas gerstlau...
9 篇 wehn norbert
8 篇 f. fummi

语言

2,820 篇 英文
9 篇 中文
4 篇 其他

检索条件"任意字段=International Conference on Embedded Computer Systems Architectures Modeling and Simulation"

共 2832 条记录，以下是721-730 订阅

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

详细简洁

排序：

Approximate acceleration: A path through the era of dark silicon and big data

Approximate acceleration: A path through the era of dark sil...

引用

Proceedings of the international conference on Compilers, architectures and Synthesis for embedded systems (CASES)

作者： Hadi Esmaeilzadeh School of Computer Science Georgia Institute of Technology

We have focused on two major research directions that leverage approximation to provide cross-stack solutions for (1) accelerating computation and (2) addressing the bottlenecks of data communication and storage.

关键词： Approximation methods Computational modeling Acceleration Big data Accuracy Approximation algorithms Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

An Extensible Autonomous Reconfiguration Framework for Complex Component-Based embedded systems

An Extensible Autonomous Reconfiguration Framework for Compl...

引用

international conference on Autonomic Computing (ICAC)

作者： Johannes Schlatow Mischa Moestl Rolf Ernst Institute of Computer and Network Engineering TU Braunschweig

We present a framework based on constraint satisfaction that adds self-integration capabilities to component-based embedded systems by identifying correct compositions of the desired components and their dependencies. This not only allows autonomous integration of additional functionality but can also be extended to ensure that the new configuration does not violate any extra-functional requirements, such as safety or security, imposed by the application domain.

关键词： embedded systems Encoding Contracts Adaptation models modeling Component architectures computer architecture

来源：评论

学校读者我要写书评

暂无评论

Implementation of Dynamic Semantic Evolution of embedded systems

Implementation of Dynamic Semantic Evolution of Embedded Sys...

引用

Asia international conference on modeling & simulation

作者： J. Sasi Bhanu Vinaya Babu P. Trimurthu Department of Computer Science and Engineering JNTUH

ISBN: (纸本)9781467383240

embedded systems which are used for monitoring and controlling safety and mission critical systems cannot be shut down for want of making changes to the ES software for the reasons of updating, adding and deleting tasks. ES software must evolve dynamically while the software is up and running due to the criticality reasons. Many architectures have been presented related to loaded systems and few related to embedded systems for effecting semantic evolution of the embedded software. Dynamic evolution of embedded software is quite complicated due to the availability of fewer resources and especially when the evolution has to be carried under the influence of a real time operating system (RTOS). In this paper the implementation of dynamic semantic evolution of embedded software which runs under an RTOS has been presented.

关键词： Java C++ languages Semantics Safety embedded systems computer architecture

来源：评论

学校读者我要写书评

暂无评论

13th international conference on Software Engineering and Formal Methods, SEFM 2015 Collocated with ATSE, HOFM, MoKMaSD, and VERY SCART

13th International Conference on Software Engineering and Fo...

引用

13th international conference on Software Engineering and Formal Methods, SEFM 2015

ISBN: (纸本)9783662492239

The proceedings contain 25 papers. The special focus in this conference is on ATSE 2015 and HOFM 2015. The topics include: Learning-based testing of distributed microservice architectures;the synergy between user experience design and software testing;combining time and concurrency in model-based statistical testing of embedded real-time systems;towards supporting agile combinatorial test design;behavioral types for component-based development of cyber-physical systems;refactoring proofs with tactician;exploring the role of logic and formal methods in information systems education;type-based enforcement of programming guidelines;clustering formulation using constraint optimization;towards a boosted route planner using individual mobility models;design of a business-to-government information sharing architecture using business rules;beyond the domain of business process management;on integrating social and sensor networks for emergency management;quantitative modelling of residential smart grids;attributed probabilistic p systems and their application to the modelling of social interactions in primates;probabilistic modelling and analysis of a fish population;a tool for the modelling and simulation of ecological systems based on grid systems;distributed coordinated adaptation of cloud-based applications;fuzzy description logics for component selection in software design;towards adapting choreography-based service compositions through enterprise integration patterns;an experimental evaluation on runtime verification of self-adaptive systems in the presence of uncertain transition probabilities;towards automatic decision support for bike-sharing system design and automated synthesis of protocol converters with BALM-II.

关键词：

来源：评论

学校读者我要写书评

暂无评论

10th international conference on Large-Scale Scientific Computing, LSSC 2015

10th International Conference on Large-Scale Scientific Comp...

引用

10th international conference on Large-Scale Scientific Computing, LSSC 2015

ISBN: (纸本)9783319265193

The proceedings contain 49 papers. The special focus in this conference is on Multilevel Methods on Graphs, Mathematical modeling and Analysis of PDEs Describing Physical Problems. The topics include: Preconditioners for mixed FEM solution of stationary and nonstationary porous media flow problems;fast constrained image segmentation using optimal spanning trees;on computer simulation of fluid-porous structure interaction problems for a class of filtration problems;spin-based CMOS-compatible devices;shortest-path queries in planar graphs on GPU-accelerated architectures;a numerical approach to price path dependent asian options;operator-difference scheme with a factorized operator;computational identification of the right hand side of the parabolic equations in problems of filtration;algebraic multigrid based preconditioners for fluid-structure interaction and its related sub-problems;functional differential model of an anaerobic biodegradation process;time-optimal control problem in the space of probability measures;sufficient conditions for small time local attainability for a class of control systems;financing the reduction of emissions from deforestation;relaxation of euler-type discrete-time control system;uncertainty quantification for porous media flow using multilevel monte carlo;on the preconditioned quasi-monte carlo algorithm for matrix computations;energy performance evaluation of quasi-monte carlo algorithms on hybrid HPC;towards RBF interpolation on heterogeneous HPC systems;on the relation between matrices and the greatest common divisor of polynomials;distributed evolutionary computing migration strategy by incident node participation;slot machine RTP optimization and symbols wins equalization with discrete differential evolution and application of ants ideas on image edge detection.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Application modeling for Scalable simulation of Massively Parallel systems

Application Modeling for Scalable Simulation of Massively Pa...

引用

IEEE international conference on High Performance Computing and Communications (HPCC)

作者： Eric Anger Damian Dechev Gilbert Hendry Jeremiah Wilke Sudhakar Yalamanchili Georgia Institute of Technology Atlanta Georgia University of Central Florida Orlando Florida Sandia National Laboratories Livermore California

Macro-scale simulation has been advanced as one tool for application -- architecture co-design to express operation of exascale systems. These simulations approximate the behavior of system components, trading off accuracy for increased evaluation speed. Application skeletons serve as the vehicle for these simulations, but they require accurately capturing the execution behavior of computation. The complexity of application codes, the heterogeneity of the platforms, and the increasing importance of simulating multiple performance metrics (e.g., execution time, energy) require new modeling techniques. We propose flexible statistical models to increase the fidelity of application simulation at scale. We present performance model validation for several exascale mini-applications that leverage a variety of parallel programming frameworks targeting heterogeneous architectures for both time and energy performance metrics. When paired with these statistical models, application skeletons were simulated on average 12.5 times faster than the original application incurring only 6.08% error, which is 12.5% faster and 33.7% more accurate than baseline models.

关键词： Computational modeling Skeleton Analytical models Load modeling Hardware Predictive models Data models

来源：评论

学校读者我要写书评

暂无评论

architectures for distributed, interactive and integrated traffic simulations

Architectures for distributed, interactive and integrated tr...

引用

international conference on Models and Technologies for Intelligent Transportation systems (MT-ITS)

作者： Jayanth Raghothama Mohammed Azhari Miguel Ramos Carretero Sebastiaan Meijer School of Technology and Health KTH Royal Institute of Technology Stockholm Sweden

The rapid development of Intelligent Transport systems has created new objectives and requirements for traffic simulation models. The development of visualization, procedural modeling, decision support requirements mean that simulation models need to satisfy different requirements. The chapter presents methods and tools to create distribute, integrated and interactive transport simulations, to enable the holistic exploration of complex transport systems, to test different strategies for monitoring and control and for training personnel. The integrated simulation is built leveraging gaming technologies, integrating commercial or off-the-shelf simulations using methods from distributed simulation and procedural modeling techniques.

关键词： Computational modeling Vehicles Data models Databases Engines Roads computer architecture

来源：评论

学校读者我要写书评

暂无评论

Design methodologies for securing cyber-physical systems 15

Design methodologies for securing cyber-physical systems

引用

international conference on Hardware/Software Codesign and System Synthesis (CODES)

作者： Mohammad Al Faruque Francesco Regazzoni Miroslav Pajic Dept. of Electrical Engineering & Computer Science University of California Irvine CA USA ALaRI Institute University of Lugano Lugano Switzerland Dept. of Electrical and Computer Engineering Duke University Durham NC USA

ISBN: (纸本)9781467383219

Cyber-Physical systems (CPS) are in most cases safety- and mission-critical. Standard design techniques used for securing embedded systems are not suitable for CPS due to the restricted computation and communication budget available in the latter. In addition, the sensitivity of sensed data and the presence of actuation components further increase the security requirements of CPS. To address these issues, it is necessary to provide new design methods in which security is considered from the beginning of the whole design flow and addressed in a holistic way. In this paper, we focus on the design of secure CPS as part of the complete CPS design process, and provide insights into new requirements on platform-aware design of control components, design methodologies and architectures posed by CPS design. We start by discussing methods for the multi-disciplinary modeling, simulation, tools, and software synthesis challenges for CPS. We also present a framework for design of secure control systems for CPS, while taking into account properties of the underlying computation and communication platforms. Finally, we describe the security challenges in the computing hardware that is used in CPS.

关键词： Analytical models Computational modeling Biological system modeling computer security Process control Control systems

来源：评论

学校读者我要写书评

暂无评论

Building a hybrid systems modeler from synchronous language principles

Building a hybrid systems modeler from synchronous language ...

引用

Proceedings of the international conference on embedded Software (EMSOFT)

作者： Marc Pouzet D1 Ecole normale superieure

Hybrid systems modeling languages are widely used in the development of embedded systems. Two representatives are Simulink/Stateflow 1 that combine Ordinary Differential Equations (ODEs), data-flow and difference equations, hierarchical automata a la StateCharts [14] together with imperative features; and the Modelica language [1] 2 based on DAEs with features for modeling discrete components. Ptolemy II 3 is another example in which several models of computation are combined [15]. The formal verification of hybrid systems has been extensively studied [9]. Yet, we share the viewpoint of Lee and Zheng that hybrid modeling languages are best viewed as programming languages that happen to have a hybrid systems semantics [16, 17]. This raises important questions related to their design, semantics and implementation, to get efficient and reliable simulations as well as provably equivalent embedded target code. While sequential code generation in hybrid modeling tools is routinely used for efficient simulation, it is little used or not used at all to produce target embedded code in critical applications that are submitted to strong safety requirements. This results in a break in the development chain: parts of applications must be rewritten into sequential code and all properties verified on the source model cannot be trusted and have to be reverified on the target code.

关键词： Computational modeling Mathematical model Semantics Object oriented modeling embedded systems Automata computer languages

来源：评论

学校读者我要写书评

暂无评论

international Workshops on Parallel Processing, Euro-Par 2015

International Workshops on Parallel Processing, Euro-Par 201...

引用

international Workshops on Parallel Processing Workshops, Euro-Par 2015

ISBN: (纸本)9783319273075

The proceedings contain 66 papers. The special focus in this conference is on BigDataCloud and Euro-EDUPAR. The topics include: Distributed range-based meta-data management for an in-memory storage;network-based data processing architecture for reliable and high-performance distributed storage system;file-less approach to large scale data management;parallel computing vs. distributed computing;a web-based automated assessment tool for teaching parallel programming;teaching parallel programming in interdisciplinary studies;on-line service for teaching parallel programming;challenges of a systematic approach to parallel computing and supercomputing education;teaching heart modeling and simulation on parallel computing systems;integration of ICT in concurrent and parallel programming lectures;high-performance computing meets engineering;an educational module illustrating how sparse matrix-vector multiplication on parallel processors connects to graph partitioning;visualizing thread access on java objects using lightweight runtime monitoring;a randomized LU-based solver using GPU and intel xeon phi accelerators;identifying optimization opportunities within kernel execution in GPU codes;modeling contention and mapping effects in multi-core clusters;towards community detection on heterogeneous platforms;a design proposal for a next generation scientific software framework;accelerating direction-optimized breadth first search on hybrid architectures;a framework for accelerating nested simulations on heterogeneous platforms and communication models insights meet simulations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共284页 << < 69 70 71 72 73 74 75 76 77 78 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：