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

46th Annual IEEE-Computer-Society International Computers, Software, and Applications Conference (COMPSAC) - Computers, Software, and Applications in an Uncertain World

作者： He, Xiao Tang, Letian Liu, Yi Univ Sci & Technolog Beijing Sch Comp & Commun Engn Beijing 100083 Peoples R China Natl Comp Network Emergency Response Tech Team Co Beijing 100029 Peoples R China

ISBN: (纸本)9781665488105

In model-driven low-code development, developers obtain the initial system implementation by generating the source code from models and then modify the generated code for customization. In the subsequent development, the models may evolve so the code must be re-generated. How to merge the modified code with the newly generated code is an important issue. Existing model-driven development tools simply discard the code changed by developers or preserve developers' code based on some special annotations manually appended by developers. This paper proposes MerGen, a smart code merger for the generated code. MerGen relies on universal unique identifiers that are associated with the generated code entities (i.e., types, fields, and methods) to pair the parts to be merged. Then, MerGen computes the digest of an entity in the normalized form to automatically determine whether the entity has been changed. Finally, MerGen uses a two-way refactoring-based merging algorithm to merge the semantic code changes, rather than directly merging the code textually. We implement a prototype tool for the Eclipse Modeling Framework (EMF) and conduct a case study to evaluate the feasibility and the effectiveness of MerGen. The study results show that MerGen can effectively merge the modified code with the newly generated code compared with the default code merger of the EMF.

关键词： code merging generated code model-driven engineering hashing refactoring low-code development

来源：评论

学校读者我要写书评

暂无评论

From IOPT Petri nets to C: an Automatic code Generator Tool

From IOPT Petri nets to C: an Automatic Code Generator Tool

引用

9th IEEE International Conference on Industrial Informatics (INDIN)

作者： Campos-Rebelo, Rogerio Pereira, Fernando Moutinho, Filipe Gomes, Luis Univ Nova Lisboa Fac Ciencias & Tecnol P-1200 Lisbon Portugal

ISBN: (纸本)9781457704345

This paper presents a tool for automatic generation of ANSI C code from models expressed in IOPT (Input-Output Place-Transition) Petri Nets. The inputs of the tool are PNML (Petri Nets Mark-up Language) files containing the IOPT Petri net models. The tool has two different interfaces: one relying on a simple graphical interface (amenable to be used by humans), and a second one with a command line interface (amenable to be used by humans as well as by other computational systems supporting tools interaction). The tool also allows the user to tune some parts of the automatically generated code considering some characteristics of the implementation platform improving the performance of the generated code. generated code can be directly deployed into specific controllers;PIC low-cost microcontrollers as well as general purpose PCs have been used for validation.

关键词： ANSI C code ANSI standards C language Data structures Fires Humans IOPT Petri net Microcontrollers PIC low-cost microcontroller PNML Petri Nets Mark-up Language Petri nets Petri nets Semantics automatic code generator tool command line interface generated code graphical interface input-output place-transition program compilers specification languages

来源：评论

学校读者我要写书评

暂无评论

Multithreaded derivative computation with generated libraries

引用

JOURNAL OF COMPUTATIONAL SCIENCE 2010年第2期1卷 89-97页

作者： Buntinas, Darius Malozemoff, Alexis J. Utke, Jean Argonne Natl Lab Math & Comp Sci Div MCS Argonne IL 60439 USA McGill Univ Montreal PQ H3A 2T5 Canada Univ Chicago Computat Inst Chicago IL 60637 USA

The computation of derivatives via automatic differentiation is a valuable technique in many science and engineering applications. While the implementation of automatic differentiation via source transformation yields the highest efficiency results, particularly for gradient computations, the implementation via operator overloading remains a viable alternative for some application contexts. Examples include the computation of higher order derivatives or cases where C++ as the language of choice still proves to be too complicated for the currently available source transformation tools. In this paper, we utilize a code generator to create libraries that overload intrinsics for derivative computation, and discuss approaches to improve the efficiency of the generated code. We first discuss the use of limited loop unrolling, but the main focus of the paper is multithreaded derivative computation, in particular an asynchronous scheme for C++ and a synchronous scheme for Fortran. We present test results obtained with a proof-of-concept implementation. (C) 2010 Elsevier B.V. All rights reserved.

关键词： Automatic differentiation Operator overloading generated code Loop unrolling Multithreaded computation

