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

IEEE International Conference on Systems, Man and Cybernetics

作者： Birgit Vogel-Heuser S. Feldmann J. Folmer Susanne Rösch R. Heinrich K. Rostami R. Reussner Institute of Automation and Information Systems Technische Universitat München Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany

ISBN: (纸本)9781479986989

Information and automated production systems are long-living, evolvable systems. Consequently, modifications are performed to correct, improve or adapt the respective system. We introduce different approaches to analyze maintainability of software-intensive systems and propose two different case studies from the information and from the automated production systems domain as a basis to validate approaches on system evolution.

关键词： Computer architecture Software Adaptation models Automation Unified modeling language Software architecture IEC Standards

来源：评论

学校读者我要写书评

暂无评论

Difference-based conformance checking for Ecore metamodels

Difference-based conformance checking for Ecore metamodels

引用

Modellierung 2014

作者： Burger, Erik Toshovski, Aleksandar Institute for Programme Structures and Data Organization Karlsruhe Institute of Technology Am Fasanengarten 5 Karlsruhe76131 Germany

ISBN: (纸本)9783885796190

During modern model-driven development processes, generators and higherorder transformations are used to create metamodels with short life cycles. Since these metamodels often differ from each other only in small parts, instances as well as metamodels may be re-used if the difference between them does not lead to a violation of instance conformance. Existing co-evolution approaches describe this conformance based on change operators to a metamodel. Thus, they require that changes to the metamodels are carried out using special editors. To use this conformance for arbitrarily generated metamodels, we present a conformance validator for Ecore metamodels that is based on difference-based analysis. The validator has been implemented as a plug-in for the Eclipse framework. We demonstrate the completeness of our approach by covering state-of-the-art co-evolution change operators.

关键词： Abiotic

来源：评论

学校读者我要写书评

暂无评论

data Center Network Throughput Analysis Using Queueing Petri Nets

Data Center Network Throughput Analysis Using Queueing Petri...

引用

International Conference on Distributed Computing Systems Workshop

作者： Piotr Rygielski Samuel Kounev Institute for Program Structures and Data Organization Karlsruhe Institute of Technology (KIT) Karlsruhe Germany

In this paper, we contribute performance modeling and analysis approach in computer networks. We present a meta-model designed for the performance modeling of network infrastructures in modern data centers. Instances of our meta-model can be automatically transformed into stochastic simulation models for performance prediction. In this paper, we present a transformation to Queueing Petri Nets (QPNs). We show that despite the high level of abstraction of the QPN models, we are able to predict the utilization of resources with good accuracy within a short time.

关键词： Predictive models Analytical models Image color analysis Stochastic processes Protocols Cameras Throughput

来源：评论

学校读者我要写书评

暂无评论

Locating Parallelization Potential in Object-Oriented data structures

Locating Parallelization Potential in Object-Oriented Data S...

引用

IEEE International Parallel and Distributed Processing Symposium

作者： Korbinian Molitorisz Thomas Karcher Alexander Bieles Walter F. Tichy Institute for Program Structures and Data Organization (IPD) Karlsruhe Institute of Technology (KIT)

ISBN: (纸本)9781479938018

The free lunch of ever increasing single-processor performance is over. Software engineers have to parallelize software to gain performance improvements. But not every software engineer is a parallel expert and with millions of lines of code that have not been developed with multicore in mind, we have to find ways to assist in identifying parallelization potential. This paper makes three contributions: 1) An empirical study of more than 900,000 lines of code reveals five use cases in the runtime profile of object-oriented data structures that carry parallelization potential. 2) The study also points out frequently used data structures in realistic software in which these use cases can be found. 3) We developed DSspy, an automatic dynamic profiler that locates these use cases and makes recommendations on how to parallelize them. Our evaluation shows that DSspy reduces the search space for parallelization by up to 77% and engineers only need to consider 23% of all data structure instances for parallelization.

关键词： Parallelization Detection Dynamic Analysis Tool

来源：评论

学校读者我要写书评

暂无评论

Recovering traceability links between code and specification through domain model extraction

Lecture Notes in Business Information Processing

引用

Lecture Notes in Business Information Processing 2014年 191卷 187-201页

作者： Vinárek, Jirři Hnětynka, Petr Šimko, Viliam Kroha, Petr Institute for Program Structures and Data Organisation Karlsruhe Institute of Technology Karlsruhe Germany Department of Distributed and Dependable Systems Charles University in Prague Malostranske namesti 25 Prague Czech Republic

Requirements traceability is an extremely important aspect of software development and especially of maintenance. Efficient maintaining of traceability links between high-level requirements specification and low-level implementation is hindered by many problems. In this paper, we propose a method for automated recovery of links between parts of the textual requirement specification and the source code of implementation. The described method is based on a method allowing extraction of a prototype domain model from plain text requirements specification. The proposed method is evaluated on two non-trivial examples. The performed experiments show that our method is able to link requirements with source code with the accuracy of F1 = 58 - 61%. © Springer International Publishing Switzerland 2014.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Soft reservations uncertainty-aware resource reservations in IaaS environments 3

