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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是141-150 订阅

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

详细简洁

排序：

Generating Execution Infrastructures for component-oriented Specifications With a Model Driven Toolchain A case study for MARTE's GCM and real-time annotations 09

Generating Execution Infrastructures for Component-oriented ...

引用

8th international conference on generative programming and component engineering

作者： Radermacher, Ansgar Cuccuru, Arnaud Gerard, Sebastien Terrier, Francois CEA LIST Lab Model Driven Engn Embedded Syst F-91191 Gif Sur Yvette France

ISBN: (纸本)9781605584942

the development of embedded Systems becomes more and more complex. Model driven engineering can help to manage this complexity by specifying real-time properties in a declarative way and automating the deployment. the UML profile MARTE is a OMG standard that allows to model real-time properties. However, there is no execution infrastructure that supports MARTE's generic component model (GCM) and the application modeling (HLAM). the contribution of the paper is twofold: it presents a proposition of a component model with flexible interaction support that allows to tailor code generation to domain and target requirements. Second, it will show how MARTE's GCM concepts can be implemented by means of the proposed component model. the proposed component model has been largely developed in the context of the French national project Flex-eWare with the intention to unify major components model, notably the CORBA component model (CCM) and Fractal. the paper explains the major elements of this model in detail and shows how specific connector and containers can implement MARTE specifications. We present the tool support that is integrated into a UML modeler and based on model-to- model and model to text transformations.

关键词： Design component models MARTE model driven engineering middleware connectors

来源：评论

学校读者我要写书评

暂无评论

Algorithms for User Interfaces 09

Algorithms for User Interfaces

引用

8th international conference on generative programming and component engineering

作者： Jarvi, Jaakko Marcus, Mat Parent, Sean Freeman, John Smith, Jacob Texas A&M Univ College Stn TX 77843 USA

ISBN: (纸本)9781605584942

User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by user interface elements, conditionally enabled controls, and script record-ability and playback against different documents. A significant fraction of the application programming effort is devoted to implementing such functionality, and the resulting code is typically not reusable. this paper extends our "property models" approach to programming user interfaces. Property models allow a large part of the functionality of a user interface to be implemented in reusable libraries, reducing application specific code to a set of declarative rules. We describe how, as a by-product of computations that maintain the values of user interface elements, property models obtain accurate information of the currently active dependencies among those elements. this information enables further expanding the class of user interface functionality that we can encode as generic algorithms. In particular, we describe automating the decisions for the enablement of user interface widgets and activation of command widgets. Failing to disable or deactivate widgets correctly is a common source of user-interface defects, which our approach largely removes. We report on the increased reuse, reduced defect rates, and improved user interface design turnarounds in a commercial software development effort as a result of adopting our approach.

关键词： Algorithms Design Software reuse component software User interfaces Declarative specifications Constraint systems

来源：评论

学校读者我要写书评

暂无评论

GPCE'10 - Proceedings of the 2010 conference on generative programming and component engineering

GPCE'10 - Proceedings of the 2010 Conference on Generative P...

引用

9th international conference on generative programming and component engineering, GPCE'10

ISBN: (纸本)9781450301541

the proceedings contain 20 papers. the topics discussed include: automatic variation-point identification in function-block-based models;efficient extraction and analysis of preprocessor-based variability;iterative type inference with attribute grammars;automatic and efficient simulation of operation contracts;implicit invocation meets safe, implicit concurrency;a component-based run-time evolution infrastructure for resource-constrained embedded systems;code clones in feature-oriented software product lines;composition of dynamic analysis aspects;applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming;domain-specific language integration with compile-time parser generator library;ABI compatibility through a customizable language;model-based kinematics generation for modular mechatronic toolkits;and incremental type-checking for type-reflective metaprograms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Mapping Problem-Space to Solution-Space Features: A Feature Interaction Approach 09

Mapping Problem-Space to Solution-Space Features: A Feature ...

引用

8th international conference on generative programming and component engineering

作者： Sanen, Frans Truyen, Eddy Joosen, Wouter Katholieke Univ Leuven Dept Comp Sci DistriNet B-3001 Heverlee Belgium