来源：评论

学校读者我要写书评

暂无评论

Dataflow object detection system for FPGA-based smart camera

引用

IET CIRCUITS DEVICES & SYSTEMS 2016年第4期10卷 280-291页

作者： Bourrasset, Cedric Maggiani, Luca Serot, Jocelyn Berry, Francois Univ Blaise Pascal Inst Pascal Clermont Ferrand France Scuola Super Sant Anna TeCIP Inst Pisa Italy

Embedded computer vision based smart systems raise challenging issues in many research fields, including real-time vision processing, communication protocols or distributed algorithms. The amount of data generated by cameras using high resolution image sensors requires powerful computing systems to be processed at digital video frame rates. Consequently, the design of efficient and flexible smart cameras, with on-board processing capabilities, has become a key issue for the expansion of smart vision systems relying on decentralised processing at the image sensor node level. In this context, field programmable gate arrays (FPGA)-based platforms, supporting massive data parallelism, offer large opportunities to match real-time processing constraints compared with platforms based on general purpose processors. In this study, the authors describe the implementation, on such a platform, of a configurable object detection application, reformulated according to the dataflow model of computation. The application relies on the computation of the histogram of oriented gradients and a linear SVM-based classification. It is described using the CAPH programming language, allowing efficient hardware descriptions to be generated automatically from high level dataflow specifications without prior knowledge of hardware description languages such as VHDL or Verilog. Results show that the performance of the generated code does not suffer from a significant overhead compared with handwritten HDL code.

关键词： object detection field programmable gate arrays cameras computer vision image sensors real-time systems support vector machines programming languages data flow analysis FPGA-based smart camera field programmable gate arrays dataflow object detection system embedded computer vision real-time vision processing communication protocols distributed algorithms high resolution image sensors digital video frame rates flexible smart cameras on-board processing smart vision systems massive data parallelism real-time processing constraints configurable object detection oriented gradients linear SVM-based classification CAPH programming language hardware descriptions high level dataflow specifications generated code

来源：评论

学校读者我要写书评

暂无评论

Introducing Model-based Development within the Reengineering of a Smart House Controllers System

Introducing Model-based Development within the Reengineering...

引用

9th IEEE International Conference on Industrial Informatics (INDIN)

作者： Reis, Mauro Campos-Rebelo, Rogerio Gomes, Luis Univ Nova Lisboa Fac Ciencias & Tecnol P-1200 Lisbon Portugal

ISBN: (纸本)9781457704345

This paper describes a reengineering solution for a Smart House controllers system using model-based development approach, emphasizing automatic code generation. Starting with the analysis of an existing system, based on a network of controllers, named as Tiny-Domots, the behavioral models associated with each controller was built using state diagrams as primary modeling formalism. A set of rules for manual translation between state diagrams and IOPT Petri Nets (Input-Output Place-Transition nets) is proposed. Editing of IOPT nets models was accomplished using the tool Snoopy-IOPT, which allows generation of PNML representations. In this work a tool for automatic generating C code was used (PNML2C), allowing the deployment of the generated code into the selected implementation platform (which is the PIC18F4620 low-cost microcontroller from Microchip). In this sense, a system of smart house controllers exhibiting the same features of the existing system was obtained, however, created with the support from model based automatic code generation tools. A comparative analysis between the two types of code is produced (manual and automatically generated). Starting with the IOPT net model, addition of new features to the current system were introduced and successful deployed into the Tiny-Domots controllers, taking advantage of model-based development flow and automatic code generation tool. In summary, the paper presents successful introduction of "reverse engineering" techniques in combination with model-based development techniques in the definition and validation of a methodology for embedded systems development in the Smart Houses application area;results obtained are applicable to other embedded systems application domains.

关键词： Analytical models Buildings C code C language Control systems IOPT Petri nets IOPT nets model Manuals Monitoring PNML representation Petri nets Petri nets Snoopy-IOPT tool Tiny-Domots controller Unified modeling language automatic code generation tool behavioral model embedded system development embedded systems generated code home automation input-output place-transition nets microchip microcontroller model-based development flow program compilers reengineering reverse engineering reverse engineering smart house controller system state diagram

来源：评论

学校读者我要写书评

暂无评论

A Non-linear Disturbance-decoupled Elevation Axis Controller for the Multiple Mirror Telescope

