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

21st International Symposium on Software Testing and Analysis, ISSTA 2012

作者： Sui, Yulei Ye, Ding Xue, Jingling Programming Languages and Compilers Group School of Computer Science and Engineering UNSW Australia

ISBN: (纸本)9781450314541

We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse value-flow analysis for leak detection. Saber tracks the flow of values from allocation to free sites using a sparse value-flow graph (SVFG) that captures def-use chains and value flows via assignments for all memory locations represented by both top-level and address-taken pointers. By exploiting field-, flow- and context-sensitivity during different phases of the analysis, Saber detects leaks in a program by solving a graph reachability problem on its SVFG. Saber, which is fully implemented in Open64, is effective at detecting 211 leaks in the 15 SPEC2000 C programs and five applications, while keeping the false positive rate at 18.5%. We have also compared Saber with Fastcheck (which analyzes allocated objects flowing only into top-level pointers) and Sparrow (which handles all allocated objects using abstract interpretation) using the 15 SPEC2000 C programs. Saber is as accurate as Sparrow but is 14.2X faster and reports 40.7% more bugs than Fastcheck at a slightly higher false positive rate but is only 3.7X slower. © 2012 ACM.

关键词： Flow graphs

来源：评论

学校读者我要写书评

暂无评论

Model-Based Dynamic Optimization with OpenModelica and CasADi

引用

IFAC Proceedings Volumes 2013年第21期46卷 446-451页

作者： Alachew Shitahun Vitalij Ruge Mahder Gebremedhin Bernhard Bachmann Lars Eriksson Joel Andersson Moritz Diehl Peter Fritzson PELAB-Programming Environment Lab Dept. Computer Science Linköping University SE-581 83 Linköping Sweden Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany Vehicular Systems Dept. Electrical Engineering Linköping University SE-581 83 Linköping Sweden Dept. of Electrical Engineering and Optimization in Engineering Center (OPTEC) K.U. Leuven Belgium

This paper demonstrates model-based dynamic optimization through the coupling of two open source tools: OpenModelica, which is a Modelica-based modeling and simulation platform, and CasADi, a framework for numerical optimization. The coupling uses a standardized XML format for exchange of differential-algebraic equations (DAE) models. OpenModelica supports export of models written in Modelica and the optimization language extension using this XML format, while CasADi supports import of models represented in this format. This allows users to define optimal control problems (OCP) using Modelica and optimization language specification, and solve the underlying model formulation using a range of optimization methods, including direct collocation and direct multiple shooting. The proposed solution has been tested on several industrially relevant optimal control problems, including a diesel-electric power train.

关键词： Modelica OpenModelica model-based optimization dynamic optimization CasADi

来源：评论

学校读者我要写书评

暂无评论

Comparision of Multi-Carrier Techniques in Seven-Level Asymmetric Cascade Multilevel Inverter

Comparision of Multi-Carrier Techniques in Seven-Level Asymm...

引用

International Conference on Power engineering, Energy and Electrical Drives

作者： Ilhami COLAK Ersan KABALCI Gokhan KEVEN Faculty of Technology Department of Electric & Electronic Engineering Gazi University Ankara Turkey Faculty of Engineering & Architecture Dep. of Electrical & Electronic Eng. Nevsehir University Nevsehir Turkey Vocational College of Haci Bekta? Veli Dep. of Computer Programming Nevsehir University Nevsehir Turkey

ISBN: (纸本)9781467363914

The multilevel inverters (MLIs) are classified into three topologies such as Diode Clamped, Flying Capacitor and Cascade Multilevel Inverter (CMLI). CMLI topologies include two kind of structure that is named symmetric and asymmetric topologies. Asymmetric Cascade MLI (ACMLI) topologies consist of unequal DC sources. Many modulation techniques have been used in ACMLI topology such as Multi-Carrier PWM (MC-PWM), Space Vector PWM and Selective Harmonic PWM. The MC-PWM technique is achieved by four different types. In this study, MC-PWM techniques which are named Phase Disposition PWM, Phase Opposition Disposition PWM, Alternate Phase Opposition Disposition PWM and Phase Shifted PWM have been compared. It is uncovered that Phase Opposition Disposition PWM technique is more convenient in terms of Total Harmonic Distortion of output voltage and current signals and in terms of the quality of power factor in ACMLI which is performed in this study.

关键词： asymmetric cascade multilevel inverter multi carrier PWM THD frequency index power factor