ISBN: (纸本)9781605584942

Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as generating the most optimal combination of software features given a requirements specification and given a set of configuration rules. Current approaches however provide little support for expressing complex configuration rules between problem and solution space that support incomplete requirements specifications. In this paper, we propose an approach to model complex configuration rules based on a generalization of the concept of problem-solution feature interactions. these are interactions between solution-space features that only arise in specific problem contexts. the use of an existing tool to support our approach is also discussed: we use the DLV answer set solver to express a particular configuration problem as a logic program whose answer set corresponds to the optimal combinations of solution-space features. We motivate and illustrate our approach with a case study in the field of managing dynamic adaptations in distributed software, where the goal is to generate an optimal protocol for accommodating a given adaptation.

关键词： Algorithms design performance reliability Software product line engineering configuration knowledge problem-solution feature interactions default logic DLV distributed runtime adaptation

来源：评论

学校读者我要写书评

暂无评论

Reusable, Generic Program Analyses and Transformations 09

Reusable, Generic Program Analyses and Transformations

引用

8th international conference on generative programming and component engineering

作者： Willcock, Jeremiah Lumsdaine, Andrew Quinlan, Daniel Indiana Univ Bloomington IN 47405 USA Lawrence Livermore Natl Lab Livermore CA USA

ISBN: (纸本)9781605584942

the optimizations in modern compilers are constructed for a predetermined set of primitive types. As a result, programmers are unable to exploit optimizations for user-defined types where these optimizations would be correct and beneficial. Moreover, because the set of optimizations is also fixed, programmers are unable to incorporate new optimizations into the compiler. To address these limitations, we apply the reuse methodologies from generic programming to compiler analyses and optimizations. To enable compilers to apply optimizations to classes of types rather than particular types, we define optimizations in terms of generic interface descriptions (similar to C++ concepts or Haskell type classes). By extending these interface descriptions to include associated program analysis and transformation fragments, we enable compilers to incorporate user-defined transformations and analyses. Since these transformations are explicitly associated with interface descriptions, they can be applied in generic fashion by the compiler. We demonstrate that classical compiler optimizations, when generalized using this framework, can apply to a broad range of types, both built-in and user-defined. Finally, we present an initial implementation, the principles of which are generalizable to other compilers.

关键词： Languages Performance Generic programming compiler optimization program analysis

来源：评论

学校读者我要写书评

暂无评论

Transactional Pointcuts Designation, Reification, and Advice of Interrelated Join Points 09

Transactional Pointcuts Designation, Reification, and Advice...

引用

8th international conference on generative programming and component engineering

作者： Sadat-Mohtasham, Hossein Hoover, H. James Univ Alberta Dept Comp Sci Software Engn Res Lab Edmonton AB T6G 2M7 Canada

ISBN: (纸本)9781605584942

Aspect-oriented mechanisms are characterized by their join point models. A join point model has three components: join points, which are elements of language semantics;"a means of identifying join points";and "a means of affecting the behaviour at those join points." A pointcut-advice model is a dynamic join point model in which join points are points in program execution. Pointcuts select a set of join points, and advice affects the behaviour of the selected join points. In this model, join points are typically selected and advised independently of each other. that is, the relationships between join points are not taken into account in join point selection and advice. In practice, join points are often not independent. Instead, they form part of a higher-level operation that implements the intent of the developer (e.g. managing a resource). there are natural situations in which join points should be selected only if they play a specific role in that operation. We propose a new join point model that takes join point interrelationships into account and allows the designation of more complex computations as join points. Based on the new model, we have designed an aspect-oriented construct called a transactional point-cut (transcut). Transcuts select sets of interrelated join points and reify them into higher-level join points that can be advised. they share much of the machinery and intuition of pointcuts, and can be viewed as their natural extension. We have implemented a transcuts prototype as an extension to the AspectJ language and integrated it into the abc compiler. We present an example where a transcut is applied to implement recommended resource handling practices in the presence of exceptions within method boundaries.

关键词： Design Languages Aspect-oriented programming Join Point Model Transactional Pointcut

来源：评论

学校读者我要写书评

暂无评论

Dashboard: An integration and testing platform based on blackboard architecture for NLP applications

Dashboard: An integration and testing platform based on blac...

引用

