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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

48 篇 会议
36 篇 期刊文献
3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

75 篇 工学
- 53 篇 计算机科学与技术...
- 49 篇 软件工程
- 13 篇 电气工程
- 4 篇 控制科学与工程
- 2 篇 材料科学与工程（可...
- 1 篇 机械工程
- 1 篇 信息与通信工程
- 1 篇 石油与天然气工程
- 1 篇 航空宇航科学与技...
- 1 篇 安全科学与工程
4 篇 理学
- 2 篇 数学
- 2 篇 化学
- 1 篇 地球物理学
3 篇 管理学
- 3 篇 管理科学与工程(可...
1 篇 文学
- 1 篇 新闻传播学
1 篇 历史学
- 1 篇 考古学
1 篇 艺术学
- 1 篇 艺术学理论

主题

87 篇 generative progr...
7 篇 domain-specific ...
6 篇 languages
5 篇 pervasive comput...
5 篇 model-driven eng...
5 篇 staging
4 篇 software archite...
4 篇 design
4 篇 aspect-oriented ...
3 篇 program analysis
3 篇 reflection
3 篇 templates
3 篇 domain specific ...
3 篇 embedded systems
3 篇 metaprogramming
3 篇 c plus
3 篇 programming fram...
3 篇 template metapro...
3 篇 python
3 篇 reusable compone...

机构

3 篇 univ bordeaux bo...
3 篇 inria bordeaux b...
2 篇 ecole polytech f...
2 篇 vtt informat tec...
2 篇 univ york york n...
2 篇 univ alabama bir...
2 篇 univ bordeaux in...
2 篇 univ maribor fac...
2 篇 ecole polytechni...
1 篇 university of ap...
1 篇 univ auckland de...
1 篇 inria bordeaux s...
1 篇 univ bordeaux 1 ...
1 篇 free univ berlin...
1 篇 clemson univ dep...
1 篇 dassault système...
1 篇 univ surrey sch ...
1 篇 inria le chesnay
1 篇 st electronics p...
1 篇 microsoft res lt...

作者

8 篇 consel charles
5 篇 balland emilie
4 篇 gokhale aniruddh...
4 篇 falcou joel
4 篇 cassou damien
3 篇 tambe sumant
3 篇 rompf tiark
2 篇 arora ritu
2 篇 loriant nicolas
2 篇 etiemble daniel
2 篇 kolovos dimitris
2 篇 miguel ian
2 篇 savikko v
2 篇 nightingale pete...
2 篇 kotthoff lars
2 篇 yohannis alfa
2 篇 balasubramaniam ...
2 篇 kabac milan
2 篇 bruneau julien
2 篇 spinellis diomid...

语言

77 篇 英文
10 篇 其他

检索条件"主题词=generative programming"

共 87 条记录，以下是41-50 订阅

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

详细简洁

排序：

Exposing Proprietary Virtual Reality Software to Nontraditional Displays

Exposing Proprietary Virtual Reality Software to Nontraditio...

引用

20th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision

作者： Mory, Maik Masik, Steffen Mueller, Richard Koeppen, Veit Otto von Guericke Univ Magdeburg Germany Fraunhofer Inst Factory Operat & Automat Magdeburg Germany Univ Leipzig Leipzig Germany

ISBN: (纸本)9788086943794

Nontraditional displays just started their triumph. In contrast to traditional displays, which are plane and rectangular, they do not only differ in design and architecture;they also implicate different semantics and pragmatics in the rendering pipeline. We strive for a generic solution that couples legacy applications with nontraditional displays. In this paper, we present an architecture and a respective experiment, which exposes a proprietary virtual reality software to a 360 degree virtual environment. Therefore we introduce a rigorous master-slave design. The proposed architecture requires discussion of the following details: how to access a proprietary application's OpenGL stream;how to transmit the OpenGL stream efficiently in a clustered rendering setup;how to process the OpenGL stream for adaption to nontraditional display semantics;and how to deal with the arising code complexity, withal. Our design decisions are highly interdependent. The presented architecture overcomes limitations, which were implied by client-server design in earlier work. The proposed rigorous master-slave design is totally transparent to the client software, and reduces interdependencies between rendering software and rendering clusters. Thus, it inherently reduces network round trips and promotes the use of scalable multicast. Our architecture is tested in a reproducible experiment, which provides a qualitative proof of concept.

关键词： Nontraditional Display OpenGL Distributed Rendering Multicast Interoperability generative programming

来源：评论

学校读者我要写书评

暂无评论

Dominion: An Architecture-driven Approach to Generating Efficient Constraint Solvers

Dominion: An Architecture-driven Approach to Generating Effi...

引用

9th Working IEEE/IFIP Conference on Software Architecture (WICSA) on Architecture Across Boundaries/CompArch Conference

作者： Balasubramaniam, Dharini de Silva, Lakshitha Jefferson, Chris Kotthoff, Lars Miguel, Ian Nightingale, Peter Univ St Andrews Sch Comp Sci St Andrews KY16 9SX Fife Scotland

ISBN: (纸本)9780769543512

Constraints are used to solve combinatorial problems in a variety of industrial and academic disciplines. However most constraint solvers are designed to be general and monolithic, leading to problems with efficiency, scalability and extensibility. We propose a novel, architecture-driven constraint solver generation framework called Dominion to tackle these issues. For any given problem, Dominion generates a lean and efficient solver tailored to that problem. In this paper, we outline the Dominion approach and its implications for software architecture specification of the solver.

关键词： Component architectures Computer architecture Generators Libraries Monitoring Production facilities Software architecture Software architecture constraint solver generative programming

来源：评论

学校读者我要写书评

暂无评论

MDDPro: Model-driven dependability provisioning in enterprise distributed real-time and embedded systems

MDDPro: Model-driven dependability provisioning in enterpris...

引用

4th International Service Availability Symposium

作者： Tambe, Sumant Balasubramanian, Jaiganesh Gokhale, Aniruddha Damiano, Thomas Vanderbilt Univ 221 Kirkland Hall Nashville TN 37240 USA Mitre Corp Mclean VA USA

ISBN: (纸本)9783540727354

Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computing, due to the availability of real-time component middleware platforms. Traditional approaches to fault tolerance that rely on replication and recovery of a single server or a single host do not work in this paradigm since the fault management schemes must now account for the timely and simultaneous failover of groups of entities while improving system availability by minimizing the risk of simultaneous failures of replicated entities. This paper describes MDDPro, a model-driven dependability provisioning tool for DRE systems. MDDPro provides intuitive modeling abstractions to specify failover requirements of DRE systems at different granularities. MDDPro enables plugging in different replica placement algorithms to improve system availability. Finally, its generative capabilities automate the deployment and configuration of the DRE system on the underlying platforms.

关键词： dependability design tools model-driven engineering generative programming real-time SOA systems

来源：评论

学校读者我要写书评

暂无评论

A pattern for static reflection on fields - Sharing internal representations in indexed family containers

A pattern for static reflection on fields - Sharing internal...

引用

2nd International Conference on Software and Data Technologies

作者： Priesnitz, Andreas P. Schupp, Sibylle Chalmers Dept Comp Sci & Engn S-41296 Gothenburg Sweden

ISBN: (纸本)9789898111050

Reflection allows defining generic operations in terms of the constituents of objects. These definitions incur overhead if reflection takes place at run time, which is the common case in popular languages. If performance matters, some compile-time means of reflection is desired to obviate that penalty. Furthermore, the information provided by static reflection can be utilised for class generation, e.g., to optimize internal representation. We demonstrate how to provide static reflection on class field properties by means of generic components in an OO language with static meta-programming facilities. Surprisingly, a major part of the solution is not specific to the particular task of providing reflection. We define the internal representation of classes by a reworked implementation of a generic container that models the concept of a statically indexed family. The proposed features of this implementation are also beneficial to its use as a common container.

关键词： static reflection serialization container generative programming high performance

来源：评论

学校读者我要写书评

暂无评论

A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages 2023

A pred-LL(*) Parsable Typed Higher-Order Macro System for Ar...

引用

22nd ACM SIGPLAN International Conference on generative programming - Concepts and Experiences (GPCE)

作者： Hochrainer, Christoph Krall, Andreas TU Wien Vienna Austria

ISBN: (纸本)9798400704062

Macro systems are powerful language extension tools for Architecture Description Languages (ADLs). Their generative power in combination with the simplicity of specification languages allows for a substantial reduction of repetitive specification sections. This paper explores how the introduction of function- and record types in a template-based macro system impacts the specification of ADLs. We present design and implementation of a pattern-based syntax macro system for the Vienna Architecture Description Language (VADL). The macro system is directly integrated into the language and is analyzed at parse time using a context-sensitive predLL(*) parser. The usefulness of the macro system is illustrated by some typical macro application design patterns. The effectiveness is shown by a detailed evaluation of the Instruction Set Architecture (ISA) specification of five different processor architectures. The observed specification reduction can be up to 90 times, leading to improved maintainability, readability and runtime performance of the specifications.

关键词： macro system higher-order macros pattern-based generative programming architecture description language

来源：评论

学校读者我要写书评

暂无评论

Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations 6

Supporting CPS Modeling Through a New Method for Solving Com...

引用

6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Masetti, Giulio Dutto, Simone Chiaradonna, Silvano Di Giandomenico, Felicita ISTI CNR Pisa Italy Univ Pisa Dept Comp Sci Pisa Italy

ISBN: (纸本)9789897582837

Modeling cyber-physical systems (CPSs) for assessment or design support purposes is a complex activity. Capturing all relevant physical, structural or behavioral aspects of the system at hand is a crucial task, which often implies representation of peculiar features/constraints through non-linear equations. Values that fulfill the constraints, described with a domain specific language, are obtained solving the equations through a properly developed solution tool. Only for a limited set of CPSs it is possible to find a straightforward strategy to design the software that solves the constraints equations. In the general case, instead, the modeler has to develop an ad-hoc artifact for each different system. This is the case of non-holomorphic but real analytic complex equations, adopted to represent system components with wave behaviors. In this paper, we present a new approach to develop a software for solving such complex equations following a generative programming strategy, based on Wirtinger derivatives within the Newton-Raphson method.

关键词： generative programming Newton-raphson Complex System of Equations Non-holomorphic Functions Wirtinger Derivatives

来源：评论

学校读者我要写书评

暂无评论

Automatic code generation for actuator interfacing from a declarative specification

Automatic code generation for actuator interfacing from a de...

引用

IEEE/RSJ International Conference on Intelligent Robots and Systems

作者： Jung, E Kapoor, C Batory, D Univ Texas Robot Res Grp Dept Mech Engn Austin TX 78712 USA

ISBN: (纸本)0780389123

Common software design practices use object-oriented (OO) frameworks that structure software in terms of objects, classes, and packages;designers then create programs by inheritance and composition of classes and objects. Operational Software Components for Advanced Robotics (OSCAR) is one such framework for robot control software with abstractions for generalized kinematics, dynamics, performance criteria, decision making, and hardware interfacing. Even with OSCAR, writing new programs still requires a significant amount of manual labor. Feature-Oriented programming (FOP) is method for software design that models and specifies programs in terms of features, where a feature encapsulates the common design decisions that occur in a domain. A set of features then forms a domain model for a Product Line Architecture. Product variants in this product line can then he generated from a declarative specification. FOP and related technologies are emerging software engineering techniques for automatically generating programs. Our research applies FOP to robot controller software. As an example, the domain of hardware interfacing is analyzed and 41 features identified. A GUI for specifying and generating programs is presented as well. Analysis of features shows 200 possible different programs could be generated.

关键词： robotics product line feature oriented programming generative programming

来源：评论

学校读者我要写书评

暂无评论

SmartModels - An MDE platform for the management of software product lines

SmartModels - An MDE platform for the management of software...

引用

IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2008)

