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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

21 篇 会议

馆藏范围

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

日期分布

学科分类号

21 篇 工学
- 21 篇 计算机科学与技术...
- 21 篇 软件工程
- 1 篇 电气工程
- 1 篇 电子科学与技术（可...
3 篇 管理学
- 2 篇 图书情报与档案管...
- 1 篇 管理科学与工程(可...
- 1 篇 工商管理
2 篇 理学
- 2 篇 数学
1 篇 教育学
- 1 篇 教育学

主题

8 篇 computer program...
2 篇 automatic progra...
2 篇 computer program...
1 篇 object oriented ...
1 篇 experimentation
1 篇 languages
1 篇 linux
1 篇 technical presen...
1 篇 conditional comp...
1 篇 predictable depl...
1 篇 interfaces (comp...
1 篇 c (programming l...
1 篇 program compiler...
1 篇 information retr...
1 篇 measurement
1 篇 component-based ...
1 篇 variability
1 篇 computer softwar...

机构

2 篇 northeastern uni...
1 篇 univ auckland de...
1 篇 free univ berlin...
1 篇 obasco group éco...
1 篇 vanderbilt univ ...
1 篇 sable research g...
1 篇 univ illinois ur...
1 篇 inria labri f-33...
1 篇 rice univ housto...
1 篇 programming tool...
1 篇 jacquard group l...
1 篇 univ bristol dep...
1 篇 nasa ames res ct...
1 篇 brics university...
1 篇 univ dayton dept...
1 篇 ecole mines nant...
1 篇 national high pe...
1 篇 univ erlangen nu...
1 篇 mcmaster univ ha...
1 篇 univ utah salt l...

作者

1 篇 apel s
1 篇 ramakrishnan n
1 篇 lutteroth c
1 篇 christensen aske...
1 篇 lhoták ondřej
1 篇 sincero julio
1 篇 kuzins sascha
1 篇 taha w
1 篇 hendren laurie
1 篇 hirschowitz tom
1 篇 réveillère l
1 篇 kamin s
1 篇 barthou d
1 篇 latry f
1 篇 fischer b
1 篇 le meur anne-fra...
1 篇 aktemur b
1 篇 gokhale aniruddh...
1 篇 willemsen johnny
1 篇 jarzabek s

语言

21 篇 英文

检索条件"任意字段=4th International Conference on Generative Programming and Component Engineering, GPCE 2005"

共 21 条记录，以下是1-10 订阅

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

详细简洁

排序：

generative programming and component engineering - 4th international conference, gpce 2005, Proceedings

Generative Programming and Component Engineering - 4th Inter...

引用

4th international conference on generative programming and component engineering, gpce 2005

ISBN: (纸本)3540291385

the proceedings contain 30 papers. the topics discussed include: object-oriented reengineering patterns - an overview;certifiable program generation;efficient code generation for a domain specific language;Bossa Nova: introducing modularity into the Bossa domain-specific language;model compiler construction based on aspect-oriented mechanisms;shadow programming: reasoning about programs using Lexical join point information;generalized type-based disambiguation of meta programs with concrete object syntax;semi-inversion of guarded equations;a generative programming approach to interactive information retrieval: insights and experiences;and optimizing marshalling by run-time program generation.

关键词： Technical presentations

来源：评论

学校读者我要写书评

暂无评论

component-oriented programming with sharing: Containment is not ownership 05

Component-oriented programming with sharing: Containment is ...

引用

4th international conference on generative programming and component engineering, gpce 2005

作者： Hirschkoff, Daniel Hirschowitz, Tom Pous, Damien Schmitt, Alan Stefani, Jean-Bernard LIP ENS Lyon 46 Allée d'Italie 69364 Lyon Cedex 07 France INRIA Rhône-Alpes 655 Avenue de l'Europe 38334 St Ismier France

ISBN: (纸本)3540291385

component-oriented programming yields a tension between higher-order features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose a discipline for component-oriented programming to address this issue, and we define a process calculus whose operational semantics embodies this programming discipline. We present several examples that illustrate how the calculus supports component sharing, while allowing strong encapsulation and higher-order primitives. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Infrastructure for component-Based DDS Application Development 11

Infrastructure for Component-Based DDS Application Developme...

引用

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

作者： Otte, William R. Gokhale, Aniruddha Schmidt, Douglas C. Willemsen, Johnny Vanderbilt Univ Dept EECS Nashville TN 37240 USA

ISBN: (纸本)9781450306898

Enterprise distributed real-time and embedded (DRE) systems are increasingly being developed with the use of component-based software techniques. Unfortunately, commonly used component middleware platforms provide limited support for event-based publish/subscribe (pub/sub) mechanisms that meet both quality-of-service (QoS) and configurability requirements of DRE systems. On the other hand, although pub/sub technologies, such as OMG Data Distribution Service (DDS), support a wide range of QoS settings, the level of abstraction they provide make it hard to configure them due to the significant source-level configuration that must be hard-coded at compile time or tailored at run-time using proprietary, ad hoc configuration logic. Moreover, developers of applications using native pub/sub technologies must write large amounts of boilerplate "glue" code to support run-time configuration of QoS properties, which is tedious and error-prone. this paper describes a novel, generative approach that combines the strengths of QoS-enabled pub/sub middleware with component-based middleware technologies. In particular, this paper describes the design and implementation of DDS4CIAO which addresses a number of inherent and accidental complexities in the DDS4CCM standard. DDS4CIAO simplifies the development, deployment, and configuration of component-based DRE systems that leverage DDS's powerful QoS capabilities by provisioning DDS QoS policy settings and simplifying the development of DDS applications.

关键词： component-based real-time systems predictable deployment

来源：评论

学校读者我要写书评

暂无评论

abc: the AspectBench compiler for AspectJ 05

abc: The AspectBench compiler for AspectJ

引用

4th international conference on generative programming and component engineering, gpce 2005

作者： Allan, Chris Avgustinov, Pavel Christensen, Aske Simon Hendren, Laurie Kuzins, Sascha Lhoták, Jennifer Lhoták, Ondřej De Moor, Oege Sereni, Damien Sittampalam, Ganesh Tibbie, Julian Programming Tools Group Oxford University United Kingdom BRICS University of Aarhus Denmark Sable Research Group McGill University Montreal Canada

abc is an extensible, optimising compiler for AspectJ. It has been designed as a workbench for experimental research in aspect-oriented programming languages and compilers. We outline a programme of research in these ... 详细信息

ISBN: (纸本)3540291385

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

AOP++: A generic aspect-oriented programming framework in C++ 05

AOP++: A generic aspect-oriented programming framework in C+...

引用

4th international conference on generative programming and component engineering, gpce 2005

作者： Yao, Zhen Zheng, Qi-Long Chen, Guo-Liang National High Performance Computing Center at Hefei Department of Computer Science and Technology University of Science and Technology of China Hefei Anhui 230027 China

ISBN: (纸本)3540291385

this paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic programming naturally in the framework of standard C++. It innovatively makes use of C++ templates to express pointcut expressions and match join points at compile time. It innovatively creates a full-fledged aspect weaver by using template metaprogramming techniques to perform aspect weaving. It is notable that AOP++ itself is written completely in standard C++, and requires no language extensions. With the help of AOP++, C++ programmers can facilitate AOP with only a little effort. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Efficient Extraction and Analysis of Preprocessor-Based Variability 10

Efficient Extraction and Analysis of Preprocessor-Based Vari...

引用

9th international conference on generative programming and component engineering

作者： Sincero, Julio Tartler, Reinhard Lohmann, Daniel Schroeder-Preikschat, Wolfgang Univ Erlangen Nurnberg Dept Comp Sci 4 D-8520 Erlangen Germany

ISBN: (纸本)9781450301541

the C Preprocessor (CPP) is the tool of choice for the implementation of variability in many large-scale configurable software projects. Linux, probably the most-configurable piece of software ever, employs more than 10,000 preprocessor variables for this purpose. However, this de-facto variability tends to be "hidden in the code";which on the long term leads to variability defects, such as dead code or inconsistencies with respect to the intended (modeled) variability of the software. this calls for tool support for the efficient extraction of (and reasoning over) CPP-based variability. We suggest a novel approach to extract CPP-based variability. Our tool transforms CPP-based variability in O(n) complexity into a propositional formula that "mimics" all valid effects of conditional compilation and can be analyzed with standard SAT or BDD packages. Our evaluation results demonstrate the scalability and practicability of the approach. A dead-block-analysis on the complete Linux source tree takes less than 30 minutes;we thereby have revealed 60 dead blocks, 2 of which meanwhile have been confirmed as new (and long-lasting) bugs;the rest is still under investigation.

关键词： Languages Measurement Experimentation Linux Conditional Compilation Variability

来源：评论

学校读者我要写书评

暂无评论

A type system for reflective program generators 05

A type system for reflective program generators

引用

4th international conference on generative programming and component engineering

作者： Draheim, D Lutteroth, C Weber, G Free Univ Berlin Inst Comp Sci D-14195 Berlin Germany Univ Auckland Dept Comp Sci Auckland 1020 New Zealand

ISBN: (纸本)3540291385

In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. this mechanism makes many code generation tasks possible for which generic types alone would be insufficient. the power of code generation features are carefully balanced with their safety, so that we axe able to perform static type checks on generator code. this leads to a generalized notion of type safety for generators.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

On domain-specific languages reengineering 05

On domain-specific languages reengineering

引用

4th international conference on generative programming and component engineering

作者： Alias, C Barthou, D Univ Versailles Lab PRiSM F-78000 Versailles France

ISBN: (纸本)3540291385

Domain-specific languages (DSL) provides high-level functions making applications easier to write, and to maintain. Unfortunately, many applications axe written from scratch and poorly documented, which make them hard to maintain. An ideal solution should be to rewrite them in a appropriate DSL. In this paper, we present TeMa (Template Matcher), an automatic tool to recognize high-level functions in source code. Preliminary results show how TeMa can be used to reformulate Fortran code into Signal Processing Language (SPL) used in SPIRAL. this opens new possibilities for domain-specific languages.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Syntactic abstraction in component interfaces 05

Syntactic abstraction in component interfaces

引用

4th international conference on generative programming and component engineering

作者： Culpepper, R Owens, S Flatt, M Northeastern Univ Boston MA 02115 USA Univ Utah Salt Lake City UT 84112 USA

ISBN: (纸本)3540291385

In this paper, we show how to combine a component system and a macro system. A component system separates the definition of a program fragment from the statements that link it, enabling independent compilation of the fragment. A macro system, in contrast, relies on explicit links among fragments that import macros, since macro expansion must happen at compile time. Our combination places macro definitions inside component signatures, thereby permitting macro expansion at compile time, while still allowing independent compilation and linking for the run-time part of components.

关键词： Interfaces (computer)

来源：评论

学校读者我要写书评

暂无评论

Efficient code generation for a domain specific language 05

Efficient code generation for a domain specific language

引用

4th international conference on generative programming and component engineering

作者： Moss, A Muller, H Univ Bristol Dept Comp Sci Bristol BS8 1TH Avon England

ISBN: (纸本)3540291385

We present a domain-specific-language (DSL) for writing instances of a class of filter programs. the values in the language are symbolic and independent of a concrete precision. Efficient code generation is required to fit the program onto a target device limited in both memory and processing power. We construct an interpreter for the DSL in a language specific to the device which contains the semantics of the target instruction set embedded within a declarative meta-language. the compiler is automatically generated from the interpreter through specialisation. this extension of the instruction set allows the construction of an interpreter for the DSL that is both simple and clear. In particular it allows us to declare static representations of the symbolic values, and have the specialisation of the code produce operate upon these values in the instruction set of the target device.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共3页 << < 1 2 3 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：