6th international conference on Natural Language Processing and Knowledge engineering, NLP-KE 2010

作者： Kumar, Pawan Rathaur, Arun Kumar Ahmad, Rashid Sinha, Mukul K. Sangal, Rajeev Expert Software Consultants Ltd. Noida India International Institute of Information Technology Hyderabad India

ISBN: (纸本)9781424468966

the paper presents a software integration, testing and visualization tool, called Dashboard, which s based on pipe-lined blackboard architecture for family of natural language processing (NLP) applications. the Dashboard helps in testing of a module in isolation, facilitating the training and tuning of a module, integration and testing of a set of heterogeneous modules, and building and testing of complete integrated system as well. It is also equipped with a user-friendly visualization tool to build, test, and integrate a system (or a subsystem) and view its component-wise performance, and step-wise processing as well. the Dashboard is being successfuly used by a consortium of eleven academic institutions to develop a suite of bi-directional machine translation (MT) systems for nine pairs of Indie languages, and six MT systems have already been deployed on web. the MT systems are being developed by reusing / re-engineering previously developed NLP modules, by different institutions, in different programming languages, using Dashboard as the testing and integration tool. the paper also discusses the experiences of developing MT products in consortium mode, using Dashboard as its integrating and testing platform, and its proposed enhancements. ©2010 IEEE.

关键词： Integration testing

来源：评论

学校读者我要写书评

暂无评论

GPCE'09 - Proceedings of the 8th international ACM SIGPLAN conference on generative programming and component engineering: Foreword

GPCE'09 - Proceedings of the 8th International ACM SIGPLAN C...

引用

GPCE'09 - Proceedings of the 8th international ACM SIGPLAN conference on generative programming and component engineering 2009年 iii页

作者： Siek, Jeremy Fischer, Bernd University of Colorado Boulder CO United States University of Southampton Southampton United Kingdom

来源：评论

学校读者我要写书评

暂无评论

Artificial Intelligence Applications and Innovations - 6th IFIP WG 12.5 international conference, AIAI 2010, Proceedings

Artificial Intelligence Applications and Innovations - 6th I...

引用

6th IFIP WG 12.5 international conference on Artificial Intelligence Applications and Innovations, AIAI 2010

ISBN: (纸本)364216238X

the proceedings contain 48 papers. the topics discussed include: modern machine learning techniques and their applications to medical diagnostics;innovative applications of artificial intelligence techniques in software engineering;linear probability forecasting;the importance of similarity metrics for representative users identification in recommender systems;an optimal scaling approach to collaborative filtering using categorical principal component analysis and neighborhood formation;a classroom observation model fitted to stochastic and probabilistic decision systems;prediction with confidence based on a random forest classifier;a generic tool for building fuzzy cognitive map systems;a fuzzy rule-based approach to design game rules in a mission planning and evaluation system;automatically designing robot controllers and sensor morphology with genetic programming;and multiple criteria performance analysis of non-dominated sets obtained by multi-objective evolutionary algorithms for optimization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Study on semi-finished ship structural components assembly sequence optimization

Study on semi-finished ship structural components assembly s...

引用

international conference on Natural Computation

作者： Jin, Chaoguang Wang, Yunlong Zhang, Wenhao Lin, Yan School of Naval Architecture Engineering Dalian University of Technology Dalian China

ISBN: (纸本)9781424459612

Ship is a huge system, assembled by the millions of components, and ship building process is a more complicated systematic project. Assembly is an important part during the building process because assembly sequence has a direct impact on the shipbuilding cycle, assembly quality and construction cost. therefore it is significant to study the ship assembly sequence optimization for reducing shipbuilding cycle and improving the quality. According to the characteristics of real ship building process and the requirements of assembly sequence optimization, Ship structural components disassembly interference matrix was also generated based on component interference conditions. And then the model of assembly sequence optimization is build based on ant colony algorithm(ACO). Finally, using CATIA three-dimensional modeling software, taking double bottoms section of a bulk carrier as an example, based on the ACO, a reasonable assembly sequence was generated with the ship structural components optimizing programming. © 2010 IEEE.

关键词： Ships

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共30页 << < 11 12 13 14 15 16 17 18 19 20 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：