Suchergebnisse - (automatic OR automation) programming— program transformation

Automatic segmentation of coronary tree in CT angiography images von 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 …”
Volltext

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

“… The transformation is described for the programming …”
Volltext

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

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

Transformation of Functional Dataflow Parallel Programs into Imperative Programs von 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 …”
Volltext

Making Program Refactoring Safer von 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 …”
Volltext

Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language von 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 …”
Volltext

Towards an automation of the mutation analysis dedicated to model transformation von 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 …”
Volltext

Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects von 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 …”
Volltext

Automatic Code Generation of MVC Web Applications von 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 …”
Volltext

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

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

Locality-Aware Automatic Parallelization for GPGPU with OpenHMPP Directives von 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 …”
Volltext

Automatic generation of built-in contract test drivers von 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 …”
Volltext

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

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

Research on Parametric Modeling and Model Transformation of Proton Hospital Based on BIM von 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 …”
Volltext

Program transformation landscapes for automated program modification using Gin von 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 …”
Volltext

Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic von 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 …”
Volltext

Parameterized Tube Model Predictive Control von 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 …”
Volltext

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

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