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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

235 篇 会议
21 篇 期刊文献
7 册 图书

馆藏范围

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

日期分布

学科分类号

211 篇 工学
- 179 篇 软件工程
- 168 篇 计算机科学与技术...
- 18 篇 信息与通信工程
- 18 篇 控制科学与工程
- 15 篇 电气工程
- 5 篇 机械工程
- 4 篇 仪器科学与技术
- 4 篇 电子科学与技术（可...
- 3 篇 光学工程
- 3 篇 石油与天然气工程
- 3 篇 生物医学工程（可授...
- 3 篇 生物工程
- 2 篇 材料科学与工程（可...
- 2 篇 交通运输工程
- 2 篇 农业工程
- 2 篇 安全科学与工程
- 2 篇 网络空间安全
51 篇 理学
- 39 篇 数学
- 10 篇 统计学（可授理学、...
- 7 篇 系统科学
- 5 篇 物理学
- 5 篇 生物学
- 2 篇 化学
- 2 篇 大气科学
40 篇 管理学
- 22 篇 管理科学与工程(可...
- 20 篇 图书情报与档案管...
- 13 篇 工商管理
4 篇 经济学
- 4 篇 应用经济学
4 篇 教育学
- 4 篇 教育学
2 篇 农学
- 2 篇 作物学
1 篇 法学
1 篇 艺术学

主题

20 篇 design
19 篇 languages
19 篇 software enginee...
13 篇 computer program...
11 篇 computer program...
9 篇 object oriented ...
9 篇 algorithms
8 篇 java programming...
7 篇 feature-oriented...
7 篇 performance
7 篇 programming
7 篇 generic programm...
7 篇 programming tech...
7 篇 generative ai
7 篇 principal compon...
7 篇 code generation
6 篇 software archite...
6 篇 linear programmi...
6 篇 middleware
5 篇 component

机构

5 篇 texas a&m univ c...
3 篇 univ magdeburg d...
2 篇 univ lugano luga...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 univ southampton...
2 篇 univ marburg d-3...
2 篇 chuyang honors c...
2 篇 kansas state uni...
2 篇 johannes kepler ...
2 篇 ecole polytech f...
2 篇 northeastern uni...
2 篇 state grid hunan...
2 篇 hunan sgit techn...
2 篇 orange labs maps...
2 篇 signalicorp port...
2 篇 mit cambridge ma...
2 篇 univ potsdam ins...
2 篇 univ nebraska de...

作者

6 篇 apel sven
6 篇 binder walter
5 篇 ansaloni danilo
5 篇 moret philippe
4 篇 kaestner christi...
4 篇 gokhale aniruddh...
4 篇 batory don
4 篇 moessenboeck han...
3 篇 hirschfeld rober...
3 篇 stefani jean-ber...
3 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
3 篇 fischer bernd
2 篇 hatcliff john
2 篇 babau jean-phili...
2 篇 judith bishop
2 篇 siek jeremy
2 篇 freeman john
2 篇 rinard martin c.

语言

248 篇 英文
11 篇 其他
4 篇 中文

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

共 263 条记录，以下是191-200 订阅

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

详细简洁

排序：

Research on component-Based Embedded Spacecraft Software System Development

Research on Component-Based Embedded Spacecraft Software Sys...

引用

6th international conference on Intelligent Computing and Signal Processing (ICSP)

作者： Xingsong Zhao Xiaofeng Li Xiaogang Dong Beijing Institute of Control Engineering Beijing China

Aiming at the reuse requirements of spacecraft embedded software assets, the commonality and variability of spacecraft embedded software requirements are analyzed, and a tree diagram-based spacecraft software component identification method based on the FODA (Feature-Oriented Domain Analysis) is proposed. Interfaces between tree-node components are identified through a structured data flow analysis. In terms of component description, a component model in the domain of spacecraft control software based on functional-programming is proposed, which removes the coupling relationship between components. Taking the Sun Search system as an example, software components were developed, a component-based Sun Search software system was established, and the feasibility of component-based spacecraft software reuse was verified. It was applied to 5 projects, and the component-reuse number reached 31.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Simplifying autonomic enterprise java bean applications via model-driven development: A case study 05

引用

8th international conference on Model Driven engineering Languages and Systems, MoDELS 2005

作者： White, Jules Schmidt, Douglas C. Gokhale, Aniruddha Department of Electrical Engineering and Computer Science Vanderbilt University Station B Nashville TN 37235 United States

ISBN: (纸本)3540290109

Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimize, self-configure, and self-protect. this paper provides two contributions to the model-driven development (MDD) of autonomic computing systems using Enterprise Java Beans (EJBs). First, we describe the structure and functionality of an MDD tool that formally captures the design of EJB applications, their quality of service (QoS) requirements, and the autonomic properties applied to the EJBs to support the rapid development of autonomic EJB applications via code generation, automatic checking of model correctness, and visualization of complex QoS and autonomic properties. Second, the paper describes how MDD tools can generate code to plug EJBs into a Java component framework that provides an autonomic structure to monitor, configure, and execute EJBs and their adaptation strategies at runtime. We present a case study that evaluates how these tools and frameworks work to reduce the complexity of developing autonomic applications. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Dynamic analysis and optimization of tensioner in automotive serpentine belt drive systems

Dynamic analysis and optimization of tensioner in automotive...

引用

28th Design Automation conference

作者： Nouri, Mostafa Zu, Jean W. Department of Mechanical and Industrial Engineering University of Toronto Toronto ON M5S 3G8 Canada

ISBN: (纸本)0791836215

A design methodology is developed to achieve optimum design of tensioner in serpentine belt drive systems. System component responses to a harmonic excitation from the crankshaft are obtained analytically by using a complete multi-degree of freedom model and also in explicit expressions using an equivalent single-degree of freedom model. Sequential quadratic programming and Kuhn-Tucker methods are applied to obtain the optimum design of the system modeled as multi-degree of freedom and single-degree of freedom respectively, with the objective of minimizing the undesired vibration of system components. It is shown that system vibration behavior improves substantially by optimizing the design of tensioner device. Copyright © 2002 by ASME.

关键词： Belt drives

来源：评论

学校读者我要写书评

暂无评论

Delayed evaluation, self-optimising software components as a programming model 8th

引用

8th international Euro-Par conference on Parallel Processing, Euro-Par 2002

作者： Liniker, Peter Beckmann, Olav Kelly, Paul H. J. Department of Computing Imperial College 180 Queen’s Gate LondonSW7 2BZ United Kingdom

ISBN: (纸本)3540440496

We argue that delayed-evaluation, self-optimising scientific software components, which dynamically change their behaviour according to their calling context at runtime offer a possible way of bridging the apparent conflict between the quality of scientific software and its performance. Rather than equipping scientific software components with a performance interface which allows the caller to supply the context information that is lost when building abstract software components, we propose to recapture this lost context information at runtime. this paper is accompanied by a public release of a parallel linear algebra library with both C and C++ language interfaces which implements this proposal. We demonstrate the usability of this library by showing that it can be used to supply linear algebra component functionality to an existing external software package. We give preliminary performance figures and discuss avenues for future work. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Linear algebra

来源：评论

学校读者我要写书评

暂无评论

Affine loop optimization based on modulo unrolling in Chapel 14

Affine loop optimization based on modulo unrolling in Chapel

引用

8th international conference on Partitioned Global Address Space programming Models, PGAS 2014

作者： Sharma, Aroon Smith, Darren Koehler, Joshua Barua, Rajeev Ferguson, Michael Dept. of Electrical and Computer Engineering University of Maryland College Park United States Laboratory for Telecommunication Sciences College ParkMD United States

ISBN: (纸本)9781450332477

this paper presents modulo unrolling without unrolling (modulo unrolling WU), a method for message aggregation for parallel loops in message passing programs that use affine array accesses in Chapel, a Partitioned Global Address Space (PGAS) parallel programming language. Messages incur a non-trivial run time overhead, a significant component of which is independent of the size of the message. therefore, aggregating messages improves performance. Our optimization for message aggregation is based on a technique known as modulo unrolling, pioneered by Barua [3], whose purpose was to ensure a statically predictable single tile number for each memory reference for tiled architectures, such as the MIT Raw Machine [18]. Modulo unrolling WU applies to data that is distributed in a cyclic or block-cyclic manner. In this paper, we adapt the aforementioned modulo unrolling technique to the difficult problem of efficiently compiling PGAS languages to message passing architectures. When applied to loops and data distributed cyclically or blockcyclically, modulo unrolling WU can decide when to aggregate messages thereby reducing the overall message count and runtime for a particular loop. Compared to other methods, modulo unrolling WU greatly simplifies the complex problem of automatic code generation of message passing code. It also results in substantial performance improvement compared to the non-optimized Chapel compiler. To implement this optimization in Chapel, we modify the leader and follower iterators in the Cyclic and Block Cyclic data distribution modules. Results were collected that compare the performance of Chapel programs optimized with modulo unrolling WU and Chapel programs using the existing Chapel data distributions. Data collected on a tenlocale cluster show that on average, modulo unrolling WU used with Chapel's Cyclic distribution results in 64 percent fewer messages and a 36 percent decrease in runtime for our suite of benchmarks. Similarly, modulo unrolli

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

Bossa Nova: Introducing modularity into the Bossa domain-specific language 05

Bossa Nova: Introducing modularity into the Bossa domain-spe...

引用

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

作者： Lawall, Julia L. Duchesne, Hervé Muller, Gilles Le Meur, Anne-Françoise DIKU University of Copenhagen Denmark OBASCO Group École des Mines de Nantes-INRIA LINA France Jacquard Group LIFL/INRIA Université des Sciences et Technologies de Lille France

ISBN: (纸本)3540291385

Domain-specific languages (DSLs) have been proposed as a solution to ease the development of programs within a program family. Sometimes, however, experience with the use of a DSL reveals the presence of subfamilies within the family targeted by the language. We are then faced with the question of how to capture these subfamilies in DSL abstractions. A solution should retain features of the original DSL to leverage existing expertise and support tools. the Bossa DSL is a language targeted towards the development of kernel process scheduling policies. We have encountered the issue of program subfamilies in using this language to implement an encyclopedic, multi-OS library of scheduling policies. In this paper, we propose that introducing certain kinds of modularity into the language can furnish abstractions appropriate for implementing scheduling policy subfamilies. We present the design of our modular language, Bossa Nova, and assess the language quantitatively and qualitatively. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

MONACO — A domain-specific language supporting hierarchical abstraction and verification of reactive control programs

MONACO — A domain-specific language supporting hierarchical...

引用

IEEE international conference on Industrial Informatics (INDIN)

作者： Herbert Prähofer Dominik Hurnaus Christian Doppler Laboratory of Automated Software Engineering Institute for Systems Software Johannes Kepler University Linz Linz Austria

Domain-specific languages aim to present software in the notations of domain experts and allow a straightforward mapping of application concepts to software solutions. In this paper, we present a domain-specific language for programming reactive control programs. the language differs from other approaches mainly by its hierarchical component approach, in which lower-level components provide elementary operations and upper components rely on the operations of their subordinates to implement higher control tasks. Moreover, the hierarchical component approach is leveraged in a hierarchical verification technique in which component implementations are verified against dynamic contracts of their subcomponents. We present the principles of the verification technique and discuss how it can be applied in a multi-stage development process.

关键词： Domain specific languages Automatic control IEC standards Control systems Mathematical model Software engineering Contracts Application software Automation DSL

来源：评论

学校读者我要写书评

暂无评论

Introducing Green thinking Into CS Bachelor Curriculum 2023

Introducing Green Thinking Into CS Bachelor Curriculum

引用

28th Annual conference on Innovation and Technology in Computer Science Education (ITiCSE)

作者： Oprescu, Ana Kokken, Ingrid Maat, Kyrian de Geus, Florine Univ Amsterdam Amsterdam Netherlands

ISBN: (纸本)9798400701399

By 2030 greenhouse gas emissions should be reduced by at least 55%. Despite hardware becoming more energy-efficient (Koomey's law), the ever-increasing reliance on computer technology has increased the energy usage due to ICT significantly. In software engineering (SE), there are many choices from programming languages to development patterns that influence energy efficiency. Recent research inspired our work on incorporating energy efficiency into SE education. An international group of researchers formulated initial recommendations for introducing green and sustainable software engineering [4] to students. An EU-US team formulated more refined recommendations for introducing green thinking as modules in existing courses [3]. ICT4S'22 best paper addressed HES eco-anxiety when teaching sustainability [2]. In this work we report on the experience of introducing reflection on energy efficiency into the default requirements of a SE course, and how that influenced students to address energy efficiency in their projects. Out of 8 teams, 7 implemented at least a small energy-efficient component. However, as one group donated to a climate charity in bitcoins, we need more ways to raise awareness.

关键词： project-based software engineering energy efficiency awareness

来源：评论

学校读者我要写书评

暂无评论

Managing component variability within embedded software product lines via transformational code generation

引用

5th international Workshop on Product Family engineering, PFE 2003

作者： McRitchie, Ian Brown, T. John Spence, Ivor T. A. School of Computer Science The Queen’s University of Belfast Belfast N.I United Kingdom

ISBN: (纸本)3540219412

this paper presents a transformative code generation technique for the static optimization and customization of embedded software. the approach supports the development of product families by separating core functionality from variable facets. the implementation technique utilizes generative programming techniques in order to minimize runtime memory requirements and maximize performance within an embedded environment. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

An agent-based approach to component management 09

An agent-based approach to component management

引用

international conference on Autonomous Agents and Multiagent Systems

作者： David Lillis Rem Collier Mauro Dragone G. M. P. O'Hare University College Dublin

ISBN: (纸本)9780981738161

this paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. this framework is an instance of a novel integration strategy called SoSAA (SOcially Situated Agent Architecture), which combines component-Based Software engineering [15] and Agent-Oriented Software engineering, drawing its inspiration from hybrid agent control architectures. the framework defines a complete construction process by enhancing a simple component-based framework with reasoning and self-awareness capabilities through a standardized interface.

关键词： agent-oriented software engineering distributed systems methodologies Distributed Systems building methods Software Frameworks Frameworks Software systems Respiratory Inspiration inspiration control agent Agent-based software engineering Reasoning ARCHITECTURE object oriented programming self-awareness Distribute

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：