Search Results - (automatic OR automation) programming— program transformation

Automatic segmentation of coronary tree in CT angiography images by 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…”
Get full text

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

“… The transformation is described for the programming…”
Get full text

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

“… This paper describes a transformation-based approach to automate the diagnosis of students' programs for programming tutoring systems…”
Get full text

Transformation of Functional Dataflow Parallel Programs into Imperative Programs by 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…”
Get full text

Making Program Refactoring Safer by 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…”
Get full text

Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language by 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…”
Get full text

Towards an automation of the mutation analysis dedicated to model transformation by 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…”
Get full text

Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects by 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…”
Get full text

Automatic Code Generation of MVC Web Applications by 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…”
Get full text

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

“…Refactoring is a transformation that preserves the external behavior of a program and improves its internal quality…”
Get full text

Locality-Aware Automatic Parallelization for GPGPU with OpenHMPP Directives by 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…”
Get full text

Automatic generation of built-in contract test drivers by 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…”
Get full text

Research on post-processing development technology for four-axis turn-milling compound machining with Siemens 840Dsl CNC system by 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…”
Get full text

ALBA: a model-driven framework for the automatic generation of android location-based apps by 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…”
Get full text

Research on Parametric Modeling and Model Transformation of Proton Hospital Based on BIM by 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…”
Get full text

Program transformation landscapes for automated program modification using Gin by 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…”
Get full text

Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic by 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…”
Get full text

Parameterized Tube Model Predictive Control by 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…”
Get full text

Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example by 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…”
Get full text

Software Implementation of an Algorithm for Automatic Detection of Lineaments and Their Properties in Open-Pit Dumps by 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…”
Get full text