来源：评论

学校读者我要写书评

暂无评论

A stochastic approach to the probability of failure on demand (PFD) with regard to the standard IEC 61508

A stochastic approach to the probability of failure on deman...

引用

11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012, PSAM11 ESREL 2012

作者： Wacker, H.D. Ugljesa, E. Boercsoek, J. Department of Computer Architecture and System Programming Faculty of Electrical Engineering /Computer Science University Kassel Wilhelmshöher Allee 71 Germany

ISBN: (纸本)9781622764365

Let there be given a safety related electronic system suffering from random failures or errors. The standard IEC 61508 contains simplified equations for the probability of failure on demand PFDavg for special system architectures, mostly without proof. In various publications PFDavg is defined by several different equations, e.g. as a Laplacian probability, as an integral mean, or by means of the average failure rate of the system. The aim of the paper is to determine PFDavgby stochastic methods and to bring together the different definitions. A formula for PFDavg is given that is valid for most universal electronic systems. The equivalence of 2 different definitions of PFDavgis shown. The special case of a koon-System is investigated, and the resulting equations improve those known so far. The basic idea is to randomize the time to failure, the down time of the system, as well as the repair time, and then, by means of the Stieltjes-Integral, determine the mean or average time as the expectation of the respective random variable.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Cross-language code analysis and refactoring

Cross-language code analysis and refactoring

引用

2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation, SCAM 2012

作者： Mayer, Philip Schroeder, Andreas Department of Programming and Software Engineering Institute for Computer Science Ludwig-Maximilians-Universität München Germany

ISBN: (纸本)9780769547831

Software composed of artifacts written in multiple (programming) languages is pervasive in today's enterprise, desktop, and mobile applications. Since they form one system, artifacts from different languages reference one another, thus creating what we call semantic cross-language links. By their very nature, such links are out of scope of the individual programming language, they are ignored by most language-specific tools and are often only established - and checked for errors - at runtime. This is unfortunate since it requires additional testing, leads to brittle code, and lessens maintainability. In this paper, we advocate a generic approach to understanding, analyzing and refactoring cross-language code by explicitly specifying and exploiting semantic links with the aim of giving developers the same amount of control over and confidence in multi-language programs they have for single-language code today. © 2012 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Circular Queue Method for Iterative Stencil Computations on GPUs

引用

Journal of computer Science & Technology 2012年第1期27卷 57-74页

作者： Yang Yang Hui-Min Cui Xiao-Bing Feng Jing-Ling Xue State Key Laboratory of Computer Architecture Institute of Computing TechnologyChinese Academy of Sciences Beijing 100190China Graduate University of Chinese Academy of Sciences Beijing 100190China Programming Languages and Compilers Group School of Computer Science and Engineering University of New South WalesSydneyNSW 2052Australia

In this paper, we present a hybrid circular queue method that can significantly boost the performance of stencil computations on GPU by carefully balancing usage of registers and shared-memory. Unlike earlier methods that rely on circular queues predominantly implemented using indirectly addressable shared memory, our hybrid method exploits a new reuse pattern spanning across the multiple time steps in stencil computations so that circular queues can be implemented by both shared memory and registers effectively in a balanced manner. We describe a framework that automatically finds the best placement of data in registers and shared memory in order to maximize the performance of stencil computations. Validation using four different types of stencils on three different GPU platforms shows that our hybrid method achieves speedups up to 2.93X over methods that use circular queues implemented with shared-memory only.

关键词： stencil computation circular queue GPU occupancy register

来源：评论

学校读者我要写书评

暂无评论

SnuCL: An OpenCL framework for heterogeneous CPU/GPU clusters 12

SnuCL: An OpenCL framework for heterogeneous CPU/GPU cluster...

引用

26th ACM International Conference on Supercomputing, ICS'12

作者： Kim, Jungwon Seo, Sangmin Lee, Jun Nah, Jeongho Jo, Gangwon Lee, Jaejin Center for Manycore Programming School of Computer Science and Engineering Seoul National University Seoul 151-744 Korea Republic of

ISBN: (纸本)9781450313162