作者： Tundrea, E. Politehn Univ Timisoara Timisoara Romania

ISBN: (纸本)9781424425761

In software engineering everything evolves very fast: user requirements, technologies, methodologies and applications. Can we foresight and strengthen our approaches to build software to confront these more and more complex challenges? While there are key issues to solve, it is also noteworthy to know that we are very close to exciting innovations. Software Product Lines (SPL)-modeling technology together with source-code generative tools seem to make it easier to manage diverse environments with complex, constantly changing relationships. In the context of SPL, this paper presents an approach SmartModels [1] [2], validated by a prototype - SmartFactory. It reviews the state-of-the-art of SmartModels briefly introducing its principles, basic entities and main elements when defining a business-model. It also addresses the Meta-Object Protocol (MOP) which lays the foundation of SmartModels' mechanism to fill the gap between the semantics and the reification of a model entity.

关键词： software product lines model generative programming prototype software factory

来源：评论

学校读者我要写书评

暂无评论

Problem-Solution Feature Interactions as Configuration Knowledge in Distributed Runtime Adaptations

Problem-Solution Feature Interactions as Configuration Knowl...

引用

10th International Conference on Feature Interactions in Telecommunications and Software Systems

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

ISBN: (纸本)9781607500148

Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such configuration knowledge models feature interactions either in the problem domain (at the requirements level) or in the solution domain (at the implementation level). Thus, feature interactions are defined as a composition problem in one specific phase of the generative programming lifecycle. However, we experienced the need to model and handle feature interactions that cross the problem and solution domain. This paper presents a specific case study, in the context of our work on distributed runtime adaptation, motivating this important but often ignored category of problem-solution feature interactions.

关键词： generative programming configuration knowledge feature interactions distributed runtime adaptation DyReS

来源：评论

学校读者我要写书评

暂无评论

generative and incremental approach to scripting support implementation

Generative and incremental approach to scripting support imp...

引用

International Conference on Software Engineering Research and Practice

作者： Savikko, V VTT Informat Technol FIN-33101 Tampere Finland

ISBN: (纸本)1932415211

Many systems may benefit from scripting support. but the implementation of it is seldom trivial especially if the system has not originally been developed with scripting support In mind In this paper we describe a generative incremental process for creating an intuitive Python interface to a large, hierarchic COM library, The approach is illuminated with the original, real-life case study.

关键词： generative programming incremental development scripting Python hierarchic COM library

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共9页 << < 1 2 3 4 5 6 7 8 9 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：