Výsledky vyhľadávania - (automatic OR automation) programming— program transformation

Automatic segmentation of coronary tree in CT angiography images Autor Gao, Zhifan, Liu, Xin, Qi, Song, Wu, Wanqing, Hau, William Kongto, Zhang, Heye

“…Summary In this study, we proposed an automatic approach to segment the three‐dimensional coronary tree from computed tomography angiography (CTA) image data…”
Získať plný text

Automatic transformation of iterative loops into recursive methods Autor Insa, David, Silva, Josep

“… The transformation is described for the programming…”
Získať plný text

Transformation-based diagnosis of student programs for programming tutoring systems Autor Xu, Songwen, Chee, Yam San

“… This paper describes a transformation-based approach to automate the diagnosis of students' programs for programming tutoring systems…”
Získať plný text

Transformation of Functional Dataflow Parallel Programs into Imperative Programs Autor Vasilev, V. S., Legalov, A. I., Zykov, S. V.

“… In order to run programs directly on existing computing systems, specific optimization and transformation methods that take the features of both the programming language and the system architecture…”
Získať plný text

Making Program Refactoring Safer Autor Soares, Gustavo, Gheyi, Rohit, Serey, Dalton, Massoni, Tiago

“… Therefore, these tools could perform nonbehavior-preserving transformations. The authors present a tool for improving safety during refactoring that automatically generates a test suite suited for detecting behavioral changes…”
Získať plný text

Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language Autor Legalov, A. I., Bugayenko, Y. G., Chuykin, N. K., Shipitsin, M. V., Riabtsev, Y. I., Kamenskiy, A. N.

“…— The paper analyzes the possibilities of transforming C programming language constructs into objects of EO programming language…”
Získať plný text

Towards an automation of the mutation analysis dedicated to model transformation Autor Aranega, Vincent, Mottu, Jean-Marie, Etien, Anne, Degueule, Thomas, Baudry, Benoit, Dekeyser, Jean-Luc

“…Summary A benefit of model‐driven engineering relies on the automatic generation of artefacts from high…”
Získať plný text

Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects Autor Binkley, D., Ceccato, M., Harman, M., Ricca, F., Tonella, P.

“…Aspect-oriented programming (AOP) provides mechanisms for the separation of crosscutting concerns - functionalities scattered through the system and tangled with the base code…”
Získať plný text

Automatic Code Generation of MVC Web Applications Autor Paolone, Gaetanino, Marinelli, Martina, Paesani, Romolo, Di Felice, Paolino

“… Automatic translation of UML diagrams to the Object-Oriented code is highly desirable because it eliminates the chances of introducing human errors…”
Získať plný text

Automated Behavioral Testing of Refactoring Engines Autor Soares, G., Gheyi, R., Massoni, T.

“…Refactoring is a transformation that preserves the external behavior of a program and improves its internal quality…”
Získať plný text

Locality-Aware Automatic Parallelization for GPGPU with OpenHMPP Directives Autor Andión, José M., Arenaz, Manuel, Bodin, François, Rodríguez, Gabriel, Touriño, Juan

“… Hence, new programming models have been developed to integrate these accelerators with high-level programming languages, giving place to heterogeneous computing systems…”
Získať plný text

Automatic generation of built-in contract test drivers Autor Alves, Everton L. G., Machado, Patricia D. L., Ramalho, Franklin

“… MDA approaches are applied to formalize and perform automatic transformations from a platform-independent model to a platform-independent test architecture according to a BIT profile…”
Získať plný text

Research on post-processing development technology for four-axis turn-milling compound machining with Siemens 840Dsl CNC system Autor Li, Guan-lin, Zhang, Qian, Yue, Hai-bao, Wang, Peng-wei, Ma, Jian-wei, Xie, Ying-hao, Ye, Tao

“…Large curved components such as wheel hubs, case covers, and blisks play a crucial role in high-end equipment manufacturing due to their specialized functions…”
Získať plný text

ALBA: a model-driven framework for the automatic generation of android location-based apps Autor Gharaat, Mohammadali, Sharbaf, Mohammadreza, Zamani, Bahman, Hamou-Lhadj, Abdelwahab

“… In this paper, we propose a model-driven approach for the automatic generation of Android location-based mobile apps…”
Získať plný text

Research on Parametric Modeling and Model Transformation of Proton Hospital Based on BIM Autor Li, Shoufu, Yu, Tao, Liu, Yang, Li, Yan, Lei, Bo, Qiao, Wenjing, Zhang, Yuyan

“…Aiming at problems such as difficulty and low efficiency in modeling complex building structures in Revit and Abaqus, Revit and Dynamo visual programming modeling were used to realize rapid parametric…”
Získať plný text

Program transformation landscapes for automated program modification using Gin Autor Petke, Justyna, Alexander, Brad, Barr, Earl T., Brownlee, Alexander E. I., Wagner, Markus, White, David R.

“…Automated program modification underlies two successful research areas — genetic improvement and program repair…”
Získať plný text

Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic Autor Lopes, Nuno P., Monteiro, José

“… In this paper, we propose, to the best of our knowledge, the first semi-algorithm for the automatic verification of partial equivalence of two programs over the combined theory of uninterpreted…”
Získať plný text

Parameterized Tube Model Predictive Control Autor Rakovic, S. V., Kouvaritakis, B., Cannon, M., Panos, C., Findeisen, R.

“… of a single tractable linear program that optimizes parameterized, Minkowski decomposable, state and control tubes and an associated…”
Získať plný text

Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example Autor Dilhara, Malinda, Bellur, Abhiram, Bryksin, Timofey, Dig, Danny

“… While current Transformation by Example (TBE) techniques can automate CPATs, they are limited by the quality and quantity of the provided input examples…”
Získať plný text

Software Implementation of an Algorithm for Automatic Detection of Lineaments and Their Properties in Open-Pit Dumps Autor Popov, S. E., Potapov, V. P., Zamaraev, R. Y.

“…This paper presents an algorithm and description of its software implementation for detection of lineaments (ground erosions or cracks) in aerial images of…”
Získať plný text