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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

70 篇 会议
15 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

46 篇 工学
- 41 篇 计算机科学与技术...
- 30 篇 软件工程
- 7 篇 控制科学与工程
- 5 篇 信息与通信工程
- 4 篇 电气工程
- 2 篇 机械工程
- 2 篇 动力工程及工程热...
- 2 篇 建筑学
- 1 篇 力学（可授工学、理...
- 1 篇 仪器科学与技术
- 1 篇 土木工程
- 1 篇 化学工程与技术
- 1 篇 船舶与海洋工程
- 1 篇 生物工程
- 1 篇 安全科学与工程
- 1 篇 网络空间安全
18 篇 理学
- 9 篇 数学
- 4 篇 物理学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 1 篇 化学
- 1 篇 海洋科学
- 1 篇 生物学
14 篇 管理学
- 9 篇 图书情报与档案管...
- 7 篇 管理科学与工程(可...
- 3 篇 工商管理
- 1 篇 公共管理
2 篇 法学
- 2 篇 社会学
- 1 篇 政治学
1 篇 文学
- 1 篇 新闻传播学

主题

8 篇 software enginee...
5 篇 computer archite...
5 篇 semantics
4 篇 task analysis
4 篇 predictive model...
4 篇 software
4 篇 intelligent syst...
3 篇 service oriented...
3 篇 ontologies
3 篇 internet
3 篇 analytical model...
3 篇 humans
3 篇 hardware
3 篇 management of co...
3 篇 data models
3 篇 web services
2 篇 computer science
2 篇 information syst...
2 篇 tuning
2 篇 reliability

机构

17 篇 institute for pr...
15 篇 institute for pr...
8 篇 karlsruhe instit...
6 篇 institute for pr...
3 篇 department of st...
3 篇 institute for pr...
2 篇 department of ma...
2 篇 software enginee...
2 篇 software enginee...
2 篇 mayflower gmbh m...
2 篇 department of co...
2 篇 institute of com...
2 篇 institute for pr...
2 篇 program structur...
2 篇 corporate resear...
2 篇 department of co...
1 篇 computer science...
1 篇 institute of pro...
1 篇 institute for in...
1 篇 chair for public...

作者

9 篇 walter f. tichy
7 篇 tichy walter f.
7 篇 böhm klemens
7 篇 klemens böhm
6 篇 weigelt sebastia...
5 篇 ralf reussner
4 篇 tobias hey
4 篇 hütter christian
4 篇 klemens bohm
4 篇 christian hütter
4 篇 sebastian weigel...
3 篇 wilhelm hasselbr...
3 篇 vanessa steurer
3 篇 birgit vogel-heu...
3 篇 szabó zoltán
3 篇 klein michael
3 篇 reussner ralf
3 篇 kalinke florian
2 篇 piotr rygielski
2 篇 christian von de...

语言

88 篇 英文
1 篇 其他

检索条件"机构=Institute for Program Structures and Data Organization Karlsruhe Institute of Technology"

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

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

详细简洁

排序：

Architecture-driven reduction of specification overhead for verifying confidentiality in component-based software systems

Architecture-driven reduction of specification overhead for ...

引用

2017 MODELS Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, MODEL-SSE 2017

作者： Yurchenko, Kateryna Behr, Moritz Klare, Heiko Kramer, Max Reussner, Ralf Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany

Code verification techniques can be used to guarantee that some of the information processed in software systems remains confidential. For this, allowed information flows have to be specified for the system under analysis. Reducing the specification overhead could render code verification feasible where verification was considered too complex or costly so far. In this paper, we introduce a model-driven approach to reduce the overhead for creating and maintaining such specifications. Independent of the verification input format, developers can specify confidentiality for component-based architecture models, which are kept consistent with object-oriented code. They are supported in adapting the specifications to evolving systems in order to detect information leaks with less e ort and in earlier development stages.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Context Model Acquisition from Spoken Utterances

Context Model Acquisition from Spoken Utterances

引用

作者： Weigelt, Sebastian Hey, Tobias Tichy, Walter F. Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe76131 Germany

Current systems with spoken language interfaces do not leverage contextual information. Therefore, they struggle with understanding speakers' intentions. We propose a system that creates a context model from user utterances to overcome this lack of information. It comprises eight types of contextual information organized in three layers: individual, conceptual, and hierarchical. We have implemented our approach as a part of the project PARSE. It aims at enabling laypersons to construct simple programs by dialog. Our implementation incrementally generates context including occurring entities and actions as well as their conceptualizations, state transitions, and other types of contextual information. Its analyses are knowledge- or rule-based (depending on the context type), but we make use of many well-known probabilistic NLP techniques. In a user study we have shown the feasibility of our approach, achieving F1 scores from 72% up to 98% depending on the type of contextual information. The context model enables us to resolve complex identity relations. However, quantifying this effect is subject to future work. Likewise, we plan to investigate whether our context model is useful for other language understanding tasks, e.g. anaphora resolution, topic analysis, or correction of automatic speech recognition errors. © 2017 World Scientific Publishing Company.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

NLCI – A Natural Language Command Interpreter

NLCI – A Natural Language Command Interpreter

引用

Software Engineering 2017

作者： Landhäußer, Mathias Weigelt, Sebastian Tichy, Walter F. Karlsruhe Institute of Technology Institute for Program Structures and Data Organization Am Fasanengarten 5 Karlsruhe76131 Germany

来源：评论

学校读者我要写书评

暂无评论

A Collection of Software Engineering Challenges for Big data System Development

A Collection of Software Engineering Challenges for Big Data...

引用

Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

作者： Oliver Hummel Holger Eichelberger Andreas Giloj Dominik Werle Klaus Schmid Faculty of Computer Science Mannheim University of Applied Sciences Software Systems Engineering University of Hildesheim Institute for Program Structures and Data Organization Karlsruhe Institute of Technology

ISBN: (纸本)9781538673843

In recent years, the development of systems for processing and analyzing large amounts of data (so-called Big data) has become an important sub-discipline of software engineering. However, to date there exits no comprehensive summary of the specific idiosyncrasies and challenges that the development of Big data systems imposes on software engineers. With this paper, we aim to provide a first step towards filling this gap based on our collective experience from industry and academic projects as well as from consulting and initial literature reviews. The main contribution of our work is a concise summary of 26 challenges in engineering Big data systems, collected and consolidated by means of a systematic identification process. The aim is to make practitioners more aware of common challenges and to offer researchers a solid baseline for identifying novel software engineering research directions.

关键词： Big data Software Software engineering Computer architecture data analysis data privacy Systematics

来源：评论

学校读者我要写书评

暂无评论

Online-Autotuning in the Presence of Algorithmic Choice

Online-Autotuning in the Presence of Algorithmic Choice

引用

IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)

