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

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

作者： Şavga, Ilie Rudolf, Michael Institut für Software- und Multimediatechologie Technische Universität Dresden Germany

ISBN: (纸本)9781595938558

the evolution of a software framework may invalidate existing plugins - modules that used one of its previous versions. To preserve binary compatibility (i.e., plugins will link and run with a new framework release without recompilation), we automatically create an adaptation layer that translates between plugins and the framework. the creation of these adapters is guided by information about syntactic framework changes (refactorings). For each supported refactoring we formally define a comeback - a refactoring used to construct adapters. For an ordered set of refactorings that occured between two framework versions, the backward execution of the corresponding comebacks yields the adaptation layer. Copyright © 2007 ACM.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

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

引用

SCIENCE OF COMPUTER programming 2010年第7期75卷 615-637页

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

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

来源：评论

学校读者我要写书评

暂无评论

Debugging C++ template metaprograms 06

Debugging C++ template metaprograms

引用

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

作者： Porkoláb, Zoltán Mihalicza, József Sipos, Ádám Eötvös Loránd University Dept. of Programming Languages and Compilers Pazmany Peter setany 1/C H-1117 Budapest Hungary

ISBN: (纸本)1595932372

Template metaprogramming is an emerging new direction in C++ programming for executing algorithms in compilation time. Despite all of its already proven benefits and numerous successful applications, it is yet to be accepted in industrial projects. One reason is the lack of professional software tools supporting the development of template metaprograms. A strong analogue exists between traditional runtime programs and compile-time metaprograms. this connection presents the possibility for creating development tools similar to those already used when writing runtime programs. this paper introduces Templight, a debugging framework that reveals the steps executed by the compiler during the compilation of C++ programs with templates. Templight's features include following the instantiation chain, setting breakpoints, and inspecting metaprogram information. this framework aims to take a step forward to help template metaprogramming become more accepted in the software industry. Copyright © 2006 ACM.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

Wi-piga: A personnel-independentmethod for actions recognition based on Wi-Fi 7

Wi-piga: A personnel-independentmethod for actions recogniti...

引用

7th international conference on Big Data Computing and Communications, BigCom 2021

作者： Hao, Zhanjun Niu, Juan Dang, Xiao-Chao Qiao, Zhiqiang College of Computer Science and Engineering. Northwest Normal University Gansu Province Internet of Things Engineering Research Center Lanzhou China

ISBN: (纸本)9781665442527