A Non-linear Disturbance-decoupled Elevation Axis Controller...

引用

2nd Conference on Advanced Software and Control for Astronomy

作者： Clark, D. Trebisky, T. Powell, K. Univ Arizona Multiple Mirror Telescope Observ 933 N Cherry Ave Tucson AZ 85721 USA Univ Arizona Steward Observ Ctr Astron Adapt Opt Tucson AZ 85721 USA

ISBN: (纸本)9780819472298

The Multiple Mirror Telescope (MMT), upgraded in 2000 to a monolithic 6.5m primary mirror from its original array of six 1.8m primary mirrors, was commissioned with axis controllers designed early in the upgrade process without regard to structural resonances or the possibility of the need for digital filtering of the control axis signal path. Post-commissioning performance issues led us to investigate replacement of the original control system with a more modem digital controller with full control over the system filters and gain paths. This work, from system identification through controller design iteration by simulation, and pre-deployment hardware-in-the-loop testing, was performed using latest-generation tools with Matlab (R) and Simulink (R). Using Simulink's Real Time Workshop toolbox to automatically generate C source code for the controller from the Simulink diagram and a custom target build script, we were able to deploy the new controller into our existing software infrastructure running Wind River's VxWorks (TM) real-time operating system. This paper describes the process of the controller design, including system identification data collection, with discussion of implementation of non-linear control modes and disturbance decoupling, which became necessary to obtain acceptable wind buffeting rejection.

关键词： Telescope control system non-linear Matlab digital filter system identification generated code

来源：评论

学校读者我要写书评

暂无评论

Efficient generated libraries for asynchronous derivative computation

Efficient generated libraries for asynchronous derivative co...

引用

International Conference on Computational Science (ICCS)

作者： Buntinas, Darius Malozemoff, Alexis J. Utke, Jean Argonne Natl Lab Div Math & Comp Sci Argonne IL 60439 USA McGill Univ Montreal PQ H3A 2T5 Canada Univ Chicago Computat Inst Chicago IL 60637 USA

The computation of derivatives via automatic differentiation is a valuable technique in many science and engineering applications. While the implementation of automatic differentiation via source transformation yields the highest-efficiency results, the implementation via operator overloading remains a viable alternative for some application contexts, such as the computation of higher-order derivatives or in cases where C++ still proves to be too complicated for the currently available source transformation tools. The Rapsodia code generator creates libraries that overload intrinsics for derivative computation. In this paper, we discuss modifications to Rapsodia to improve the efficiency of the generated code, first via limited loop unrolling and second via multithreaded asynchronous derivative computation. We introduce the approaches and present runtime results.

关键词： automatic differentiation operator overloading generated code loop unrolling asynchronous computation

来源：评论

学校读者我要写书评

暂无评论

Cdc :: Cyber :: Lang :: Fortran :: Ftn 3.0 Ers Jun66

引用

2016年

Cdc :: Cyber :: Lang :: Fortran :: Ftn 3.0 Ers Jun66 by published by

关键词： code compiler control data cyber data data corporation development div document document class document document fortran fortran version generated code jun66 loop minor cycles object code optimization product software software document version

来源：评论

学校读者我要写书评

暂无评论

Burroughs :: B6500 6700 :: 5000094 B6700 Espol Jun72

引用

2016年

Burroughs :: B6500 6700 :: 5000094 B6700 Espol Jun72 by published by

关键词： appendix array b6500 b6700 brun brun burroughs character size err espol error message espol espol appendix espol language event expression file attribute formal parameter generated code identifier jun72 metalinguistic metalinguistic variables namc parameter syntax

来源：评论

学校读者我要写书评

暂无评论

Apple :: Lisa :: Xenix :: Cobol :: Level II Cobol Operating Guide Version 2.0 Feb84

引用

2016年

[Auto generated] "Chapter 1. Introduction", gives a general description of the LEVEL II COBOL system and its input and output files, plus a step-by-step outline for the compilation and execution of some sample interactive programs. "Chapter 2. Compiler Controls", describes compiler commands, directives and listing formats. "Chapter 3. Native code Generator Controls", describes native code generator commands and directives. "Chapter 4. Run-Time System Controls", gives general instructions for run

关键词： apple cobol cobol programs code code file code generator command cursor data data item error feb84 file filler pic generated code guide intermediate code level native code operating pic procedure division program record locking terminal

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：