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

generic programming techniques for parallelizing and extending procedural finite element programs

ENGINEERING WITH COMPUTERS 2008年第1期24卷 1-16页

作者： Cirak, Fehmi Cummings, Julian C. Univ Cambridge Dept Engn Cambridge CB2 1PZ England CALTECH Ctr Adv Comp Res Pasadena CA 91125 USA

We outline an approach for extending procedural finite-element software components using generic programming. A layer of generic software components consisting of C++ containers and algorithms is used for parallelization of the finite-element solver and for solver coupling in multi-physics applications. The advantages of generic programming in connection with finite-element codes are discussed and compared with those of object-oriented programming. The use of the proposed generic programming techniques is demonstrated in a tutorial fashion through basic illustrative examples as well as code excerpts from a large-scale finite-element program for serial and parallel computing platforms.

关键词： finite elements parallelization generic programming object-oriented programming multi-physics coupling

来源：评论

学校读者我要写书评

暂无评论

generic programming in 3D

引用

SCIENCE OF COMPUTER programming 2009年第8期74卷 590-628页

作者： Hinze, Ralf Loh, Andres Univ Bonn Inst Informat 3 D-53117 Bonn Germany Univ Utrecht Dept Informat & Comp Sci NL-3508 TB Utrecht Netherlands

Support for generic programming consists of three essential ingredients: support for overloaded functions, a run-time type representation, and a generic view on data. Different approaches to datatype-generic programming occupy different points in this design space. In this article, we revisit the "Scrap your boilerplate" approach and identify its location within the three-dimensional design space. The characteristic features of "Scrap your boilerplate" are its two generic views, the 'spine' view for consuming and transforming data, and the 'type-spine' view for producing data. We show how to combine these views with different overloading mechanisms and type representations. (C) 2009 Elsevier B.V. All rights reserved.

关键词： generic programming Type classes Haskell 98 Language design

来源：评论

学校读者我要写书评

暂无评论

generic programming and high-performance libraries

引用

INTERNATIONAL JOURNAL OF PARALLEL programming 2005年第2-3期33卷 145-164页

作者： Gregor, D Järvi, J Kulkarni, M Lumsdaine, A Musser, D Schupp, S Indiana Univ Open Syst Lab Bloomington IN 47401 USA Texas A&M Univ Dept Comp Sci College Stn TX 77843 USA Rensselaer Polytech Inst Dept Comp Sci Troy NY 12180 USA Chalmers Univ Technol Dept Comp Sci S-41296 Gothenburg Sweden

generic programming is an especially attractive paradigm for developing libraries for high-performance computing because it simultaneously emphasizes generality and efficiency. In the generic programming approach, interfaces are based on sets of specified requirements on types, rather than on any particular types, allowing algorithms to inter-operate with any data types meeting the necessary requirements. These sets of requirements, known as concepts, can specify syntactic as well as semantic requirements. Besides providing a powerful means of describing interfaces to maximize software reuse, concepts provide a uniform mechanism for more closely coupling libraries with compilers and for effecting domain-specific library-based compiler extensions. To realize this goal however, programming languages and their associated tools must support concepts as first-class constructs. In this paper we advocate better syntactic and semantic support to make concepts first-class and present results demonstrating the kinds of improvements that are possible with static checking, compiler optimization, and algorithm correctness proofs for generic libraries based on concepts.

关键词： generic programming software libraries static analysis high-level optimization formal verification

来源：评论

学校读者我要写书评

暂无评论

generic programming with Extensible Data Types

引用

PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2023年第ICFP期7卷 356–384页

作者： Hubers, Alex Morris, J. Garrett Univ Iowa Dept Comp Sci 14 MacLean Hall Iowa City IA 52240 USA

We present a novel approach to generic programming over extensible data types. Row types capture the structure of records and variants, and can be used to express record and variant subtyping, record extension, and modular composition of case branches. We extend row typing to capture generic programming over rows themselves, capturing patterns including lifting operations to records and variations from their component types, and the duality between cases blocks over variants and records of labeled functions, without placing specific requirements on the fields or constructors present in the records and variants. We formalize our approach in System R omega, an extension of F omega with row types, and give a denotational semantics for (stratified) R omega in Agda.

关键词： generic programming extensible data types row types row polymorphism qualified types

来源：评论

学校读者我要写书评

暂无评论

generic programming for high-performance scientific applications

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2005年第7-8期17卷 941-965页

作者： Lee, LQ Lumsdaine, A Indiana Univ Pervas Technol Labs Open Syst Lab Bloomington IN 47405 USA

We present case studies that apply generic programming to the development of high-performance parallel code for solving two archetypal partial differential equations (PDEs). We examine the overall structure of the example scientific codes and consider their generic implementation. With a generic approach it is a straightforward matter to reuse software components from different sources;implementations with components from the Iterative Template Library (ITL), the Matrix Template Library (MTL), Blitz++, A++/P++, and Fortran BLAS are presented. Our newly developed generic Message Passing library is used for communication. We compare the generic implementations with equivalent implementations developed with alternative libraries and languages and discuss performance as well as software engineering issues. Copyright (c) 2005 John Wiley & Sons, Ltd.

关键词： C plus generic programming high-performance computing iterative solvers Krylov subspace message passing templates

来源：评论

学校读者我要写书评

暂无评论

generic programming of All Kinds 11

Generic Programming of All Kinds

引用

Haskell Conference

作者： Serrano, Alejandro Miraldo, Victor Cacciari Univ Utrecht Dept Informat & Comp Sci Utrecht Netherlands

ISBN: (纸本)9781450358354

