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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
35 篇 期刊文献
3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

86 篇 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 篇 domain specific ...
3 篇 embedded systems
3 篇 c plus
3 篇 programming fram...
3 篇 template metapro...
3 篇 python
3 篇 reusable compone...
2 篇 performance
2 篇 query processing

机构

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 篇 lacassagne lione...

语言

76 篇 英文
10 篇 其他

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

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

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Towards Model-based Bias Mitigation in Machine Learning 22

Towards Model-based Bias Mitigation in Machine Learning

引用

ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS)

作者： Yohannis, Alfa Kolovos, Dimitris Univ York York N Yorkshire England

ISBN: (纸本)9781450394666

Models produced by machine learning are not guaranteed to be free from bias, particularly when trained and tested with data produced in discriminatory environments. The bias can be unethical, mainly when the data contains sensitive attributes, such as sex, race, age, etc. Some approaches have contributed to mitigating such biases by providing bias metrics and mitigation algorithms. The challenge is users have to implement their code in general/statistical programming languages, which can be demanding for users with little programming and fairness in machine learning experience. We present FairML, a model-based approach to facilitate bias measurement and mitigation with reduced software development effort. Our evaluation shows that FairML requires fewer lines of code to produce comparable measurement values to the ones produced by the baseline code.

关键词： Model-Driven Engineering generative programming Bias Mitigation Bias Metrics Machine Learning

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Towards Model-Based Development of Decentralised Peer-to-Peer Data Vaults 20

Towards Model-Based Development of Decentralised Peer-to-Pee...

引用

23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)

作者： Yohannis, Alfa de la Vega, Alfonso Kahrobaei, Delaram Kolovos, Dimitris Univ York York N Yorkshire England

ISBN: (纸本)9781450381352

Using centralised data storage systems has been the standard practice followed by online service providers when managing the personal data of their users. This method requires users to trust these providers and, to some extent, users are not in full control over their data. The development of applications around decentralised data vaults, i.e., encrypted storage systems located in user-managed devices, can give this control back to the users as sole owners of the data. However, the development of such applications is not effort-free, and it requires developers to have specialised knowledge, such as how to deploy secure and peer-to-peer communication systems. We present Vaultage, a model-based framework that can simplify the development of data vault applications. We demonstrate its core features through a social network application case study and include some initial evaluation results, showing Vaultage's code generation capabilities and some profiling analysis of the generated network components.

关键词： Data Privacy Encryption Decentralised Data Model-Driven Engineering generative programming

来源：评论

学校读者我要写书评

暂无评论

Generating Safe Template Languages 09

Generating Safe Template Languages

引用

8th International Conference on generative programming and Component Engineering

作者： Heidenreich, Florian Johannes, Jendrik Seifert, Mirko Wende, Christian Boehme, Marcel Tech Univ Dresden Fak Informat Lehrstuhl Softwaretechnol Dresden Germany

ISBN: (纸本)9781605584942

Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. However, most template languages perform template instantiation on the level of string literals, which allows neither syntax checks nor semantics analysis. To make sure that generated artefacts always conform to the object language, we propose to perform static analysis at template design time. In addition, the increasing popularity of domain-specific languages (DSLs) demands an approach that allows to reuse both the concepts of template languages and the corresponding tools. In this paper we address the issues mentioned above by presenting how existing languages can be automatically extended with generic template concepts (e.g., placeholders, loops, conditions) to obtain safe template languages. These languages provide means for syntax checking and static semantic analysis w.r.t. the object language at template design time. We discuss the prerequisites for this extension, analyse the types of correctness properties that can be assured at template design time, and exemplify the key benefits of this approach on a textual DSL and Java.

关键词： Languages generative programming template language safe authoring language extension

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

The scripting model of application generators

The scripting model of application generators

引用

16th International Symposium of the Danube-Adria-Association-for-Automation-and-Manufacturing

作者： Radosevic, D. Klicek, B.

ISBN: (纸本)9783901509469

generative programming was recently observed as a discipline of object oriented programming. Some standard techniques of object modeling, like UML, were used in modeling generators, despite some problems in aspect modeling. On the other hand, generative programming based on scripting languages is a relative new discipline. Such generators are based on modifications of program code. One of the problems is also modeling of such generators. This paper offers the aspect oriented graphic model designed for modeling generators based on program code modifications - Scripting Model. The scripting model is tested on development of application generators in Perl language.

关键词： generative programming scripting model generators

来源：评论

学校读者我要写书评

暂无评论

Algorithmic Skeletons within an Embedded Domain Specific Language for the CELL Processor 09

Algorithmic Skeletons within an Embedded Domain Specific Lan...

引用

18th International Conference on Parallel Architectures and Compilation Techniques

作者： Saidani, Tarik Tadonki, Claude Lacassagne, Lionel Falcou, Joel Etiemble, Daniel Univ Paris 11 Inst Elect Fondamentale F-91405 Orsay France Univ Paris 11 Lab Rech Informat F-91405 Orsay France

ISBN: (纸本)9780769537719

Efficiently using the hardware capabilities of the Cell processor;a heterogeneous chip multiprocessor that uses several levels of parallelism to deliver high performance, and being able to reuse legacy code art, real challenges for application developers. We propose to use generative programming and more precisely template meta-programing to design an Embedded Domain Specific Language using algorithmic skeletons to generate applications based on a high-level mapping description. The method is easy to use by developers and delivers performance close to the performance of optimized hand-written code, as shown on various benchmarks ranging from simple BIAS kernels to image processing applications.

关键词： Cell processor generative programming C plus plus meta-programing algorithmic skeletons Embedded Domain Specific Language

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：