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

12th ACM SIGPLAN International Conference on Functional programming

作者： Matsuda, Kazutaka Hu, Zhenjiang Nakano, Keisuke Hamana, Makoto Takeichi, Masato Univ Tokyo Tokyo Japan Gunma Univ Gunma Japan

ISBN: (纸本)9781595938152

Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called view. The corresponding backward transformation reflects changes in the view to the source. Its practically useful applications include replicated data synchronization, presentation-oriented editor development, tracing software development, and view updating in the database community. However, developing a bidirectional transformation is hard, because one has to give two mappings that satisfy the bidirectional properties for system consistency. In this paper, we propose a new framework for bidirectionalization that can automatically generate a useful backward transformation from a view function while guaranteeing that the two transformations satisfy the bidirectional properties. Our framework is based on two known approaches to bidirectionalization, namely the constant complement approach from the database community and the combinator approach from the programming language community, but it has three new features: ( 1) unlike the constant complement approach, it can deal with transformations between algebraic data structures rather than just tables;( 2) unlike the combinator approach, in which primitive bidirectional transformations have to be explicitly given, it can derive them automatically;( 3) it generates a view update checker to validate updates on views, which has not been well addressed so far. The new framework has been implemented and the experimental results show that our framework has promise.

关键词： languages design bidirectional transformation view updating program transformation automatic program generation program inversion

来源：评论

学校读者我要写书评

暂无评论

Grammatical Evolution Tutorial 10

Grammatical Evolution Tutorial

引用

12th Annual Genetic and Evolutionary Computation Conference (GECCO)

作者： Ryan, Conor Univ Limerick Biocomp & Dev Syst Grp Limerick Ireland

ISBN: (纸本)9781450300735

These proceedings contain the papers presented at the 12th Annual Genetic and Evolutionary Computation Conference (GECCO-2010), held in Portland, USA, July 7-11, 2010. This year, we received 373 submissions, of which 168 were accepted as full eight-page publication with 25 minute presentation during the conference. This corresponds to an acceptance rate of 45%. In addition, 110 submissions (29%) have been accepted for poster presentation with two-page abstracts in the proceedings. GECCO works according to the motto one conference, many mini-conferences. This year, there were 15 separate tracks that operated independently from each other. Each track had its own track chair(s) and individual program committee. To ensure an unbiased reviewing process, all reviews were conducted double blind;no authors' names were revealed to the reviewers. About 560 researchers participated in the reviewing process. We want to thank them for all their work, which is highly appreciated and absolutely vital to ensure the high quality of the conference. In addition to the presentation of the papers contained in these proceedings, GECCO-2010 also included free tutorials, workshops, a series of sessions on Evolutionary Computation in Practice, various competitions, and late-breaking papers. © 2010 ACM.

关键词： artificial evolution automatic program generation genetic programming

来源：评论

学校读者我要写书评

暂无评论

automatic generation of Parallel Problem Solvers 16

Automatic Generation of Parallel Problem Solvers

引用

International Conference on High Performance Computing & Simulation (HPCS)

作者： Dorronsoro, Bernabe Univ Cadiz Sch Engn Dept Comp Sci Engn Cadiz Spain

ISBN: (纸本)9781538678794

Over the last ten years, there has been a significant change in computing. After reaching the physical limits in integrated circuit technology, Moore's law (predicting an exponential growth of computing capacity over the years) has been maintained thanks to the replication of computing components (i.e., parallelization). Current computers now incorporate multiple processors, which are themselves multi-core, and come with technologies to increase the parallel capabilities of processors, like the Intel hyper-threading technology that implements two logical processors per core. This is the architecture present not only in today's servers or workstations, but also in portable and mobile devices as laptops, tablets, or mobile phones. It is accepted that this trend towards more and more parallel architectures will be maintained in the coming years.

关键词： virtual savant scheduling machine learning optimization automatic program generation

来源：评论

学校读者我要写书评

暂无评论

Bidirectionalization transformation based on automatic derivation of view complement functions

引用

ACM SIGPLAN NOTICES 2007年第9期42卷 47-58页

作者： Matsuda, Kazutaka Hu, Zhenjiang Nakano, Keisuke Hamana, Makoto Takeichi, Masato Univ Tokyo Tokyo Japan Gunma Univ Gunma Japan

关键词： languages design bidirectional transformation view updating program transformation automatic program generation program inversion

来源：评论

学校读者我要写书评

暂无评论

DATA FLOW COHERENCE CONSTRAINTS FOR PRUNING THE SEARCH SPACE IN ILP TOOLS

引用

International Journal on Artificial Intelligence Tools 2002年第2期11卷 203-218页

作者： SMARANDA MURESAN TUDOR MURESAN RODICA POTOLEA Department of Computer Science Columbia University New York USA Department of Computer Science Technical University of Cluj-Napoca Romania