作者： Philip Pfaffe Martin Tillmann Sigmar Walter Walter F. Tichy Karlsruhe Institute of Technology (KIT) Institute for Program Structures and Data Organization Karlsruhe Germany

In this paper we explore the problem of autotuning the choice of algorithm. For a given task, there may be multiple algorithms available, each of which may contain its own set of tunable parameters and may provide optimal performance under different sets of inputs. Algorithmic choice is a type of tuning parameter which has not been well studied in the history of autotuning. To close this gap, we examine established autotuning techniques with regard to their ability of handling these parameters. We discuss the inadequacy of the state-of-the-art autotuning toolbox in manipulating algorithmic choice parameters and introduce four strategies to tackle this task. We evaluate our strategies in two case studies of online-autotuning scenarios, both with and without additional, numeric tuning parameters. The strategies are able to determine the optimal algorithm, and can even interoperate with the autotuning of the additional parameters.

关键词： Tuning Algorithm design and analysis Runtime Optimization Genetic algorithms Approximation algorithms Classification algorithms

来源：评论

学校读者我要写书评

暂无评论

View-based and model-driven outage management for the smart grid 11

View-based and model-driven outage management for the smart ...

引用

11th International Workshop on Models at run.time, MRT 2016

作者： Burger, Erik Mittelbach, Victoria Koziolek, Anne Department for Software Design and Quality Karlsruhe Institute of Technology Institute for Program Structures and Data Organization Karlsruhe Germany

The integration of renewable energy resources is challenging the traditional electricity network. To manage this, the smart grid has been defined as a cyber-physical system consisting of a physical component, which is the electricity grid, and a computational component consisting of a communication network, metering network, and software components. Therefore, the smart grid can not just be seen as an electrical grid, but also as a system of software systems. Currently, control centers of the smart grid use an outage management software system to react to reported outages. In this paper, we present an extended outage management system that solves one main problem of the smart grid: software systems of the different domains are using different standards. Consequently, cross-domain data exchange and analysis are difficult. Therefore, we use the model-driven view-based VITRUVIUS approach to build a unified model of the smart grid. We then combine it with system stability analysis methods presented as views on the model. The result is a model-driven run-Time monitoring, analysis and control framework to increase the reliability of power supply. The evaluation with statistical data of the German power grid shows that outage time can be reduced with our approach.

