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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

262 篇 会议
21 篇 期刊文献
9 册 图书

馆藏范围

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

日期分布

学科分类号

221 篇 工学
- 185 篇 软件工程
- 177 篇 计算机科学与技术...
- 22 篇 控制科学与工程
- 18 篇 电气工程
- 16 篇 信息与通信工程
- 8 篇 机械工程
- 7 篇 安全科学与工程
- 6 篇 生物医学工程（可授...
- 6 篇 生物工程
- 5 篇 电子科学与技术（可...
- 5 篇 交通运输工程
- 4 篇 光学工程
- 4 篇 材料科学与工程（可...
- 4 篇 航空宇航科学与技...
- 4 篇 网络空间安全
- 3 篇 仪器科学与技术
- 3 篇 化学工程与技术
- 1 篇 力学（可授工学、理...
48 篇 理学
- 36 篇 数学
- 7 篇 系统科学
- 6 篇 生物学
- 5 篇 物理学
- 5 篇 化学
- 2 篇 统计学（可授理学、...
41 篇 管理学
- 25 篇 管理科学与工程(可...
- 23 篇 图书情报与档案管...
- 9 篇 工商管理
10 篇 教育学
- 10 篇 教育学
- 2 篇 心理学(可授教育学...
1 篇 法学
- 1 篇 社会学
1 篇 农学
1 篇 医学
1 篇 艺术学

主题

23 篇 software enginee...
21 篇 design
19 篇 languages
11 篇 computer program...
11 篇 computer program...
10 篇 object oriented ...
9 篇 algorithms
8 篇 performance
8 篇 programming
8 篇 programming tech...
8 篇 code generation
7 篇 feature-oriented...
7 篇 automatic progra...
7 篇 java
7 篇 optimization
7 篇 generic programm...
7 篇 middleware
6 篇 generative progr...
6 篇 component
6 篇 software archite...

机构

4 篇 texas a&m univ c...
3 篇 univ alberta dep...
3 篇 school of space ...
3 篇 univ magdeburg d...
2 篇 univ lugano luga...
2 篇 college of telec...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 institute of sys...
2 篇 univ southampton...
2 篇 shanghai yanding...
2 篇 univ marburg d-3...
2 篇 kansas state uni...
2 篇 department of in...
2 篇 johannes kepler ...
2 篇 ecole polytech f...
2 篇 school of inform...
2 篇 northeastern uni...
2 篇 sixty-third rese...

作者

7 篇 apel sven
6 篇 binder walter
5 篇 ansaloni danilo
5 篇 moret philippe
4 篇 kaestner christi...
4 篇 batory don
4 篇 moessenboeck han...
3 篇 stefani jean-ber...
3 篇 schaeffer j
3 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
3 篇 szafron d
3 篇 cassou damien
3 篇 fischer bernd
2 篇 yuehui chen
2 篇 yang yuan
2 篇 javad marzbanrad
2 篇 hatcliff john
2 篇 guddat j

语言

279 篇 英文
13 篇 其他
1 篇 中文

检索条件"任意字段=6th International Conference on Generative Programming and Component Engineering"

共 292 条记录，以下是101-110 订阅

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

详细简洁

排序：

generative programming for automatic differentiation

引用

6th international conference on Automatic Differentiation, AD 2012

作者： Nehmeier, Marco Institute of Computer Science University of Würzburg Am Hubland Würzburg D 97074 Germany

ISBN: (纸本)9783642300226

In this paper we present a concept for a C++ implementation of forward automatic differentiation of an arbitrary order using expression templates and template metaprogramming. In contrast to other expression template implementations, the expression tree in our implementation has only symbolic characteristics. the run-time code is then generated from the tree structure using template metaprogramming functions to apply the rules of symbolic differentiation onto the single operations at compile-time. this generic approach has the advantage that the template metaprogramming functions are replaceable which offers the opportunity to easily generate different specialized algorithms. We tested the functionality, correctness and performance of a prototype in different case studies for floating point as well as interval data types and compared it against other implementations. © 2012 Springer-Verlag.

关键词： Digital arithmetic

来源：评论

学校读者我要写书评

暂无评论

Robust Random Fuzzy Portfolio Selection Model with Arbitrage Pricing theory Using TS Fuzzy Reasoning Method

Robust Random Fuzzy Portfolio Selection Model with Arbitrage...

引用

international conference on Soft Computing and Intelligent Systems

作者： Takashi Hasuike Hideki Katagiri Hiroshi Tsuda Graduate School of Information Science and Technology Osaka University Graduate School of Engineering Hiroshima University Faculty of Science and Engineering Doshisha University

ISBN: (纸本)9781467327428

this paper proposes a robust-based mean-variance portfolio selection problem with random fuzzy returns using a fuzzy reasoning method, particularly a standard TS fuzzy reasoning method. Arbitrage Pricing theory (APT) is introduced as a future return of each security, and each factor in APT is assumed to be a random fuzzy variable whose mean is derived from a fuzzy reasoning method. Furthermore, under interval inputs of fuzzy reasoning method, a robust programming approach is introduced in order to minimize the worst case of the total variance. the proposed model is equivalently transformed into the deterministic nonlinear programming problem, and so the solution steps to obtain the exact optimal portfolio are developed.

关键词： component Portfolio selection problem Arbitrage Pricing theory (APT) Random fuzzy programming TS Fuzzy reasoning method Robust programming

来源：评论

学校读者我要写书评

暂无评论

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs 10

Lightweight Modular Staging: A Pragmatic Approach to Runtime...

引用

9th international conference on generative programming and component engineering

作者： Rompf, Tiark Odersky, Martin Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland

ISBN: (纸本)9781450301541

Software engineering demands generality and abstraction, performance demands specialization and concretization. generative programming can provide both, but developing high-quality program generators takes a large effort, even if a multi-stage programming language is used. We present lightweight modular staging, a library-based multi-stage programming approach that breaks with the tradition of syntactic quasi-quotation and instead uses only types to distinguish between binding times. through extensive use of component technology, lightweight modular staging makes an optimizing compiler framework available at the library level, allowing programmers to tightly integrate domain-specific abstractions and optimizations into the generation process. We argue that lightweight modular staging enables a form of language virtualization, i.e. allows to go from a pure-library embedded language to one that is practically equivalent to a stand-alone implementation with only modest effort.

关键词： Design Languages Code Generation Multi-stage programming Domain-specific languages Language Virtualization

来源：评论

学校读者我要写书评

暂无评论

A component-based Run-time Evolution Infrastructure for Resource-Constrained Embedded Systems 10

A Component-based Run-time Evolution Infrastructure for Reso...

引用

9th international conference on generative programming and component engineering

作者： Navas, Juan F. Babau, Jean-Philippe Pulou, Jacques Orange Labs MAPS Res Grp Issy Les Moulineaux France Univ Europeenne Bretagne LISyC UBO UEB Brest France Orange Labs MAPS Res Grp Grenoble France

ISBN: (纸本)9781450301541

this paper deals with embedded systems software and the modification of its architecture and behavior at execution-time. Incautious implementation of these features demands both heavy memory and performance overrun. To accomplish such software evolution activities in resource-constrained embedded systems, we propose a component-based run-time evolution infrastructure that reconciles richness of evolution alternatives and performance requirements. Our proposal is based on off-site components reifications, which are representations of components that allow us to treat evolution concerns remotely. Hence, the workload to be processed by the embedded device is alleviated. Memory and processor-time resources consumption evaluation on a real-world scenario show the efficiency and pertinence of our approach.

关键词： Performance Design Management Evolution component models resource-constrained systems embedded systems reifications

来源：评论

学校读者我要写书评

暂无评论

Adding Genericity to a Plug-in Framework 10

Adding Genericity to a Plug-in Framework

引用

9th international conference on generative programming and component engineering

作者： Wolfinger, Reinhard Loeberbauer, Markus Jahn, Markus Moessenboeck, Hanspeter Johannes Kepler Univ Linz Inst Syst Software Linz Austria Johannes Kepler Univ Linz Christian Doppler Lab Automated Software Engn Linz Austria

ISBN: (纸本)9781450301541

Plug-in components are a means for making feature-rich applications customizable. Combined with plug-and-play composition, end users can assemble customized applications without programming. If plug-and-play composition is also dynamic, applications can be reconfigured on the fly to load only components the user needs for his current work. We have created ***, a plug-in framework that supports dynamic plug-and-play composition. the basis for plug-and-play in Plux is the composer which replaces programmatic composition by automatic composition. components just specify their requirements and provisions using metadata. the composer then assembles the components based on that metadata by matching requirements and provisions. When the composer needs to reuse general-purpose components in different parts of an application, the component model requires genericity. the composer depends on metadata that specify which components should be connected and for general-purpose components those metadata need to be different on each reuse. We present an approach for generic plug-ins with component templates and an implementation for Plux. the general-purpose components become templates and the templates get parameterized when they are composed.

关键词： Design Generic plug-ins component templates Plug-and-play composition Run-time adaptation Plug-in architectures Composition Generic programming

来源：评论

学校读者我要写书评

暂无评论

Code Clones in Feature-Oriented Software Product Lines 10

Code Clones in Feature-Oriented Software Product Lines

引用

9th international conference on generative programming and component engineering

作者： Schulze, Sandro Apel, Sven Kaestner, Christian Univ Magdeburg D-39106 Magdeburg Germany Univ Passau Passau Germany Univ Marburg D-35032 Marburg Germany

ISBN: (纸本)9781450301541

Some limitations of object-oriented mechanisms are known to cause code clones (e. g., extension using inheritance). Novel programming paradigms such as feature-oriented programming (FOP) aim at alleviating these limitations. However, it is an open issue whether FOP is really able to avoid code clones or whether it even facilitates (FOP-related) clones. To address this issue, we conduct an empirical analysis on ten feature-oriented software product lines with respect to code cloning. We found that there is a considerable number of clones in feature-oriented software product lines and that a large fraction of these clones is FOP-related (i.e., caused by limitations of feature-oriented mechanisms). Based on our results, we initiate a discussion on the reasons for FOP-related clones and on how to cope with them. We show by means of examples how such clones can be removed by applying refactorings.

关键词： Design languages measurements Code clones software product lines feature-oriented programming refactoring

来源：评论

学校读者我要写书评

暂无评论

JEqualityGen: Generating Equality and Hashing Methods 10

JEqualityGen: Generating Equality and Hashing Methods

引用

9th international conference on generative programming and component engineering

作者： Grech, Neville Rathke, Julian Fischer, Bernd Univ Southampton ECS Southampton SO9 5NH Hants England

ISBN: (纸本)9781450301541

Manually implementing equals (for object comparisons) and hashCode (for object hashing) methods in large software projects is tedious and error-prone. this is due to many special cases, such as field shadowing, comparison between different types, or cyclic object graphs. Here, we present JEqualityGen, a source code generator that automatically derives implementations of these methods. JEqualityGen proceeds in two states: it first uses source code reflection in MetaAspectJ to generate aspects that contain the method implementations, before it uses weaving on the bytecode level to insert these into the target application. JEqualityGen generates not only correct, but efficient source code that on a typical large-scale Java application exhibits a performance improvement of more than two orders of magnitude in the equality operations generated, compared to an existing system based on runtime reflection. JEqualityGen achieves this by generating runtime profiling code that collects data. this enables it to generate optimised method implementations in a second round.

关键词： Algorithms Performance theory meta-programming equality hashing code generation Java Scala AspectJ AOP

来源：评论

学校读者我要写书评

暂无评论

Applications of Enhanced Dynamic Code Evolution for Java in GUI Development and Dynamic Aspect-Oriented programming 10

Applications of Enhanced Dynamic Code Evolution for Java in ...

引用

9th international conference on generative programming and component engineering

作者： Wuerthinger, thomas Binder, Walter Ansaloni, Danilo Moret, Philippe Moessenboeck, Hanspeter Johannes Kepler Univ Linz Linz Austria Univ Lugano Lugano Switzerland

ISBN: (纸本)9781450301541

While dynamic code evolution in object-oriented systems is an important feature supported by dynamic languages, there is currently only limited support for dynamic code evolution in high-performance, state-of-the-art runtime systems for statically typed languages, such as the Java Virtual Machine. In this tool demonstration, we present the Dynamic Code Evolution VM, which is based on a recent version of Oracle's state-of-the-art Java HotSpot (TM) VM and allows unlimited changes to loaded classes at runtime. Based on the Dynamic Code Evolution VM, we developed an enhanced version of the Mantisse GUI builder (which is part of the NetBeans IDE) that allows adding GUI components without restarting the application under development. Furthermore, we redesigned the dynamic AOP framework HotWave to take advantage of the enhanced dynamic code evolution capabilities. the new version, HotWave2, now supports most AspectJ constructs, including around() advice and static cross-cutting. We will demonstrate both the enhanced Mantisse GUI builder as well as HotWave2, weaving several aspects for dynamic analysis in sizable applications at runtime.

关键词： Algorithms Languages Dynamic aspect-oriented programming runtime weaving dynamic code evolution dynamic software updates code hotswapping Java Virtual Machine

来源：评论

学校读者我要写书评

暂无评论

Static Analysis of Aspect Interaction and Composition in component Models 11

Static Analysis of Aspect Interaction and Composition in Com...

引用

10th ACM international conference on generative programming and component engineering (GPCE)/conference on Systems, programming, Languages and Application - Software for Humanity (SPLASH)

作者： Hannousse, Abdelhakim Douence, Remi Ardourel, Gilles EMN INRIA Ascola Nantes France

ISBN: (纸本)9781450306898

component based software engineering and aspect orientation are claimed to be two complementary approaches. While the former ensures the modularity and the reusability of software entities, the latter enables the modularity of crosscutting concerns that cannot be modularized as regular components. Nowadays, several approaches and frameworks are dedicated to integrate aspects into component models. However, when several aspects are woven, aspects may interact with each other which often results in undesirable behavior. the contribution of this paper is twofold. First, we show how aspectized component models can be formally modeled in UPPAAL model checker in order to detect negative interactions (a.k.a., interferences) among aspects. Second, we provide an extendible catalog of composition operators used for aspect composition. We illustrate our general approach with an airport Internet service example.

关键词： aspectized component models Aspect Interaction Analysis Aspect composition

来源：评论

学校读者我要写书评

暂无评论

Model-Driven engineering and Run-Time Model-Usage in Service Robotics 11

Model-Driven Engineering and Run-Time Model-Usage in Service...

引用

10th ACM international conference on generative programming and component engineering (GPCE)/conference on Systems, programming, Languages and Application - Software for Humanity (SPLASH)

作者： Steck, Andreas Lotz, Alex Schlegel, Christian Univ Appl Sci Ulm Dept Comp Sci Ulm Germany

ISBN: (纸本)9781450306898

the development of service robots has gained more and more attention over the last years. A major challenge on the way towards industrial-strength service robotic systems is to make the step from code-driven to model-driven engineering. In this work we propose to put models into the focus of the whole life-cycle of robotic systems covering design-time as well as run-time. We describe how to explicate parameters, properties and resource information in the models at design-time and how to take these information into account by the run-time system of the robot to support its decision making process. We underpin our work by an exhaustive real-world example which is completely developed with our tools.

关键词： component Based Software engineering Model-Driven engineering Run-Time Model Usage Service Robotics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共30页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：