In the process of action recognition, due to the difference of channel state information (CSD collected by different experimenters, the identification method can not be Personnel independent. To address this issue, activity recognition method for combining convolutional neural network(CNN) and generative adversarial network(GAN) is put forward. the CSI data of yoga movements are collected, and the CSI data are preprocessed by second-order Butterworth and principal component analysis (PCA) at first. the high-level motion features which are personnel-independent are extracted by the fusion method, and then these motions are classified and recognized At the same time, whether the action is standardis judged. the experimental results show that this method can identify yoga movements successfully and it has nothing to do with people, which is of great significance for family sports guidance and sports experience. © 2021 IEEE.

关键词： Principal component analysis

来源：评论

学校读者我要写书评

暂无评论

Composing Code Generators for C&C ADLs with Application-Specific Behavior Languages (Tool Demonstration) 2015

Composing Code Generators for C&C ADLs with Application-Spec...

引用

14th ACM SIGPLAN international conference on generative-programming - Concepts and Experiences (GPCE) co-located with SPLASH conference

作者： Ringert, Jan Oliver Rumpe, Bernhard Wortmann, Andreas Tel Aviv Univ Sch Comp Sci Tel Aviv Israel Rhein Westfal TH Aachen Software Engn Aachen Germany

ISBN: (纸本)9781450336871

Modeling software systems as component & connector architectures with application-specific behavior modeling languages enables domain experts to describe each component behavior with the most appropriate language. Generating executable systems for such language aggregates requires composing appropriate code generators for the participating languages. Previous work on code generator composition either focuses on white-box integration based on code generator internals or requires extensive handcrafting of integration code. We demonstrate an approach to black-box generator composition for architecture description languages that relies on explicit interfaces and exploits the encapsulation of components. this approach is implemented for the architecture modeling framework MontiArcAutomaton and has been evaluated in various contexts. Ultimately, black-box code generator composition facilitates development of code generators for architecture description languages with embedded behavior languages and increases code generator reuse.

关键词： Model-Driven engineering component & Connector Architectures Code Generation Code Generator Composition

来源：评论

学校读者我要写书评

暂无评论

Tailoring Dynamic Software Product Lines 11

Tailoring Dynamic Software Product Lines

引用

10th ACM international conference on generative programming and component engineering (GPCE)/conference on Systems, programming, Languages and Application - Software for Humanity (SPLASH)

作者： Rosenmueller, Marko Siegmund, Norbert Pukall, Mario Apel, Sven Univ Magdeburg D-39106 Magdeburg Germany

ISBN: (纸本)9781450306898

Software product lines (SPLs) and adaptive systems aim at variability to cope with changing requirements. Variability can be described in terms of features, which are central for development and configuration of SPLs. In traditional SPLs, features are bound statically before runtime. By contrast, adaptive systems support feature binding at runtime and are sometimes called dynamic SPLs (DSPLs). DSPLs are usually built from coarse-grained components, which reduces the number of possible application scenarios. To overcome this limitation, we closely integrate static binding of traditional SPLs and runtime adaptation of DSPLs. We achieve this integration by statically generating a tailor-made DSPL from a highly customizable SPL. the generated DSPL provides only the runtime variability required by a particular application scenario and the execution environment. the DSPL supports self-configuration based on coarse-grained modules. We provide a feature-based adaptation mechanism that reduces the effort of computing an optimal configuration at runtime. In a case study, we demonstrate the practicability of our approach and show that a seamless integration of static binding and runtime adaptation reduces the complexity of the adaptation process.

关键词： Software Product Lines Dynamic Binding Feature-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Safe composition of product lines 07

Safe composition of product lines

引用

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

作者： thaker, Sahil Batory, Don Kitchin, David Cook, William Microsoft Corporation One Microsoft Way Redmond WA 98052 United States Department of Computer Sciences University of Texas at Austin Austin TX 78712 United States

ISBN: (纸本)9781595938558

Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of features, there are also low-level implementation constraints: a feature module can reference elements that are defined in other feature modules. Safe composition is the guarantee that all programs in a product line are type safe: i.e., absent of references to undefined elements (such as classes, methods, and variables). We show how safe composition properties can be verified for AHEAD product lines using feature models and SAT solvers. Copyright © 2007 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Using the GAN Method, Analysis Several Characteristics of the ECG Signal in Order to Detect Cardiac Arrhythmia 7

Using the GAN Method, Analysis Several Characteristics of th...

引用

7th IEEE international conference for Convergence in Technology, I2CT 2022

作者： Sanamdikar, Sanjay T. Borawake, Madhuri P. Bamanikar, Ashvini A. PDEAs College of Engineering Instrumentation Dept Manjari Pune India PDEAs College of Engineering Computer Dept Manjari Pune India

ISBN: (纸本)9781665421683

Around the world, a large majority of individuals suffer from multiple cardiac diseases. As a consequence, understanding how the ECG signal operates is crucial for detecting a variety of heart conditions. the electrocardiogram (ECG) is a test that determines how strong the heart's electrical system is. PQRST waves are a series of pulses that constitute a heartbeat in an ECG signal. In the characteristic extraction of ECG signals, the amplitude and time intervals of PQRST waves are determined for the learning of ECG signals. the PQRST segment's amplitudes and time intervals can be utilized to determine the human heart's proper functionality. In recent years, the bulk of methodologies and research for analyzing the ECG signal have been developed. Support Vector Regression, Kernel Principal component Analysis, General Sparse Neural Network, and GAN techniques are compared in this article. Both of the other methods are outperformed by the generative Adversarial Network method. However, each of the aforementioned approaches and strategies has its own set of advantages and disadvantages. the proposed system was created using Matlab software. In this study, the proposed technique was demonstrated using the MIT-BIH Arrhythmia record, which was personally annotated and validated. © 2022 IEEE.

关键词： generative adversarial networks

来源：评论

学校读者我要写书评

暂无评论

Staging static analyses for program generation 06

Staging static analyses for program generation

引用

作者： Kamin, Sam Aktemur, Baris Katelman, Michael University of Illinois at Urbana-Champaign 201 N.Goodwin Urbana IL 61801 United States

ISBN: (纸本)1595932372

Program generators are most naturally specified using a quote/antiquote facility;the programmer writes programs with holes which are filled in, at program generation time, by other program fragments. If the programs are generated at compile-time, analysis and compilation follow generation, and no changes in the compiler are needed. However, if program generation is done at run time, compilation and analysis need to be optimized so that they will not overwhelm overall execution time. In this paper, we give a compositional framework for defining program analyses which leads directly to a method of staging these analyses. the staging allows the analysis of incomplete programs to be started at compile time;the residual work to be done at run time may be much less costly than the full analysis. We give frameworks for forward and backward analyses, present several examples of specific analyses, and give timing results showing significant speed-ups for the run-time portion of the analysis relative to the full analysis. Copyright © 2006 ACM.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：