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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

277 篇 会议
23 篇 期刊文献
7 册 图书

馆藏范围

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

日期分布

学科分类号

232 篇 工学
- 190 篇 软件工程
- 176 篇 计算机科学与技术...
- 17 篇 电气工程
- 17 篇 信息与通信工程
- 16 篇 控制科学与工程
- 11 篇 机械工程
- 11 篇 生物医学工程（可授...
- 8 篇 生物工程
- 6 篇 光学工程
- 6 篇 化学工程与技术
- 4 篇 土木工程
- 4 篇 交通运输工程
- 3 篇 力学（可授工学、理...
- 3 篇 材料科学与工程（可...
- 3 篇 电子科学与技术（可...
- 3 篇 建筑学
- 3 篇 水利工程
54 篇 理学
- 39 篇 数学
- 9 篇 物理学
- 9 篇 统计学（可授理学、...
- 8 篇 系统科学
- 7 篇 生物学
- 4 篇 化学
40 篇 管理学
- 23 篇 管理科学与工程(可...
- 19 篇 图书情报与档案管...
- 10 篇 工商管理
6 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
- 4 篇 药学(可授医学、理...
5 篇 教育学
- 5 篇 教育学
2 篇 经济学
1 篇 艺术学

主题

22 篇 software enginee...
21 篇 design
20 篇 languages
13 篇 computer program...
10 篇 algorithms
10 篇 computer program...
9 篇 object oriented ...
8 篇 performance
7 篇 feature-oriented...
7 篇 generative adver...
7 篇 linear programmi...
7 篇 generic programm...
7 篇 middleware
6 篇 principal compon...
6 篇 code generation
5 篇 aspect oriented ...
5 篇 automatic progra...
5 篇 optimization
5 篇 logic programmin...
5 篇 analytical model...

机构

4 篇 texas a&m univ c...
3 篇 univ magdeburg d...
2 篇 school of electr...
2 篇 fudan univ sch c...
2 篇 univ lugano luga...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 school of comput...
2 篇 univ southampton...
2 篇 univ marburg d-3...
2 篇 fraunhofer inst ...
2 篇 univ leicester d...
2 篇 kansas state uni...
2 篇 johannes kepler ...
2 篇 univ newcastle u...
2 篇 ecole polytech f...
2 篇 school of vehicl...
2 篇 northeastern uni...
2 篇 orange labs maps...

作者

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 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
3 篇 fischer bernd
2 篇 hatcliff john
2 篇 pataki norbert
2 篇 babau jean-phili...
2 篇 pistikopoulos en
2 篇 bozinis na
2 篇 aniruddha gokhal...
2 篇 siek jeremy
2 篇 freeman john

语言

294 篇 英文
12 篇 其他
1 篇 法文

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

共 307 条记录，以下是51-60 订阅

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

详细简洁

排序：

Extending AspectJ for Separating Regions 09

Extending AspectJ for Separating Regions

引用

8th international conference on generative programming and component engineering

作者： Akai, Shumpei Chiba, Shigeru Tokyo Inst Technol Tokyo Japan

ISBN: (纸本)9781605584942

Synchronization is a good candidate for an aspect in aspect-oriented programming (AOP) since programmers have to choose the best granularity of synchronization for the underlying hardware to obtain the best execution performance. If synchronization is an aspect, programmers can change the synchronization code independently of the rest of the program when the program runs on different hardware. However, existing AOP languages such as AspectJ have problems. they cannot select an arbitrary code region as a join point. Moreover, they cannot enforce weaving of a synchronization aspect. Since it is an alternative feature in feature modeling, at least one of available synchronization aspects must be woven. Otherwise, the program would be thread-unsafe. Since an aspect in AspectJ is inherently optional, programmers must be responsible for weaving it. To solve these problems, this paper proposes two new constructs for AspectJ, region cut and assertions for advice. Regioncut selects arbitrary code region as a join point and assertion for advice enforces weaving a mandatory advice. We implemented these constructs by extending the AspectBench compiler. We evaluated the design of our constructs by applying them to two open-source software products, Javassist and Hadoop.

关键词： Languages Design Aspect-Oriented programming Feature-Oriented programming Region Synchronization

来源：评论

学校读者我要写书评

暂无评论

generative metaprogramming 07

Generative metaprogramming

引用

GPCE'07 - 6th international conference on generative programming and component engineering

作者： Trujillo, Salvador Azanza, Maider Diaz, Oscar IKERLAN Research Centre Mondragon Spain ONEKIN Research Group University of the Basque Country San Sebastian Spain

ISBN: (纸本)9781595938558

Recent advances in Software engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when executed, will synthesize a target program. the traditional cycle of configuring-linking-compiling, now needs to be supplemented with additional transformation steps that refine and enhance an initial specification until the target program is obtained. So far, these synthesis processes are based on error-prone, hand-crafted scripting. To depart from this situation, this paper addresses generative metaprogramming, i.e. the generation of program-synthesis metaprograms from declarative specifications. To this end, we explore (i) the (meta) primitives for program synthesis, (ii) the architecture that dictates how these primitives can be intertwined, and (iii) the declarative specification of the metaprogram from which the code counterpart is generated. Copyright © 2007 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures 07

A type-centric framework for specifying heterogeneous, large...

引用

6th international conference on generative programming and component engineering

作者： Jung, Georg Hatcliff, John Univ Potsdam Inst Informat D-14482 Potsdam Germany Kansas State Univ Manhattan KS 66506 USA

ISBN: (纸本)9781595938558

Maintaining integrity and consistency, and effecting conformance in architectures of large-scale systems require specification and enforcement of many different forms of structural constraints. While type systems have proved effective for enforcing structural constraints in programs and data structures, most architectural modeling frameworks include only weak notions of typing or rely on first order logic constraint languages that have steep learning curves associated with them and that become unwieldy when scaling to large systems. We present the CADENA Architecture Language with Meta-modeling (CALM) - that uses multi-level type systems to specify and enforce a variety of architectural constraints relevant to the development of large-scale component-based systems. CADENA is a robust and extensible tool that has been used to specify a number of industrial strength component models and applied in multiple industrial research projects on model-driven development and software product lines. (C) 2009 Elsevier B.V. All rights reserved.

关键词： component-oriented development Meta-modeling Middleware Model-driven development Software architecture Type systems

来源：评论

学校读者我要写书评

暂无评论

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)

来源：评论

学校读者我要写书评

暂无评论

Advanced Runtime Adaptation for Java 09

Advanced Runtime Adaptation for Java

引用

8th international conference on generative programming and component engineering

作者： Villazon, Alex Binder, Walter Ansaloni, Danilo Moret, Philippe Univ Lugano Fac Informat CH-6900 Lugano Switzerland

ISBN: (纸本)9781605584942

Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which is important for building sophisticated, aspect-based software engineering tools, such as adaptive profilers or debuggers that dynamically modify instrumentation code in response to user interactions. Today, many AOP frameworks for Java, notably AspectJ, focus on aspect weaving at compile-time or at load-time, and offer only limited support for aspect adaptation and reweaving at runtime. In this paper, we introduce HotWave, an AOP framework based on AspectJ for standard Java Virtual Machines (JVMs). HotWave supports dynamic (re) weaving of previously loaded classes, and it ensures that all classes loaded in a JVM can be (re) woven, including the classes of the standard Java class library. HotWave features a novel mechanism for inter-advice communication, enabling efficient data passing between advices that are woven into the same method. We explain HotWave's programming model and discuss our implementation techniques. As case study, we present an adaptive, aspect-based profiler that leverages HotWave's distinguishing features.

关键词： Algorithms Languages Measurement Dynamic aspect-oriented programming runtime aspect adaptation and (re) weaving bytecode instrumentation code hotswapping AspectJ Java Virtual Machine

来源：评论

学校读者我要写书评

暂无评论

HotWave: Creating Adaptive Tools with Dynamic Aspect-Oriented programming in Java 09

HotWave: Creating Adaptive Tools with Dynamic Aspect-Oriente...

引用

8th international conference on generative programming and component engineering

作者： Villazon, Alex Binder, Walter Ansaloni, Danilo Moret, Philippe Univ Lugano Fac Informat CH-6900 Lugano Switzerland

ISBN: (纸本)9781605584942

Developing tools for profiling, debugging, testing, and reverse engineering is error-prone, time-consuming, and therefore costly when using low-level techniques, such as bytecode instrumentation. As a solution to these problems, we promote tool development in Java using high-level aspect-oriented programming (AOP). We demonstrate that the use of aspects yields compact tools that are easy to develop and extend. As enabling technology, we rely on HotWave, a new tool for dynamic and comprehensive aspect weaving. HotWave reconciles compatibility with existing virtual machine and AOP technologies. It provides support for runtime adaptation of aspects and reweaving of previously loaded code, as well as the ability to weave aspects into all methods executing in a Java Virtual Machine, including methods in the standard Java class library. HotWave also features a new mechanism for efficiently passing data between advices that are woven into the same method. We demonstrate the benefits of HotWave's distinguishing features with two case studies in the area of profiling.

关键词： Algorithms Languages Measurement Dynamic aspect-oriented programming runtime weaving bytecode instrumentation code hotswapping profiling AspectJ Java Virtual Machine

来源：评论

学校读者我要写书评

暂无评论

Exploring Attribute-Based Facial Synthesis with generative Adversarial Networks for Enhanced Patient Simulator Systems 7

Exploring Attribute-Based Facial Synthesis with Generative A...

引用

7th international conference on Software and System engineering (ICoSSE)

作者： Ali, Tariq Emad Ali, Faten Imad Pataki, Norbert Zoltan, Alwahab Dhulfiqar Univ Baghdad Al Khwarizmi Coll Engn Dept Informat & Commun Engn Baghdad Iraq AL Nahrain Univ Coll Engn Dept Biomed Engn Baghdad Iraq Eotvos Lorand Univ Fac Informat Dept Programming Languages & Compilers Budapest Hungary

ISBN: (纸本)9798350386608;9798350386592

Image generation using deep learning generative models has witnessed significant strides in various domains, particularly in scene and object generation. However, the complexities escalate when applied to facial image generation, especially in healthcare scenarios where detailed and realistic depictions are crucial. this paper introduces a pioneering approach to generating lifelike faces with specific attributes, including age, hair color, and gender, leveraging the manipulable latent space of a generative Adversarial Network (GAN). the proposed system not only holds promise for applications such as criminal identification and film production but also showcases practical implications in the healthcare domain. By offering a user-friendly interface for attribute input and face display, the system facilitates healthcare professionals in generating diverse patient avatars for medical training simulations. the implementation utilizes Python, PyTorch, and the CelebA dataset, with the training process conducted on Google Colab for computational efficiency. this work represents a novel intersection of advanced deep learning, human-computer interaction, and real-world healthcare applications, providing a holistic exploration of attribute-driven face synthesis in the medical field.

关键词： GANs AI CProGANs CPGAN Deep Learning

来源：评论

学校读者我要写书评

暂无评论

Refactoring product lines 06

Refactoring product lines

引用

5th international conference on generative programming and component engineering, GPCE'06. Co-located with the 21st international conference on Object-Oriented programming, Systems, Languages, and Applications, OOPSLA 2006

作者： Alves, Vander Gheyi, Rohit Massoni, Tiago Kulesza, Uirá Borba, Paulo Lucena, Carlos Informatics Center UFPE PUC-Rio

ISBN: (纸本)1595932372

Adoption strategies for Software Product Lines (SPL) frequently involve bootstrapping existing products into a SPL and extending an existing SPL to encompass another product. One way to do that is to use program refactorings. However, the traditional notion of refactoring does not handle appropriately feature models (FM), nor transformations involving multiple instances of the same SPL. For instance, it is not desirable to apply a refactoring into a SPL and reduce its configurability. In this paper, we extend the traditional notion of refactoring to an SPL context. Besides refactoring programs, FMs must also be refactored. We present a set of sound refactorings for FMs. We evaluate this extended refactoring definition for SPL in a real case study in the mobile games domain. Copyright © 2006 ACM.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Lightweight scalable components 07

Lightweight scalable components

引用

GPCE'07 - 6th international conference on generative programming and component engineering

作者： Kamina, Tetsuo Tamai, Tetsuo University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo 113-0033 Japan University of Tokyo 3-8-1 Komaba Meguro-ku Tokyo 153-8902 Japan

ISBN: (纸本)9781595938558

One limitation of the well-known family polymorphism approach is that each "family" will be a large monolithic program. In this paper, we introduce a minimal lightweight set of language features that treat each member of a family as a reusable programming unit, while preserving the important feature of scalability. the only one language construct we propose in this paper is type parameter members, which allows type parameters to be referred from the outside of class declarations. To investigate properties of type parameter members in the real programming language settings, we develop a programming language Scalable Java (SJ), an extension of Java generics with type parameter members. To carefully investigate the type soundness of SJ, we develop FGJ#, a core calculus of this extension based on FGJ, a functional core of Java with generics. Furthermore, to explore how to implement this proposal, we define the erasure of FGJ# programs as an extension of the erasure of FGJ programs, which compiles SJ to Java without generics. Copyright © 2007 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共31页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：