Soft reservations uncertainty-aware resource reservations in...

引用

3rd International Symposium on Business Modeling and Software Design, BMSD 2013

作者： Mohammadi, Seyed Vahid Kounev, Samuel Juan-Verdejo, Adrian Surajbali, Bholanathsingh CAS Software A.G CAS-Weg 1-5 Karlsruhe Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany

ISBN: (纸本)9789898565563

Modern Infrastructure-as-a-Service (IaaS) provides flexible access to data center resources on demand in an elastic fashion to meet the highly variable workload requirements of cloud applications. Cloud providers aim to provision resources as efficiently and as quickly as possible to their consumers. However, the lack of information about the hosted applications and their workloads makes it hard for cloud providers to anticipate the future resource demands of their customers so that they can plan the capacity of their infrastructure. Cloud providers can receive arbitrary requests for allocating resources on-the-fly in a completely unpredictable manner. Given this unpredictability, it may happen that providers might not be able to provision the requested resources quickly enough, or in the worst case, they might ran out of capacity and may not be able to satisfy their customers resource demands. To address these concerns, in this paper we propose a new resource reservation mechanism, based on the concept of soft reservations, addressing the issue of uncertainty and lack of information concerning the expected future customer workloads and corresponding resource demands. The proposed resource reservation mechanism makes it possible for cloud providers to better plan the capacity of their infrastructure and continuously optimize the placement of virtual machines on physical nodes thus improving the infrastructure cost and energy efficiency. It also takes into account the uncertainty of resource demand estimations and enables proactive online capacity planning resulting in cost benefits for both cloud providers and cloud customers.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

An unabridged source code dataset for research in software reuse

An unabridged source code dataset for research in software r...

引用

International Mining Software Repositories, MSR

作者： Werner Janjic Oliver Hummel Marcus Schumacher Colin Atkinson Software-Engineering Group University of Mannheim Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany

ISBN: (纸本)9781467329347

This paper describes a large, unabridged data-set of Java source code gathered and shared as part of the Merobase Component Finder project of the Software-Engineering Group at the University of Mannheim. It consists of the complete index used to drive the search engine, ***, the vast majority 1 of the source code modules accessible through it, and a tool that enables researchers to efficiently browse the collected data. We describe the techniques used to collect, format and store the data set, as well as the core capabilities of the Merobase search engine such as classic keyword-based, interface-based and test-driven search. This data-set, which represents one of the largest searchable collections of source and binary modules available online, has been recently made available for download and use in further research projects. All files are available at http://***/sources/.

关键词： Indexes Java Search engines Relational databases Containers Open source software

来源：评论

学校读者我要写书评

暂无评论

Model-based throughput prediction in data center networks

Model-based throughput prediction in data center networks

引用

IEEE International Workshop on Measurements and Networking Proceedings (M&N)

作者： Piotr Rygielski Samuel Kounev Steffen Zschaler Institute for Program Structures and Data Organization Karlsruhe Institute of Technology (KIT) Karlsruhe Germany Department of Informatics King's College London London UK

In this paper, we address the problem of performance analysis in computer networks. We present a new meta-model designed for the performance modeling of network infrastructures in modern data centers. Instances of our metamodel can be automatically transformed into stochastic simulation models for performance prediction. We evaluate the approach in a case study of a road traffic monitoring system. We compare the performance prediction results against the real system and a benchmark. The presented results show that our approach, despite of introducing many modeling abstractions, delivers predictions with errors less than 32% and correctly detects bottlenecks in the modeled network.

关键词： Predictive models Cameras Protocols Throughput Switches Biological system modeling data models

来源：评论

学校读者我要写书评

暂无评论

Peer-Supervised Learning with Built-In Quality Control Based on Multiple-Choice Questions: A Case Study

Peer-Supervised Learning with Built-In Quality Control Based...

引用

International Conference on Advanced Learning Technologies (ICALT)

作者： Christian Hütter Tobias Kimmerle Klemens Böhm Fiuid Operations AG Walldorf Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany

Rating multiple choice questions (MCQ) created by peers has been touted as a good approach to peer assessment. The main challenge in this setting is to ensure the quality of peer assessment. Existing approaches rely on the assumption that students intrinsically create high-quality ratings. We propose an incentive mechanism to increase the quality of ratings. To evaluate our approach, we have conducted a case study with 242 students and 17 experts. Our results show that peer ratings are a good predictor of expert ratings. Furthermore, we develop a model that reliably measures the performance of students, but does not require expert ratings.

关键词： Estimation Correlation Reliability Probability distribution Complexity theory Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2012年 7303 LNCS卷 V页

作者： Pankratius, Victor Philippsen, Michael Karlsruhe Institute of Technology Institute for Program Structures and Data Organization Am Fasanengarten 5 b. 50.34 76131 Karlsruhe Germany Martensstr. 3 91058 Erlangen Germany

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：