Datatype-generic programming is a widely used technique to define functions that work regularly over a class of datatypes. Examples include deriving serialization of data, equality or even functoriality. The state-of-the-art of generic programming still lacks handling GADTs, multiple type variables, and some other features. This paper exploits modern GHC extensions, including TypeIn Type, to handle arbitrary number of type variables, constraints, and existentials. We also provide an Agda model of our construction that does not require Russel's paradox, proving the construction is consistent.

关键词： generic programming Haskell

来源：评论

学校读者我要写书评

暂无评论

MultiArray: a C++ library for generic programming with arrays

引用

SOFTWARE-PRACTICE & EXPERIENCE 2005年第2期35卷 159-188页

作者： Garcia, R Lumsdaine, A Indiana Univ Open Syst Lab Bloomington IN 47405 USA

In C++, multi-dimensional arrays are often used but the language provides limited native support for them. The language, in its Standard Library, supplies sophisticated interfaces for manipulating sequential data. but relies on its bare-bones C heritage for arrays. The MultiArray library. a part of the Boost library collection, enhances a C++ programmer's tool set with versatile multi-dimensional array abstractions. It includes a general array class template and native array adaptors that support idiomatic array operations and interoperate with C++ Standard Library containers and algorithms. The arrays share a common interface, expressed as a generic programming concept, in terms of which generic array algorithms can be implemented. We present the library design, introduce a generic interface for array programming, demonstrate how the arrays integrate with the C++ Standard Library, and discuss the essential aspects of their implementation. Copyright (C) 2004 John Wiley Sons, Ltd.

关键词： C plus array programming generic programming Standard Template Library Boost

来源：评论

学校读者我要写书评

暂无评论

A comparative evaluation of generic programming in Java and C++

引用

SOFTWARE-PRACTICE & EXPERIENCE 2003年第2期33卷 121-142页

作者： Saiedian, H Hill, S Univ Kansas Dept Elect Engn & Comp Sci Lawrence KS 66045 USA

generic programming has been defined as 'programming with concepts' where a concept refers to a family of abstractions. The criteria for generic programming include independence of collections from data types, independence of algorithms that operate on the collection, and the adaptability of the collections. This paper examines and evaluates the support for generic programming in the Java Development Kit (JDK) in comparison to C++'s Standard Template Library (STL). The evaluation will consider both the 'qualitative' factors as well as certain 'quantitative' factors (i.e. factors that can be measured). The qualitative factors that are considered include: 1.a comparison of the structure and APIs;2. homogeneity versus heterogeneity;and 3. ease of use (including ease of converting to collection classes, ease of changing collection type, and ease of error handling). The quantitative factors include: 1. compiled size;2. runtime memory usage;and 3. performance. The results of our evaluative comparisons based on the above factors and certain other criteria are presented at the end. Based on the results, we conclude that the support provided for generic programming in C++'s STL is superior to that provided by JDK. Copyright (C) 2003 John Wiley Sons, Ltd.

关键词： generic programming Java JDK C plus STL

来源：评论

学校读者我要写书评

暂无评论

Application of Metaprogramming and generic programming in Multiscale Modeling

引用

COMPUTING IN SCIENCE & ENGINEERING 2018年第6期20卷 81-94页

作者： Maciol, Piotr Michalik, Kazimierz AGH Univ Sci & Technol Krakow Poland

Numerical modeling is a tool commonly used by both researchers and engineers. For several reasons, the quality of scientific codes frequently deprecates. One of the possible remedies is the application of advanced programming and software development methods. In this paper, we introduce the application of metaprogramming and generic programming in C++ to control the correctness of multiscale models. Additionally, it is shown how both methods increase reusability and quality of the code. A short introduction to metaprogramming and generic programming is included, as well as the proof of the concept. Exemplary codes are also included and discussed.

关键词： C Language Software Engineering Software Reusability Software Development Methods Metaprogramming generic programming Multiscale Modeling Numerical Modeling Scientific Codes Possible Remedies Advanced programming Computational Modeling Hidden Markov Models Numerical Models programming Software Object Oriented Modeling Adaptation Models Numerical Modeling Multiscale Modeling Metaprogramming generic programming C Compile Time Validation

来源：评论

学校读者我要写书评

暂无评论

Branch-and-price for staff rostering: An efficient implementation using generic programming and nested column generation

引用

EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 2013年第1期230卷 157-169页

作者： Dohn, Anders Mason, Andrew Tech Univ Denmark Dept Engn Management Lyngby Denmark Univ Auckland Dept Engn Sci Auckland New Zealand

We present a novel generic programming implementation of a column-generation algorithm for the generalized staff rostering problem. The problem is represented as a generalized set partitioning model, which is able to capture commonly occurring problem characteristics given in the literature. Columns of the set partitioning problem are generated dynamically by solving a pricing subproblem, and constraint branching in a branch-and-bound framework is used to enforce integrality. The pricing problem is formulated as a novel three-stage nested shortest path problem with resource constraints that exploits the inherent problem structure. A very efficient implementation of this pricing problem is achieved by using generic programming principles in which careful use of the C++ pre-processor allows the generator to be customized for the target problem at compile-time. As well as decreasing run times, this new approach creates a more flexible modeling framework that is well suited to handling the variety of problems found in staff rostering. Comparison with a more-standard run-time customization approach shows that speedups of around a factor of 20 are achieved using our new approach. The adaption to a new problem is simple and the implementation is automatically adjusted internally according to the new definition. We present results for three practical rostering problems. The approach captures all features of each problem and is able to provide high-quality solutions in less than 15 minutes. In two of the three instances, the optimal solution is found within this time frame. (C) 2013 Elsevier B.V. All rights reserved.

关键词： OR in manpower planning generic programming Branch-and-price Scheduling Staff rostering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：