关键词： Smart power grids

来源：评论

学校读者我要写书评

暂无评论

Online-Autotuning of Parallel SAH kD-Trees

Online-Autotuning of Parallel SAH kD-Trees

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： Martin Tillmann Philip Pfaffe Christopher Kaag Walter F. Tichy Institute of Program Structures & Data Organization Karlsruhe Institute of Technology Karlsruhe Germany

ISBN: (纸本)9781509021413

We explore the benefits of using online-autotuning to find an optimal configuration for the parallel construction of Surface Area Heuristic (SAH) kD-trees. Using a quickly converging autotuning mechanism, we achieve a significant performance improvement of up to 1.96x. The SAH kD-tree is a spatial data structure and a fundamental tool in the domain of computer graphics and simulations. The parallel construction of these trees is influenced by several parameters, controlling various aspects of the algorithm. However, the parameter configurations advocated in the literature are hardly ever portable. To boost portability, we apply online-autotuning to four state-of-the-art variants of parallel kD-tree construction. We show that speedups over the variants' standard configurations are possible with low programmer effort. We further demonstrate the performance portability of our approach by evaluating performance on varying multicore platforms and both static and dynamic geometries.

关键词： Tuning data structures Ray tracing Geometry Hardware Parallel algorithms Rendering (computer graphics)

来源：评论

学校读者我要写书评

暂无评论

Towards a common classification of changes for information and automated production systems as precondition for maintenance effort estimation

Towards a common classification of changes for information a...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： Birgit Vogel-Heuser Thomas Simon Jens Folmer Robert Heinrich Kiana Rostami Ralf Reussner Institute of Automation and Information Systems Technical University of Munich Munich Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technologies Karlsruhe Germany

ISBN: (纸本)9781509028719

Both information and automated production systems (aPS) evolve during their lifetime, e.g. due to changes in requirements and infrastructure. In order to estimate maintenance effort in information systems the KAMP method is applied. This paper discusses the necessary classification of changes as a prerequisite to apply such a method. Aggravating aPS consist not only of software but also include mechanics and electric/automation hardware. Therefore, the classification has to be enlarged to a multi-disciplinary one. The limitations of this approach for aPS are discussed in detail and demonstrated using three scenarios of a lab size pick and place unit. The paper closes delivering first ideas to cope with these.

关键词： Software Hardware Maintenance engineering Computer architecture Voltage control Cranes Production systems

来源：评论

学校读者我要写书评

暂无评论

Process verification and synthesis - The use case of commissioning processes in the automobile industry 22

Process verification and synthesis - The use case of commiss...

引用

22nd Doctoral Consortium, CAISE-DC 2015 at the 27th International Conference on Advanced Information Systems Engineering, CAiSE 2015

作者： Mrasek, Richard Institute for Program Structures and Data Organization Karlsruhe76131 Germany

In the automobile industry, commissioning process models describe the end-of-line manufacturing and testing of vehicles. Due to the increase of electronic components in modern vehicles, the process models tend to become more complex. At the same the number of different model series is constantly increasing leading to a larger amount of process models. The increase in process models and complexity lead to higher cost for the process design and decrease the quality of the individual process model. In this Ph.D. project we want to support process modeling. First, by developing a framework to test if a given process model fulfills all properties required (process verification). Second, we want to support the process design by approaches for a semiautomatic generation of process models (process synthesis). Third, for process verification and process synthesis one needs a specification of the allowed behavior of the process models.

关键词： Automotive industry

来源：评论

学校读者我要写书评

暂无评论

Palladio optimization suite: QoS optimization for component-based cloud applications 9

Palladio optimization suite: QoS optimization for component-...

引用

9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015

作者： Ciavotta, Michele Ardagna, Danilo Koziolek, Anne Politecnico di Milano Dipartimento di Elettronica Informazione e Bioingegneria Italy Karlsruhe Institute of Technology Institute for Program Structures and Data Organization Italy

ISBN: (纸本)9781631900969

One important issue in software engineering is to find an effective way to deal with the increasing complexity of software computing system. Modern software applications have evolved in terms of size and scope. Specific tools have been created to predict the Quality of Service (QoS) at designtime. However, the optimization of an architecture usually has to be done manually, resulting in an arduous and timeconsuming process. For this reason, we present the Palladio Optimization Suite (POS), a collection of complementary plugins realized to run atop Palladio Bench with the aim of automatizing the exploration of the space of possible architectures by means of advanced search paradigms. © Copyright 2016 ICST.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：