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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

122 篇 期刊文献
110 篇 会议
4 篇 学位论文

馆藏范围

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

日期分布

学科分类号

207 篇 工学
- 154 篇 计算机科学与技术...
- 131 篇 软件工程
- 14 篇 电气工程
- 8 篇 控制科学与工程
- 3 篇 机械工程
- 3 篇 信息与通信工程
- 2 篇 材料科学与工程（可...
- 1 篇 力学（可授工学、理...
- 1 篇 冶金工程
- 1 篇 电子科学与技术（可...
35 篇 理学
- 25 篇 数学
- 5 篇 物理学
- 4 篇 生物学
- 2 篇 统计学（可授理学、...
- 1 篇 地球物理学
- 1 篇 系统科学
4 篇 管理学
- 3 篇 管理科学与工程(可...
- 1 篇 图书情报与档案管...
3 篇 医学
- 2 篇 临床医学
- 1 篇 基础医学(可授医学...

主题

236 篇 generic programm...
23 篇 c plus
21 篇 haskell
16 篇 languages
15 篇 design
13 篇 c++
12 篇 type classes
11 篇 polymorphism
10 篇 template metapro...
9 篇 algorithms
8 篇 generics
8 篇 java
8 篇 functional progr...
7 篇 cgal
7 篇 c#
6 篇 performance
6 篇 type systems
6 篇 concepts
6 篇 scientific compu...
5 篇 standard templat...

机构

10 篇 texas a&m univ c...
7 篇 indiana univ ope...
5 篇 indiana univ blo...
5 篇 texas a&m univer...
4 篇 univ edinburgh e...
4 篇 max planck inst ...
3 篇 radboud univ nij...
3 篇 delft univ techn...
3 篇 indiana univ dep...
3 篇 inria f-06902 so...
2 篇 nanyang technol ...
2 篇 oak ridge natl l...
2 篇 microsoft corp r...
2 篇 univ utrecht dep...
2 篇 chinese acad sci...
2 篇 johannes kepler ...
2 篇 univ chinese aca...
2 篇 rensselaer polyt...
2 篇 cwi nl-1009 ab a...
2 篇 nanjing univ sta...

作者

11 篇 lumsdaine a
6 篇 järvi j
5 篇 mcbride conor
5 篇 lumsdaine andrew
5 篇 miraldo victor c...
5 篇 stroustrup bjarn...
4 篇 berberich eric
4 篇 yallop jeremy
4 篇 jaervi jaakko
4 篇 jones sp
4 篇 wu nicolas
4 篇 lämmel r
4 篇 gregor d
4 篇 serrano alejandr...
3 篇 stylianou christ...
3 篇 siek jeremy
3 篇 siek j
3 篇 hinze ralf
3 篇 weiland michele
3 篇 schupp s

语言

214 篇 英文
22 篇 其他

检索条件"主题词=Generic Programming"

共 236 条记录，以下是221-230 订阅

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

详细简洁

排序：

Lifting sequential graph algorithms for distributed-memory parallel computation 05

Lifting sequential graph algorithms for distributed-memory p...

引用

Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

作者： Douglas Gregor Andrew Lumsdaine Indiana University Bloomington IN

ISBN: (纸本)9781595930316

This paper describes the process used to extend the Boost Graph Library (BGL) for parallel operation with distributed memory. The BGL consists of a rich set of generic graph algorithms and supporting data structures, but it was not originally designed with parallelism in mind. In this paper, we revisit the abstractions comprising the BGL in the context of distributed-memory parallelism, lifting away the implicit requirements of sequential execution and a single shared address space. We illustrate our approach by describing the process as applied to one of the core algorithms in the BGL, breadth-first search. The result is a generic algorithm that is unchanged from the sequential algorithm, requiring only the introduction of external (distributed) data structures for parallel execution. More importantly, the generic implementation retains its interface and semantics, such that other distributed algorithms can be built upon it, just as algorithms are layered in the sequential case. By characterizing these extensions as well as the extension process, we develop general principles and patterns for using (and reusing) generic, object-oriented parallel software libraries. We demonstrate that the resulting algorithm implementations are both efficient and scalable with performance results for several algorithms.

关键词： distributed computing generic programming parallel graph algorithms

来源：评论

学校读者我要写书评

暂无评论

Scrap more boilerplate: reflection, zips, and generalised casts 04

Scrap more boilerplate: reflection, zips, and generalised ca...

引用

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming

作者： Ralf Lämmel Simon Peyton Jones Vrije Universiteit & CWI Amsterdam Microsoft Research Cambridge

ISBN: (纸本)9781581139051

Writing boilerplate code is a royal pain. generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code, and use that recipe in many places. In earlier work we introduced the "Scrap your boilerplate" approach to generic programming, which exploits Haskell's existing type-class mechanism to support generic transformations and *** paper completes the picture. We add a few extra "introspective" or "reflective" facilities, that together support a rich variety of serialisation and de-serialisation. We also show how to perform generic "zips", which at first appear to be somewhat tricky in our framework. Lastly, we generalise the ability to over-ride a generic function with a type-specific *** of this can be supported in Haskell with independently-useful extensions: higher-rank types and type-safe cast. The GHC implementation of Haskell readily derives the required type classes for user-defined data types.

关键词： reflection generic programming zippers type cast

来源：评论

学校读者我要写书评

暂无评论

An Algebraic Approach to Mechanical Tabu Search Algorithm Generation

An Algebraic Approach to Mechanical Tabu Search Algorithm Ge...

引用

The 2010 IEEE International Conference on Progress in Informatics and Computing

作者： Yujun Zheng~(1,2,*),Haihe Shi~(1,3) and Jinyun Xue~(1,3) 1 Provincial Key Lab of High-Performance Computing,Jiangxi Normal University,Nanchang,China 2 Beijing Systems Engineering Institute of Equipments,Beijing,China 3 Institute of Software,Chinese Academy of Sciences,Beijing,China

Traditional approaches to apply tabu search method typically require formulating an algorithmic structure for each individual *** on algebraic specifications,the paper presents a unified and mechanical framework for implementing tabu search algorithms for combinatorial optimization problems. We define a generalized specification using high-order functions to describe search strategies,from which efficient algorithms can be generated for concrete problems by data type refinement and functional *** also extend the framework for multiobjective problems by enriching specification *** approach achieves a high level of abstraction and mechanization without losing performance.

关键词： Tabu search algebraic specifications program generation generic programming high-order functions

来源：评论

学校读者我要写书评

暂无评论

C++ Reflection for High Performance Problem Solving Environments 07

C++ Reflection for High Performance Problem Solving Environm...

引用

2007 Spring Simulation Multiconference (SpringSim'07) - Agent-Directed Simulation Symposium, DEVS Integrative M&S Symposium, and High Performance Computing Symposium

作者： Tharaka Devadithya Kenneth Chiu Wei Lu Indiana University State University of New York Binghamton

ISBN: (纸本)9781565553132

Problem Solving Environments (PSE) in scientific computing domains require the ability to couple High Performance Computing (HPC) components. A PSE facilitates coupling of tasks or computations in order to aid a scientist in finding a solution to a problem or at least getting closer to a solution. Reflection capabilities are required in order to effectively dynamically couple these components. Reflection facilitates adaptive behavior such as rebinding calls to different functions at run-time, or integrating flexible interpreted languages with compiled languages such as C++ or Fortran. Currently, however, reflection is not available in languages commonly used in high performance computing. While there have been several attempts to incorporate reflection into C++, all of them are either intrusive or are not fully compliant with the C++ standard. In this paper, we present a number of use cases for reflective programming, and show how it can be efficiently and robustly implemented in languages such as C++. Our implementation uses code generation to add metadata, and is fully compliant with the standard C++ specification. We compare the overhead of reflection with languages such as Java, and show that our overhead is acceptable for many scenarios. Our reflection library is open-source, and is available at .

关键词： C++ reflection Problem solving environments generic programming Scientific computing High performance computing

来源：评论

学校读者我要写书评

暂无评论

generics for the masses 04

Generics for the masses

引用

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming

作者： Ralf Hinze Universität Bonn Bonn Germany

ISBN: (纸本)9781581139051

A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can be derived in Haskell, such as show, read, and '=='. The recent years have seen a number of proposals that support the definition of generic functions. Some of the proposals define new languages, some define extensions to existing languages. As a common characteristic none of the proposals can be made to work within Haskell 98: they all require something extra, either a more sophisticated type system or an additional language construct. The purpose of this pearl is to show that one can, in fact, program generically within Haskell 98 obviating to some extent the need for fancy type systems or separate tools. Haskell's type classes are at the heart of this approach: they ensure that generic functions can be defined succinctly and, in particular, that they can be used painlessly.

关键词： haskell 98 type classes generic programming

来源：评论

学校读者我要写书评

暂无评论

Concept-based optimization 07

Concept-based optimization

引用

Proceedings of the 2007 Symposium on Library-Centric Software Design

作者： Xiaolong Tang Jaakko Järvi Texas A&M University

ISBN: (纸本)9781605580869

Production compilers' optimizers typically operate at low abstraction levels, transformation rules enacting on operations on built-in types only. Transformations at higher levels of abstraction, on operations of types defined in libraries or by the user, are typically not supported. Such high-level optimizations could, however, yield greater benefits than first lowering the abstractions and subjecting the result to low-level transformations. Built-in compiler optimizations can in principle apply to user-defined types, if those types possess properties that guarantee that the optimizing transformations preserve the meaning of the program. The problem is conveying this information to the compiler in a non-disruptive *** article describes a framework for specifying and implementing generic "concept-based optimizations." The framework is based on careful categorization, applying the generic programming paradigm, of the algebraic properties that justify particular optimizing transformations. Our framework is built on top of ConceptGCC, a compiler implementing the new language features concept and concept map of the forthcoming standard C++. Concepts describe the syntactic and semantic properties of classes of types, for which generic semantics-preserving transformations can be defined. Concept maps establish memberships to these classes, enabling the generic optimizations for specific user-defined types.

关键词： C++ high-level optimization generic programming concepts

来源：评论

学校读者我要写书评

暂无评论

CGAL: the Computational Geometry Algorithms Library 09

CGAL: the Computational Geometry Algorithms Library

引用

Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems

作者： Andreas Fabri Sylvain Pion GeometryFactory France INRIA Sophia Antipolis - Méditerranée France

ISBN: (纸本)9781605586496

We present fundamental geometric data structures and algorithms offered by CGAL, the Computational Geometry Algorithms Library. As geometry is ubiquitous this library is used by application developers in medical imaging, VLSI, CAD/CAM, geophysics, computer graphics and last but not least GIS. In this demo we focus on those parts of CGAL which are relevant for geographic information systems software development.

关键词： geometric data structures and algorithms open source exact geometric computing generic programming C++

来源：评论

学校读者我要写书评

暂无评论

Associated types and constraint propagation for mainstream object-oriented generics 05

Associated types and constraint propagation for mainstream o...

引用

Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

作者： Jaakko Järvi Jeremiah Willcock Andrew Lumsdaine Texas A&M University College Station TX Indiana University Bloomington IN

ISBN: (纸本)9781595930316

Support for object-oriented programming has become an integral part of mainstream languages, and more recently generic programming has gained widespread acceptance as well. A natural question is how these two paradigms, and their underlying language mechanisms, should interact. One particular design option, that of using subtyping to constrain the type parameters of generic functions, has been chosen in the generics of Java and those planned for a future revision of C#.Certain shortcomings have previously been identified in using subtyping for constraining parametric polymorphism in the context of generic *** address these, we propose extending object-oriented interfaces and subtyping to include associated types and constraint *** types are type members of interfaces and classes. Constraint propagation allows certain constraints on type parameters to be inferred from other constraints on those parameters and their use in base class type *** paper demonstrates these extensions in the context of C# (with generics), describes a translation of the extended features to C#, and presents a formalism proving their safety. The formalism is applicable to other mainstream object-oriented languages supporting F-bounded polymorphism, such as Java.

关键词： constraint propagation types associated generics generic programming C# Java

来源：评论

学校读者我要写书评

暂无评论

Zero-Cost Constructor Subtyping 2020

Zero-Cost Constructor Subtyping

引用

Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages

作者： Andrew Marmaduke Christopher Jenkins Aaron Stump The University of Iowa Computer Science Iowa City IA United States

ISBN: (纸本)9781450389631

Constructor subtyping is a form of subtyping where two inductive types can be related as long as the inductive signature of one is a subsignature of the other. To be a subsignature requires every constructor of the smaller datatype be present in the larger datatype (modulo subtyping of the constructors’ types). In this paper, we describe a method for impredicatively encoding datatype signatures in Cedille (a dependently typed programming language) that supports highly flexible constructor subtyping, with the subtyping relation given by a derived notion of type inclusion witnessed by a heterogeneously typed identity function. Specifically, the conditions under which constructor subtyping is possible between datatypes are fully independent of the order in which constructors are listed in their declarations. After examining some extended case studies, we formulate generically a sufficient condition for constructor subtyping in Cedille using our technique.

关键词： generic programming impredicative encodings Cedille constructor subtyping

来源：评论

学校读者我要写书评

暂无评论

SimpleConcepts: Support for Constraints on generic Types in C++

SimpleConcepts: Support for Constraints on Generic Types in ...

引用

Federated Conference on Computer Science and Information Systems

作者： Reed Milewicz Marjan Mernik Peter Pirkelbauer University of Alabama at Birmingham Birmingham AL 35294 University of Maribor Slovenia

ISBN: (纸本)9781467344715

generic programming plays an essential role in C++ software through the use of templates. However, both the creation and use of template libraries is hindered by the fact that the language does not allow programmers to specify constraints on generic types. To date, no proposal to update the language to provide concepts has survived the committee process. Until that time comes, as a form of early support, this paper introduces SimpleConcepts, an extension to C++11 that provides support for concepts, sets of constraints on generic types. SimpleConcepts features are parsed according to an island grammar and source-to-source translation is used to lower concepts to pure C++11 code.

关键词： generic programming C++ Templates C++ Concepts

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共24页 << < 15 16 17 18 19 20 21 22 23 24 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：