In this paper, we propose SnuCL, an OpenCL framework for heterogeneous CPU/GPU clusters. We show that the original OpenCL semantics naturally fits to the heterogeneous cluster programming environment, and the framework achieves high performance and ease of programming. The target cluster architecture consists of a designated, single host node and many compute nodes. They are connected by an interconnection network, such as Gigabit Ethernet and InfiniBand switches. Each compute node is equipped with multicore CPUs and multiple GPUs. A set of CPU cores or each GPU becomes an OpenCL compute device. The host node executes the host program in an OpenCL application. SnuCL provides a system image running a single operating system instance for heterogeneous CPU/GPU clusters to the user. It allows the application to utilize compute devices in a compute node as if they were in the host node. No communication API, such as the MPI library, is required in the application source. SnuCL also provides collective communication extensions to OpenCL to facilitate manipulating memory objects. With SnuCL, an OpenCL application becomes portable not only between heterogeneous devices in a single node, but also between compute devices in the cluster environment. We implement SnuCL and evaluate its performance using eleven OpenCL benchmark applications. Copyright 2012 ACM.

关键词： Program processors

来源：评论

学校读者我要写书评

暂无评论

Design strategies of unmanned aerial vehicle-aided communication for disaster recovery

Design strategies of unmanned aerial vehicle-aided communica...

引用

2012 9th International Conference on High Capacity Optical Networks and Enabling Technologies, HONET 2012

作者： Tuna, Gurkan Mumcu, Tarik Veli Gulez, Kayhan Department of Computer Programming Trakya University Edirne Turkey Department of Control and Automation Engineering Yildiz Technical University Istanbul Turkey

ISBN: (纸本)9781467328906

This paper presents a novel approach of using unmanned aerial vehicles (UAVs) to establish a communication infrastructure in case of disasters. Due to the collapse of buildings, power systems, and antennas, the collapse of communication infrastructure is the usual effect of disasters. In this study, we propose an emergency communications system established by unmanned aerial vehicles (UAVs). The system is a post-disaster solution;hence, it can be used anywhere required. In this study, first we briefly explain the details of the system in three aspects: end-to-end communication, localization and navigation, and coordination Then, we evaluate the efficiency of the localization and navigation subsystem. Our simulation studies with AirRobot quadrotor helicopters in Unified System for Automation and Robot Simulation (USARSim) simulation environment show that UAV-aided communications system can be used in case of disasters to establish an emergency communications infrastructure in terms of localization and navigation. © 2012 IEEE.

关键词： Disasters

来源：评论

学校读者我要写书评

暂无评论

Ownership types for object synchronisation 1

引用

10th Asian Symposium on programming Languages and Systems, APLAS 2012

作者： Lu, Yi Potter, John Xue, Jingling Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales Sydney NSW 2052 Australia

ISBN: (数字)9783642351822

ISBN: (纸本)9783642351815

Shared-memory concurrent programming is difficult and error prone because memory accesses by concurrent threads need to be coordinated through synchronisation, which relies on programmer discipline and suffers from a lack of modularity and compile-time support. This paper exploits object structures, provided by ownership types, to enable a structured synchronisation scheme which guarantees safety and allows more concurrency within structured tasks. © Springer-Verlag 2012.

关键词： Synchronization

来源：评论

学校读者我要写书评

暂无评论

Promoter recognition with machine learning algorithms keREM, RULSE-3 and ANN

Promoter recognition with machine learning algorithms keREM,...

引用

International Symposium on INnovations in Intelligent SysTems and Applications, INISTA 2012

作者： Karli, Günay Nayir, Ahmet Faculty of Engineering and Information Technology International Burch Universiy Sarajevo Bosnia and Herzegovina Department of Computer Programming Fatih University Istanbul Turkey

ISBN: (纸本)9781467314466

Data mining has become an important and active area of research because of theoretical challenges and practical applications associated with the problem of discovering interesting and previously unknown knowledge from very large real world database. These databases contain potential gold mine of valuable information, but it is beyond human ability to analyze massive amount of data and elicit meaningful patterns by using conventional techniques. In this study, DNA sequence was analyzed to locate promoter which is a regulatory region of DNA located upstream of a gene, providing a control point for regulated gene transcription. In this study, some supervised learning algorithms such as artificial neural network (ANN), RULES-3 and newly developed keREM rule induction algorithm were used to analyse to DNA sequence. In the experiments different option of keREM, RULES-3 and ANN were used, and according to the empirical comparisons, the algorithms appeared to be comparable to well-known algorithms in terms of the accuracy of the extracted rule in classifying unseen data. © 2012 IEEE.

关键词： Supervised learning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：