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

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

作者： Shi, Rui Chen, Chiyan Xi, Hongwei Boston University Yahoo Inc.

ISBN: (纸本)1595932372

Distributed meta-programming (DMP), which allows code to be generated and distributed at run-time, has already become a common practice. However, code generation currently often relies on rather ad hoc approaches that represent code as plain text, making DMP notoriously error-prone. this unfortunate situation is further exacerbated due to issues such as mobility (of code) and locality and heterogeneity (of resources), which complicate testing and debugging *** this paper, we study distributed meta-programming from a type-theoretic perspective, presenting a language to facilitate the construction of programs that may generate and distribute code at run-time. the approach we take makes use of a form of typeful code representation developed in a previous study on meta-programming, and it guarantees statically that only well-typed code (according to some chosen type discipline) can be constructed at run-time and sent to proper locations for execution. We also mention a prototype implementation in support of the practicality of our approach to DMP, providing a solid proof of concept. Copyright © 2006 ACM.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

European conference on Object-Oriented programming, ECOOP 2001

European Conference on Object-Oriented Programming, ECOOP 20...

引用

European conference on Object-Oriented programming, ECOOP 2001

ISBN: (纸本)3540436758

the proceedings contain 19 papers. the special focus in this conference is on Object-Oriented programming. the topics include: 11th workshop for PhD students in object-oriented systems;quality of service in distributed object systems and distributed multimedia object/component systems;formal techniques for java programs;automating object-oriented software development methods;adaptive object-models and metamodeling techniques;specification, implementation, and validation of object-oriented embedded systems;feature interaction in composed systems;6thworkshop on component-oriented programming;advanced separation of concerns;multiparadigm programming with OO languages;generative programming;4th workshop on object-oriented architectural evolution;7th workshop on mobile object systems;the next 700 distributed object systems;quantitative approaches in object-oriented software engineering;object-oriented business solutions;4th workshop on OO and operating systems;the next 700 distributed object systems and poster session.

关键词：

来源：评论

学校读者我要写书评

暂无评论

42: Programmable models of computation for a component-based approach to heterogeneous embedded systems 07

42: Programmable models of computation for a component-based...

引用

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

作者： Maraninchi, Florence Bouhadiba, Tayeb VERIMAG/INPGrenoble 2 avenue de Vignate F38610 Gieres

ISBN: (纸本)9781595938558

Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchronous, deterministic or not, detailed w.r.t. time or not, detailed w.r.t. data or not, etc. A lot of approaches, following Ptolemy, propose to define several 'Models of Computation and Communication' (MoCCs) to deal with heterogeneity, and a framework in which they can be combined hierarchically. this paper presents the very first design of a component model for embedded systems called '42'. We aim at expressing fine-grain timing aspects and several types of concurrency as MoCCs, but we require that all the MoCCs be 'programmed' in terms of more basic primitives. '42' is meant to be an abstract description level, intended to be translated into an existing language (e.g., Lustre) for execution and property validation purposes. Copyright © 2007 ACM.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

TCS: A DSL for the specification of textual concrete syntaxes in model engineering 06

TCS: A DSL for the specification of textual concrete syntaxe...

引用

作者： Jouault, Frédéric Bézivin, Jean Kurtev, Ivan ATLAS Team INRIA LINA

ISBN: (纸本)1595932372

Domain modeling promotes the description of various facets of information systems by a coordinated set of domain-specific languages (DSL). Some of them have visual/graphical and other may have textual concrete syntaxes. Model Driven engineering (MDE) helps defining the concepts and relations of the domain by the way of metamodel elements. For visual languages, it is necessary to establish links between these concepts and relations on one side and visual symbols on the other side. Similarly, with textual languages it is necessary to establish links between metamodel elements and syntactic structures of the textual DSL. To successfully apply MDE in a wide range of domains we need tools for fast implementation of the expected growing number of DSLs. Regarding the textual syntax of DSLs, we believe that most current proposals for bridging the world of models (MDE) and the world of grammars (Grammarware) are not completely adapted to this need. We propose a generative solution based on a DSL called TCS (Textual Concrete Syntax). Specifications expressed in TCS are used to automatically generate tools for model-to-text and text-to-model transformations. the proposed approach is illustrated by a case study in the definition of a telephony language. Copyright © 2006 ACM.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Source-level optimization of run-time program generators 05

Source-level optimization of run-time program generators

引用

4th international conference on generative programming and component engineering

作者： Kamin, S Aktemur, B Morton, P Univ Illinois Urbana IL 61801 USA

ISBN: (纸本)3540291385

We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a compiler written in compositional style, which brings the advantage that any program fragment can be abstracted out and compiled to an intermediate form. these forms can be put together at run-time to build complete programs. this principle provides a high level of flexibility in writing program generators. However, this comes at the price of inefficient run-time compilation. Using source-level transformations, we optimize the run-time generation of byte code from fragments, achieving speedups of 5-15%. We discuss the optimization process and give several examples.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Debugging C++ template metaprograms 06

Debugging C++ template metaprograms

引用

作者： 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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：