In this paper we present a new method that uses data-flow coherence constraints in definite logic program generation. We outline three main advantages of these constraints supported by our results: i) drastically pruning the search space (around 90%), ii) reducing the set of positive examples and reducing or even removing the need for the set of negative examples, and iii) allowing the induction of predicates that are difficult or even impossible to generate by other methods. Besides these constraints, the approach takes into consideration the program termination condition for recursive predicates. The paper outlines some theoretical issues and implementation aspects of our system for automatic logic program induction.

关键词： Inductive logic programming automatic program generation data flow coherence constraints implementation

来源：评论

学校读者我要写书评

暂无评论

The Production of program Families Based on Abstract Data Types

引用

IFAC Proceedings Volumes 1982年第7期15卷 403-408页

作者： A.P. Riesco J.Y. Cabrera Centro de Investigación ITT de Standard Eléctrica S.A. Madrid Spain

The convenience of considering industrial software systems as program families rather than unique programs is argued. Conventional computer aided program manufacturing methods are then discussed and some of their problems are analysed. The paper shows how these problems may be essentially solved by conceiving, implementing and manufacturing programs as hierarchies of Multifunctional Modules or Abstract Data Types. It may be specially useful for applications where data amount and complexity are important.

关键词： program families automatic program generation abstract data types

来源：评论

学校读者我要写书评

暂无评论

programMING BY QUESTIONNAIRE - EFFECTIVE WAY TO USE DECISION TABLES

引用

COMMUNICATIONS OF THE ACM 1973年第5期16卷 282-286页

作者： LOW, DW IBM CORP LOS ANGELESCA 90067

Discusses the use of decision tables in solving large scale programming problems. Construction of an application program through the selection of certain source statements from a predefined file; Ideas behind the othe... 详细信息

关键词： applications development automatic program generation customizing modeling no reprogramming programmer productivity simulator generation

来源：评论

学校读者我要写书评

暂无评论

A CAD-Based Robot program Generator for a Welding Application

引用

IFAC Proceedings Volumes 1992年第23期25卷 43-45页

作者： Michael Cargnelli Adam Rogowski Austrian Research Centre Seibersdorf GmbH A-2444 Seibersdorf Austria Technical University Warsaw Poland

A computer program to generate are welding robot program code from an input of part geometry and weld-description CAD-data and additional rules and parameters was developed for an Austrian manufacturer structural steel work. The system is needed because a large variety of products has to be manufactured in small batches, so that on-line programming (teach-in) becomes a serious cost factor and limits the throughput.

关键词： Arcwelding off-line programming automatic program generation

来源：评论

学校读者我要写书评

暂无评论

Virtual Savant for the Heterogeneous Computing Scheduling Problem

Virtual Savant for the Heterogeneous Computing Scheduling Pr...

引用

International Conference on High Performance Computing and Simulation

作者： Renzo Massobrio Bernabe Dorronsoro Sergio Nesmachnow Universidad de la Republica Universidad de Cadiz

ISBN: (纸本)9781538678800

A key issue when using distributed computing environments is finding a planning strategy to execute tasks in order to use the computational resources efficiently. This article presents the application of Virtual Savant to solve the heterogeneous computing scheduling problem, a widely-studied problem with several real-world applications. Virtual Savant is a novel method that uses machine learning techniques to automatically generate programs that can be executed in parallel to solve a given problem. Experimental analysis is performed on a set of problem instances generated following methodologies from the related literature. Results show that Virtual Savant is able to outperform MinMin, a well-known heuristic for the studied problem, by up to 15% while showing good scalability properties when increasing the number of computing resources and the dimension of the problem instances.

关键词： Virtual savant Scheduling Machine learning Optimization automatic program generation

来源：评论

学校读者我要写书评

暂无评论

automatic Load Balancing in the NORMA Language Compiler for Hybrid Architectures

引用

Mathematical Models and Computer Simulations 2024年第Suppl 2期16卷 S209-S215页

作者： Bugerya, A. Gladkova, E. Efimkin, K. Keldysh Institute of Applied Mathematics Russian Academy of Sciences Moscow 125047 Russian Federation

Abstract: The issues of the automatic computations distributing in the translation of the NORMA language programs are considered in this paper. The load balancing between the nodes in multi node computer system is out of scope in this paper, the main focus is the load balancing inside a single node of a hybrid computing system between CPU and GPU(s). There are two methods proposed: a method for static distribution of computations and a method for automatic balancing of the computational load during program execution, which is based on periodic analysis of the CPU load by the program which is being executed at the moment and making decision whether redistribution of computational load is needed. The proposed methods are tested using applied program written in the NORMA language that solves a gas dynamic problem using the computing resources of the multicore central processor and graphics accelerators. The results of program execution with various data distributions were obtained and analyzed, both with and without the mechanism for automatic balancing of the computational load. © Pleiades Publishing, Ltd. 2024.

关键词： automatic program generation computational load balancing hybrid computing architectures NORMA language parallel programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：