Se connecter

Bibliographies thématiques / Transformations-as-code / Articles de revues

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Transformations-as-code.

Articles de revues sur le sujet « Transformations-as-code »

Auteur : Grafiati

Publié le 7 juin 2025

Mis à jour le 2 août 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Transformations-as-code ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

1

Matytsina, I. V. "Transformations as the Main Means of Code Switching." Uchenye Zapiski Kazanskogo Universiteta. Seriya Gumanitarnye Nauki 161, no. 5-6 (2019): 47–57. http://dx.doi.org/10.26907/2541-7738.2019.5-6.47-57.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

Peter Dagher, Azar. "ROTHSTEIN CODE TRANSFORMATIONS AS A DIGITAL OPTICAL SCALING METHOD." International Journal of Software Engineering and Computer Systems 6, no. 2 (2020): 62–68. http://dx.doi.org/10.15282/ijsecs.6.2.2020.2.0070.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

Dagher, Azar Peter. "ROTHSTEIN CODE TRANSFORMATIONS AS A DIGITAL OPTICAL SCALING METHOD." International Journal of Software Engineering and Computer Systems 6, no. 2 (2020): 11–17. https://doi.org/10.15282/ijsecs.6.2.2020.2.0071.

Texte intégral

Résumé :

The Rothstein code data transformation method is a largely forgotten and underutilized method originally theorized from optics and retinal recruitment. The code is a binary representation of the slope of a line or scaling factor and can transform data and images similar to matrix multiplications except with built-in interpolations. The theoretical validation of the method presented in the original publications is complex. The purpose of this paper is to borrow from quantum theory and dual nature of light, particle and wave, to simplify the theoretical understanding. With this understanding, th

Styles APA, Harvard, Vancouver, ISO, etc.

4

Essebaa, Imane, Salima Chantit, and Mohammed Ramdani. "MoDAr-WA: Tool Support to Automate an MDA Approach for MVC Web Application." Computers 8, no. 4 (2019): 89. http://dx.doi.org/10.3390/computers8040089.

Texte intégral

Résumé :

Model-driven engineering (MDE) uses models during the application development process. Thus, the MDE is particularly based on model-driven architecture (MDA), which is one of the important variants of the Object Management Group (OMG). MDA aims to generate source code from abstract models through several model transformations between, and inside the different MDA levels: computation independent model (CIM), platform independent model (PIM), and platform specific model (PSM) before code. In this context, several methods and tools were proposed in the literature and in the industry that aim to a

Styles APA, Harvard, Vancouver, ISO, etc.

5

Teixeira, Thiago SFX, William Gropp, and David Padua. "Managing code transformations for better performance portability." International Journal of High Performance Computing Applications 33, no. 6 (2019): 1290–306. http://dx.doi.org/10.1177/1094342019865606.

Texte intégral

Résumé :

Code optimization is an intricate task that is getting more complex as computing systems evolve. Managing the program optimization process, including the implementation and evaluation of code variants, is tedious, inefficient, and errors are likely to be introduced in the process. Moreover, because each platform typically requires a different sequence of transformations to fully harness its computing power, the optimization process complexity grows as new platforms are adopted. To address these issues, systems and frameworks have been proposed to automate the code optimization process. They, h

Styles APA, Harvard, Vancouver, ISO, etc.

6

BRANDOLESE, CARLO, WILLIAM FORNACIARI, FABIO SALICE, and DONATELLA SCIUTO. "THE IMPACT OF SOURCE CODE TRANSFORMATIONS ON SOFTWARE POWER AND ENERGY CONSUMPTION." Journal of Circuits, Systems and Computers 11, no. 05 (2002): 477–502. http://dx.doi.org/10.1142/s0218126602000586.

Texte intégral

Résumé :

Software power consumption minimization is increasingly a very relevant issue in the design of embedded systems, in particular those dedicated to mobile devices. The paper aims to review the state of the art source code transformations in terms of their effectiveness on power and energy consumption reduction. A design framework for the C language has been set up, using the gcc compiler with SimplePower as the simulation kernel. Some new transformations have also been identified with the aim of reducing the power consumption. Four classes of transformations will be considered: loop transformati

Styles APA, Harvard, Vancouver, ISO, etc.

7

Vákár, Matthijs, and Tom Smeding. "CHAD: Combinatory Homomorphic Automatic Differentiation." ACM Transactions on Programming Languages and Systems 44, no. 3 (2022): 1–49. http://dx.doi.org/10.1145/3527634.

Texte intégral

Résumé :

We introduce Combinatory Homomorphic Automatic Differentiation (CHAD), a principled, pure, provably correct define-then-run method for performing forward and reverse mode automatic differentiation (AD) on programming languages with expressive features. It implements AD as a compositional, type-respecting source-code transformation that generates purely functional code. This code transformation is principled in the sense that it is the unique homomorphic (structure preserving) extension to expressive languages of Elliott’s well-known and unambiguous definitions of AD for a first-order functiona

Styles APA, Harvard, Vancouver, ISO, etc.

8

Kronawitter, Stefan, Sebastian Kuckuk, Harald Köstler, and Christian Lengauer. "Automatic Data Layout Transformations in the ExaStencils Code Generator." Parallel Processing Letters 28, no. 03 (2018): 1850009. http://dx.doi.org/10.1142/s0129626418500093.

Texte intégral

Résumé :

Performance optimizations should focus not only on the computations of an application, but also on the internal data layout. A well-known problem is whether a struct of arrays or an array of structs results in a higher performance for a particular application. Even though the switch from the one to the other is fairly simple to implement, testing both transformations can become laborious and error-prone. Additionally, there are more complex data layout transformations, such as a color splitting for multi-color kernels in the domain of stencil codes, that are manually difficult. As a remedy, we

Styles APA, Harvard, Vancouver, ISO, etc.

9

Kronawitter, Stefan, Holger Stengel, Georg Hager, and Christian Lengauer. "Domain-Specific Optimization of Two Jacobi Smoother Kernels and Their Evaluation in the ECM Performance Model." Parallel Processing Letters 24, no. 03 (2014): 1441004. http://dx.doi.org/10.1142/s0129626414410047.

Texte intégral

Résumé :

Our aim is to apply program transformations to stencil codes in order to yield the highest possible performance. We recognize memory bandwidth as a major limitation in stencil code performance. We conducted a study in which we applied optimizing transformations to two Jacobi smoother kernels: one 3D 1st-order 7-point stencil and one 3D 3rd-order 19-point stencil. To obtain high performance, the optimizations have to be customized for the execution platform at hand. We illustrate this by experiments on two consumer and two server architectures. We also verified the need for complex optimization

Styles APA, Harvard, Vancouver, ISO, etc.

10

CULIK, KAREL, and SIMANT DUBE. "ENCODING IMAGES AS WORDS AND LANGUAGES." International Journal of Algebra and Computation 03, no. 02 (1993): 211–36. http://dx.doi.org/10.1142/s0218196793000160.

Texte intégral

Résumé :

We present some recently developed methods to describe, generate and encode a wide variety of images, in a mathematical formalism which uses terminology of words and of formal languages. It is shown how complex images including those with fractal (self-similar) geometries can be defined as languages, in particular regular languages, over a code alphabet in which symbols denote affine transformations and words are interpreted as compositions as these transformations. The problem of automatic encoding of images by these methods is addressed which leads to the method of recursive subdivisions.

Styles APA, Harvard, Vancouver, ISO, etc.

11

Ting, Chih-Kai, Karl Munson, Serenity Wade, Anish Savla, Kiran Kate, and Kavitha Srinivas. "CodeStylist: A System for Performing Code Style Transfer Using Neural Networks." Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 13 (2023): 16485–87. http://dx.doi.org/10.1609/aaai.v37i13.27087.

Texte intégral

Résumé :

Code style refers to attributes of computer programs that affect their readability, maintainability, and performance. Enterprises consider code style as important and enforce style requirements during code commits. Tools that assist in coding style compliance and transformations are highly valuable. However, many key aspects of programming style transfer are difficult to automate, as it can be challenging to specify the patterns required to perform the transfer algorithmically. In this paper, we describe a system called CodeStylist which uses neural methods to perform style transfer on code.

Styles APA, Harvard, Vancouver, ISO, etc.

12

Wang, Haibo, Zezhong Xing, Chengnian Sun, Zheng Wang, and Shin Hwei Tan. "Towards Diverse Program Transformations for Program Simplification." Proceedings of the ACM on Software Engineering 2, FSE (2025): 312–34. https://doi.org/10.1145/3715730.

Texte intégral

Résumé :

By reducing the number of lines of code, program simplification reduces code complexity, improving software maintainability and code comprehension. While several existing techniques can be used for automatic program simplification, there is no consensus on the effectiveness of these approaches. We present the first study on how real-world developers simplify programs in open-source software projects. By analyzing 382 pull requests from 296 projects, we summarize the types of program transformations used, the motivations behind simplifications, and the set of program transformations that have n

Styles APA, Harvard, Vancouver, ISO, etc.

13

Paolone, Gaetanino, Martina Marinelli, Romolo Paesani, and Paolino Di Felice. "Automatic Code Generation of MVC Web Applications." Computers 9, no. 3 (2020): 56. http://dx.doi.org/10.3390/computers9030056.

Texte intégral

Résumé :

As Web applications become more and more complex, the development costs are increasing as well. A Model Driven Architecture (MDA) approach is proposed in this paper since it simplifies modeling, design, implementation, and integration of applications by defining software mainly at the model level. We adopt the The Unified Modeling Language (UML), as modeling language. UML provides a set of diagrams to model structural and behavioral aspects of the Web applications. Automatic translation of UML diagrams to the Object-Oriented code is highly desirable because it eliminates the chances of introdu

Styles APA, Harvard, Vancouver, ISO, etc.

14

Gheorghita, Stefan Valentin, Henk Corporaal, and Twan Basten. "Iterative compilation for energy reduction." Journal of Embedded Computing 1, no. 4 (2005): 509–20. https://doi.org/10.3233/emc-2005-00050.

Texte intégral

Résumé :

The rapidly increasing number of architectural changes in embedded processors puts compiler technology under an enormous stress. This is emphasized by new demands on compilers, like requirements to reduce static code size, energy consumption or power dissipation. Iterative compilation has been proposed as an approach to find the best sequence of optimizations (such as loop transformations) for an application, in order to improve its performance. In this paper, we study both the effect of several loop transformations on energy consumption as well as the possibility of using the iterative compil

Styles APA, Harvard, Vancouver, ISO, etc.

15

Nielson, Hanne Riis, and Flemming Nielson. "Using transformations in the implementation of higher-order functions." Journal of Functional Programming 1, no. 4 (1991): 459–94. http://dx.doi.org/10.1017/s0956796800000204.

Texte intégral

Résumé :

AbstractTraditional functional languages do not have an explicit distinction between binding times. It arises implicitly, however, as one typically instantiates a higher-order function with the arguments that are known, whereas the unknown arguments remain to be taken as parameters. The distinction between ‘known’ and ‘unknown’ is closely related to the distinction between binding times like ‘compile-time’ and ‘run-time’. This leads to the use of a combination of polymorphic type inference and binding time analysis for obtaining the required information about which arguments are known.Followin

Styles APA, Harvard, Vancouver, ISO, etc.

16

Bai, Jiayu. "The imo Polar Code: The Emerging Rules of Arctic Shipping Governance." International Journal of Marine and Coastal Law 30, no. 4 (2015): 674–99. http://dx.doi.org/10.1163/15718085-12341376.

Texte intégral

Résumé :

In the context of the melting icecap and the growing shipping activity in the Arctic, the International Maritime Organization (imo) spent several years preparing polar navigation rules aimed at providing appropriate safety and environmental protection standards. The rules underwent several transformations before emerging as the binding International Code for Ships Operating in Polar Waters (Polar Code). The Polar Code is expected to enter into force on 1 January 2017. This paper examines the formation and development of the Polar Code and its principles and provisions, expounds upon the unique

Styles APA, Harvard, Vancouver, ISO, etc.

17

Vranic, Valentino, and Roman Táborský. "Features as transformations: A generative approach to software development." Computer Science and Information Systems 13, no. 3 (2016): 759–78. http://dx.doi.org/10.2298/csis160128027v.

Texte intégral

Résumé :

The objective of feature modeling is to foster software reuse by enabling to explicitly and abstractly express commonality and variability in the domain. Feature modeling is used to configure other models and, eventually, code. These software assets are being configured by the feature model based on the selection of variable features. However, selecting a feature is far from a naive component based approach where feature inclusion would simply mean including the corresponding component. More often than not, feature inclusion affects several places in models or code to be configured requiring t

Styles APA, Harvard, Vancouver, ISO, etc.

18

Paek, Yunheung, and David A. Padua. "Compiling for Scalable Multiprocessors with Polaris." Parallel Processing Letters 07, no. 04 (1997): 425–36. http://dx.doi.org/10.1142/s0129626497000413.

Texte intégral

Résumé :

Due to the complexity of programming scalable multiprocessors with physically distributed memories, it is onerous to manually generate parallel code for these machines. As a consequense, there has been much research on the development of compiler techniques to simplify programming, to increase reliability, and to reduce development costs. For code generation, a compiler applies a number of transformations in areas such as data privatization, data copying and replication, synchronization, and data and work distribution. In this paper, we discuss our recent work on the development and implementa

Styles APA, Harvard, Vancouver, ISO, etc.

19

Höppner, Stefan, Timo Kehrer, and Matthias Tichy. "Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size." Software and Systems Modeling 21, no. 2 (2021): 805–37. http://dx.doi.org/10.1007/s10270-021-00937-3.

Texte intégral

Résumé :

AbstractModel transformations are among the key concepts of model-driven engineering (MDE), and dedicated model transformation languages (MTLs) emerged with the popularity of the MDE pssaradigm about 15 to 20 years ago. MTLs claim to increase the ease of development of model transformations by abstracting from recurring transformation aspects and hiding complex semantics behind a simple and intuitive syntax. Nonetheless, MTLs are rarely adopted in practice, there is still no empirical evidence for the claim of easier development, and the argument of abstraction deserves a fresh look in the lig

Styles APA, Harvard, Vancouver, ISO, etc.

20

El Akkaoui, Zineb, Esteban Zimányi, Jose-Norberto Mazón, and Juan Trujillo. "A BPMN-Based Design and Maintenance Framework for ETL Processes." International Journal of Data Warehousing and Mining 9, no. 3 (2013): 46–72. http://dx.doi.org/10.4018/jdwm.2013070103.

Texte intégral

Résumé :

Business Intelligence (BI) applications require the design, implementation, and maintenance of processes that extract, transform, and load suitable data for analysis. The development of these processes (known as ETL) is an inherently complex problem that is typically costly and time consuming. In a previous work, the authors have proposed a vendor-independent language for reducing the design complexity due to disparate ETL languages tailored to specific design tools with steep learning curves. Nevertheless, the designer still faces two major issues during the development of ETL processes: (i)

Styles APA, Harvard, Vancouver, ISO, etc.

21

Xue, Jingling. "GENERALISING THE UNIMODULAR APPROACH TO RESTRUCTURE IMPERFECTLY NESTED LOOPS." Parallel Processing Letters 06, no. 03 (1996): 401–14. http://dx.doi.org/10.1142/s0129626496000388.

Texte intégral

Résumé :

Although overcoming some limitations of the generate-and-test approach, unimodular transformations are limited to perfect loop nests only. Extending the unimodular approach, this paper describes a framework that enables the use of unimodular transformations to restructure imperfect loop nests. The concepts used previously for perfect loop nests, such as iteration vector, iteration space and lexicographic order, are generalised and some new concepts like preorder tree are introduced. Multiple unimodular transformations are allowed, one each statement in the loop nest. A code generation algorith

Styles APA, Harvard, Vancouver, ISO, etc.

22

Swindle, Adrian, Derrick McNealy, Giri Krishnan, and Ramyaa Ramyaa. "Evaluation of Large Language Models on Code Obfuscation (Student Abstract)." Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 21 (2024): 23664–66. http://dx.doi.org/10.1609/aaai.v38i21.30517.

Texte intégral

Résumé :

Obfuscation intends to decrease interpretability of code and identification of code behavior. Large Language Models(LLMs) have been proposed for code synthesis and code analysis. This paper attempts to understand how well LLMs can analyse code and identify code behavior. Specifically, this paper systematically evaluates several LLMs’ capabilities to detect obfuscated code and identify behavior across a variety of obfuscation techniques with varying levels of complexity. LLMs proved to be better at detecting obfuscations that changed identifiers, even to misleading ones, compared to obfuscation

Styles APA, Harvard, Vancouver, ISO, etc.

23

Dichenko, Sergey, Dmitry Samoilenko, Oleg Finko, and Konstantin Ryumshin. "A METHOD OF PARAMETRIC SYNTHESIS OF CRYPTO-CODE STRUCTURES FOR MONITORING AND RESTORING THE INTEGRITY OF INFORMATION." Voprosy kiberbezopasnosti, no. 2(54) (2023): 36–51. http://dx.doi.org/10.21681/2311-3456-2023-2-36-51.

Texte intégral

Résumé :

The purpose of the work is to develop a method for monitoring and restoring the integrity of information in secure multidimensional data storage systems that ensures the stability of the systems under consideration under the destructive influences of an intruder and disturbances in the operating environment. Research method: in the course of the research, the scientific and methodological apparatus of the theory of algebraic systems was used in conjunction with the methods of cryptographic information protection and the mathematical apparatus of coding theory to implement the procedures of cry

Styles APA, Harvard, Vancouver, ISO, etc.

24

DAMIANI, FERRUCCIO, and PAOLA GIANNINI. "Automatic useless-code elimination for HOT functional programs." Journal of Functional Programming 10, no. 6 (2000): 509–59. http://dx.doi.org/10.1017/s0956796800003786.

Texte intégral

Résumé :

In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and complete way, by reducing it to the solution of a system of constraints. We also give a useless-code elimination algorithm which is based on a combined use of these type inference systems. The main application of the technique is the optimization of programs extracted from proofs in logical frameworks, but it could be used as well in the elimination of useless-code determined by program transformations.

Styles APA, Harvard, Vancouver, ISO, etc.

25

Djukic, Verislav, Ivan Lukovic, Aleksandar Popovic, and Vladimir Ivancevic. "Model execution: An approach based on extending domain-specific modeling with action reports." Computer Science and Information Systems 10, no. 4 (2013): 1585–620. http://dx.doi.org/10.2298/csis121228059d.

Texte intégral

Résumé :

In this paper, we present an approach to development and application of domain-specific modeling (DSM) tools in the model-based management of business processes. The level of Model-to-Text (M2T) transformations in the standard architecture for domain-specific modeling solutions is extended with action reports, which allow synchronization between models, generated code, and target interpreters. The basic idea behind the approach is to use M2T transformation languages to construct submodels, client application components, and operations on target interpreters. In this manner, M2T transformations

Styles APA, Harvard, Vancouver, ISO, etc.

26

Ivanenko, P. A. "Validation of correctness of autotuning code transformations with rewriting rules technique." PROBLEMS IN PROGRAMMING, no. 2-3 (September 2020): 368–74. http://dx.doi.org/10.15407/pp2020.02-03.368.

Texte intégral

Résumé :

Article presents an approach to correctness validation of autotuning optimizational transformations. Autotuner is considered as dynamic discrete system and validation is reduced to verification of characteristic of equivalence by result of representation of initial and optimized program versions in autotuning formal model. In partial cases this validation can be done automatically using source code and rewriting rules technique.

Styles APA, Harvard, Vancouver, ISO, etc.

27

Huning, Lars, and Elke Pulvermueller. "Automatic Code Generation of Safety Mechanisms in Model-Driven Development." Electronics 10, no. 24 (2021): 3150. http://dx.doi.org/10.3390/electronics10243150.

Texte intégral

Résumé :

In order to meet regulatory standards in the domain of safety-critical systems, these systems have to include a set of safety mechanisms depending on the Safety Integrity Level (SIL). This article proposes an approach for how such safety mechanisms may be generated automatically via Model-Driven Development (MDD), thereby improving developer productivity and decreasing the number of bugs that occur during manual implementation. The approach provides a structured way to define safety requirements, which may be parsed automatically and are used for the generation of software-implemented safety m

Styles APA, Harvard, Vancouver, ISO, etc.

28

Muhammad, Hanif. "APPLICATIONS OF MATRICES IN COMPUTER GRAPHICS." International Journal of Mathematics and Computer Research 12, no. 06 (2024): 4298–310. https://doi.org/10.5281/zenodo.12819266.

Texte intégral

Résumé :

In this paper, the usage of matrix in computer graphics is shown.  A brief overview of geometric transformations in computer graphics is given.  The "Matrix - Computer Graphics" application software is created for the representation and easier understanding of relations between geometric transformations and matrix calculus.  We introduce and explore the basic matrix operation such as translation, rotation, scaling, reflection, shearing in 2D and 3D and at end we explain about the parallel and perspective view. These concepts commonly appear in video game graphics. The work has a

Styles APA, Harvard, Vancouver, ISO, etc.

29

Malchenkov, Stanislav A. "Conceptual Foundations of Civilizational Transformations in Contemporary Social Philosophy." Humanitarian: actual problems of the humanities and education 21, no. 4 (2021): 405–13. http://dx.doi.org/10.15507/2078-9823.056.021.202104.405-413.

Texte intégral

Résumé :

Introduction. The relevance of the analysis of civilizational transformations in Russia is explained, first of all, by the vast vicissitudes of its political, economic and socio-cultural development in recent decades. The importance of the topic is growing, since the content of the philosophical problem in the period of building a multipolar world is supplemented by geopolitical components. Methods. The work used historical and dialectical methods, as well as systems analysis. Results. In modern scientific research, the ideas of linear and cyclical development are no longer opposed to each oth

Styles APA, Harvard, Vancouver, ISO, etc.

30

Kuznetsov, Alexander, Anastasia Kiyan, Andrey Pushkarev, and Tatiana Kuznetsova. "A NEW APPROACH TO BUILDING A POST-QUANTUM SCHEME OF ELECTRONIC DIGITAL SIGNATURE." Information systems and technologies security, no. 1 (2) (2020): 23–30. http://dx.doi.org/10.17721/ists.2020.1.23-30.

Texte intégral

Résumé :

Cryptographic information security techniques are essential in building a modern cybersecurity infrastructure. Recently, there have been new challenges and threats to cryptographic transformation. In particular, the emergence and rapid development of the latest quantum computing technologies necessitates the urgent need for the development and research of new methods of post-quantum cryptographic transformations, that is, those that will be sustainable even if quantum cryptanalysis is possible. This article is devoted to the analysis of possibilities of implementation of digital signature sche

Styles APA, Harvard, Vancouver, ISO, etc.

31

Legalov, Alexander I., Yegor G. Bugayenko, Nickolay K. Chuykin, Maksim V. Shipitsin, Yaroslav I. Riabtsev, and Andrey N. Kamenskiy. "Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language." Modeling and Analysis of Information Systems 29, no. 3 (2022): 246–64. http://dx.doi.org/10.18255/1818-1015-2022-3-246-264.

Texte intégral

Résumé :

The paper analyzes the possibilities of transforming C programming language constructs into objects of EO programming language. The key challenge of the method is the transpilation from a system programming language into a language of a higher level of abstraction, which doesn’t allow direct manipulations with computer memory. Almost all application and domain-oriented programming languages disable such direct access to memory. Operations that need to be supported in this case include the use of dereferenced pointers, the imposition of data of different types in the same memory area, and diffe

Styles APA, Harvard, Vancouver, ISO, etc.

32

Repel, Dusan, and Ingo Stengel. "Grammar-based transformations: attack and defence." Information Management & Computer Security 22, no. 2 (2014): 141–54. http://dx.doi.org/10.1108/imcs-09-2013-0071.

Texte intégral

Résumé :

Purpose – This research aims to propose an attack that de-obfuscates codes by exploiting the properties of context-free grammars since it is important to understand the strength of obfuscation provided by context-free grammar-based obfuscators. In addition, the possibility of automatically generated transformations is explored. Design/methodology/approach – As part of our empirical investigation, a development environment for obfuscating transformations is built. The tool is used to simulate a context-free obfuscator and to devise ways of reversing such transformations. Furthermore, a theoreti

Styles APA, Harvard, Vancouver, ISO, etc.

33

Albin, Kamila. "From Braille Code to Smart Book Readers: Technology as a Tool for Reading Emancipation of the Visually Impaired Persons." Przegląd Kulturoznawczy, no. 3 (53) (December 14, 2022): 459–75. http://dx.doi.org/10.4467/20843860pk.22.030.16619.

Texte intégral

Résumé :

This paper illustrates how, over the course of the last two centuries, the autonomous access of the visually impaired to reading material has expanded. The author coins the term “reading emancipation” to describe these processes. She illustrates it by referring to her own research involving in-depth interviews with the visually impaired readers regarding the use of various forms of books, such as books printed in Braille, talking books and e-books. The author also traces the historical background of the transformation of alternative book formats, from the development and spread of Braille code

Styles APA, Harvard, Vancouver, ISO, etc.

34

Tissot, Pierre-Antoine, Lilian Bossuet, and Vincent Grosso. "Generalized Code-Abiding Countermeasure." Electronics 12, no. 4 (2023): 976. http://dx.doi.org/10.3390/electronics12040976.

Texte intégral

Résumé :

The widely used countermeasures against fault attacks are based on spatial, temporal, or information redundancy. This type of solution is very efficient, but it can be very expensive in terms of implementation cost. Thus, trying to propose a secure and efficient countermeasure for a lightweight cipher is a hard challenge, as the goal of a lightweight cipher is to be the lightest possible. This paper considers information redundancy based on parity bit code, with code-abiding transformations of the operations. This error detection code, with the code-abiding notion added, is very efficient agai

Styles APA, Harvard, Vancouver, ISO, etc.

35

Jatinkumar Oza. "Near zero downtime transformations: automation approaches in SAP applications landscape modernizations/upgrades/cloud transformations." World Journal of Advanced Engineering Technology and Sciences 15, no. 3 (2025): 586–98. https://doi.org/10.30574/wjaets.2025.15.3.0926.

Texte intégral

Résumé :

Enterprise systems like SAP are mission-critical, and downtime during upgrades or migrations carries significant financial and operational consequences. This article explores emerging automation-centric strategies that enable zero downtime transformations in SAP landscapes, particularly for S/4HANA upgrades and cloud migrations. The strategies are categorized into technical enablers such as SUM with ZDO and nZDM, architectural patterns including dual landscape and blue-green deployments, and automation frameworks leveraging CI/CD, infrastructure as code, and AI-driven monitoring. Drawing on ca

Styles APA, Harvard, Vancouver, ISO, etc.

36

Durak, Umut. "Pragmatic model transformations for refactoring in Scilab/Xcos." International Journal of Modeling, Simulation, and Scientific Computing 07, no. 01 (2016): 1541004. http://dx.doi.org/10.1142/s1793962315410044.

Texte intégral

Résumé :

Model-Based Development has become an industry wide standard paradigm. As an open source alternative, Scilab/Xcos is being widely employed as a hybrid dynamic systems modeling tool. With the increasing efficiency in implementation using graphical model development and code generation, the modeling and simulation community is struggling with assuring quality as well as maintainability and extendibility. Refactoring is defined as an evolutionary modernization activity where, most of the time, the structure of the artifact is changed to alter its quality characteristics, while keeping its behavio

Styles APA, Harvard, Vancouver, ISO, etc.

37

Galhardo, Pedro, and Alberto Rodrigues da Silva. "Combining Rigorous Requirements Specifications with Low-Code Platforms to Rapid Development Software Business Applications." Applied Sciences 12, no. 19 (2022): 9556. http://dx.doi.org/10.3390/app12199556.

Texte intégral

Résumé :

Low-code development platforms have gained popularity as an effective solution to address urgent market demands for software applications. These platforms have often overcome challenges faced by traditional software development processes, including requirements engineering processes, as they tend to incorporate the requirements in their prototyping phase. However, low-code platforms have followed different approaches with proprietary languages, which is a problem when customers need to move to other technologies or intend to define the specification of their applications in a readable and plat

Styles APA, Harvard, Vancouver, ISO, etc.

38

Kardas, Geylani. "Model-driven development of multiagent systems: a survey and evaluation." Knowledge Engineering Review 28, no. 4 (2013): 479–503. http://dx.doi.org/10.1017/s0269888913000088.

Texte intégral

Résumé :

AbstractTo work in a higher abstraction level is of critical importance for the development of multiagent systems (MAS) since it is almost impossible to observe code-level details of such systems due to their internal complexity, distributedness and openness. As one of the promising software development approaches, model-driven development (MDD) aims to change the focus of software development from code to models. This paradigm shift, introduced by the MDD, may also provide the desired abstraction level during the development of MASs. For this reason, MDD of autonomous agents and MASs has been

Styles APA, Harvard, Vancouver, ISO, etc.

39

Borisov, Petr, and Yury Kosolapov. "A Method to Quantitative Compare Obfuscating Ttransformations." Informatics and Automation 23, no. 3 (2024): 684–726. http://dx.doi.org/10.15622/ia.23.3.3.

Texte intégral

Résumé :

The paper considers the problem of quantitative comparison of potency and resistance of practically applied obfuscating transformations of program code. A method is proposed to find the potency and resistance of transformations by calculating the «comprehensibility» of the obfuscated and deobfuscated versions of a program, respectively. As a measure of program comprehensibility, it is proposed to use the similarity of this program to the approximation of its «most comprehensible» version. Based on the proposed method a model to assess potency and resistance was built, the main elements of whic

Styles APA, Harvard, Vancouver, ISO, etc.

40

Oliveira, Caio Cesar Tomaz de, and Gisele Carignani. "Modernização do espaço urbano de Assis - SP: o Código de Posturas de 1918." PosFAUUSP 32, no. 60 (2025): e228099. https://doi.org/10.11606/issn.2317-2762.posfauusp.2025.228099.

Texte intégral

Résumé :

The study aims to analyze the impact of the 1918 Código de Posturas (Municipal Code of Conduct) in the city of Assis, São Paulo, considering the context of urban and social transformations of the early 20th century. The research is based on a qualitative and historical approach, utilizing documentary analysis of the Municipal Code of Assis, complemented by a literature review on conduct codes in colonial and imperial Brazil. The methodology includes a comparison between the Municipal Code of Assis and that of Presidente Prudente, exploring the implications of these regulations for urban govern

Styles APA, Harvard, Vancouver, ISO, etc.

41

Bous, Frederik, and Axel Roebel. "A Bottleneck Auto-Encoder for F0 Transformations on Speech and Singing Voice." Information 13, no. 3 (2022): 102. http://dx.doi.org/10.3390/info13030102.

Texte intégral

Résumé :

In this publication, we present a deep learning-based method to transform the f0 in speech and singing voice recordings. f0 transformation is performed by training an auto-encoder on the voice signal’s mel-spectrogram and conditioning the auto-encoder on the f0. Inspired by AutoVC/F0, we apply an information bottleneck to it to disentangle the f0 from its latent code. The resulting model successfully applies the desired f0 to the input mel-spectrograms and adapts the speaker identity when necessary, e.g., if the requested f0 falls out of the range of the source speaker/singer. Using the mean f

Styles APA, Harvard, Vancouver, ISO, etc.

42

Babaeva, A. V. "«Двуликий Янус» социокультурной кодификации". Studia Culturae, № 52 (10 січня 2023): 9. http://dx.doi.org/10.31312/2310-1245-2022-52-9-20.

Texte intégral

Résumé :

The article analyzes the transformations in the cultural space that have occurred over the past decade. Special attention is paid to the concept of "code". The author examines the process of including this concept in scientific discourse. Draws attention to the fact that, despite the "vagueness" of this concept, it has been actively used in the process of distinguishing cultures since the second half of the twentieth century. The socio-cultural code is presented in the form of a system of certain rules, with the help of which the semantic content of the sign systems of a particular cultural sp

Styles APA, Harvard, Vancouver, ISO, etc.

43

Dumas, Julie, Henri-Pierre Charles, Kévin Mambu, and Maha Kooli. "Dynamic Compilation for Transprecision Applications on Heterogeneous Platform." Journal of Low Power Electronics and Applications 11, no. 3 (2021): 28. http://dx.doi.org/10.3390/jlpea11030028.

Texte intégral

Résumé :

This article describes a software environment called HybroGen, which helps to experiment binary code generation at run time. As computing architectures are getting more complex, the application performance is becoming data-dependent. The proposed experimental platform is helpful in programming applications that can be reconfigured at run time in order to be adapted for a new data environment. The HybroGen platform is adapted to heterogeneous architectures and can generate instructions for different targets. This platform allows to go farther than classical JIT compilation in many directions: t

Styles APA, Harvard, Vancouver, ISO, etc.

44

Golenko, D. V. "Revision of certain conceptual provisions of the criminal law by changing its Special Part." Juridical Journal of Samara University 10, no. 1 (2024): 92–97. http://dx.doi.org/10.18287/2542-047x-2024-10-1-92-97.

Texte intégral

Résumé :

This article examines controversial transformations of individual provisions of the Special Part of the Criminal Code of the Russian Federation of the XXI century, affecting its conceptual principles and creating systemic contradictions. One of the fundamental changes concerns the return of «administrative prejudice» to Russian criminal law through the appearance and dissemination in the Special Part of the Criminal Code of the Russian Federation of articles describing the characteristics of crimes with administrative prejudice. Another revision is related to the inclusion in the Special Part

Styles APA, Harvard, Vancouver, ISO, etc.

45

Park, Jihee, Insu Yun, and Sukyoung Ryu. "Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation." Proceedings of the ACM on Programming Languages 9, OOPSLA1 (2025): 898–926. https://doi.org/10.1145/3720524.

Texte intégral

Résumé :

Binary lifting is a key component in binary analysis tools. In order to guarantee the correctness of binary lifting, researchers have proposed various formally verified lifters. However, such formally verified lifters have too strict requirements on binary, which do not sufficiently reflect real-world lifters. In addition, real-world lifters use heuristic-based assumptions to lift binary code, which makes it difficult to guarantee the correctness of the lifted code using formal methods. In this paper, we propose a new interpretation of the correctness of real-world binary lifting. We formalize

Styles APA, Harvard, Vancouver, ISO, etc.

46

Stawarska-Rippel, Anna. "TRZY TRANSFORMACJE W PROCEDURZE CYWILNEJ W POLSCE W XX WIEKU. WZORCE ROZWIĄZAŃ." Zeszyty Prawnicze 11, no. 2 (2016): 353. http://dx.doi.org/10.21697/zp.2011.11.2.18.

Texte intégral

Résumé :

THREE TRANSFORMATIONS OF CIVIL PROCEEDINGS IN POLAND IN THE 20TH CENTURY. THE LEGAL PATTERNS Summary Poland’s history over the last century was an eventful period of political, state and legal change. There were three transformations of judicial law due to changing political circumstances in twentieth century Poland. The first transformation occurred when independence was gained in 1918. At that point in Poland five different legal system were in force. The decision to temporarily keep the law of the occupying powers until the new Polish legal system was created was taken by the Polish authori

Styles APA, Harvard, Vancouver, ISO, etc.

47

Al Awar, Nader, Muhammad Hannan Naeem, James Almgren-Bell, George Biros, and Milos Gligoric. "Dynamically Fusing Python HPC Kernels." Proceedings of the ACM on Software Engineering 2, ISSTA (2025): 1865–86. https://doi.org/10.1145/3728959.

Texte intégral

Résumé :

Recent trends in high-performance computing show an increase in the adoption of performance portable frameworks such as Kokkos and interpreted languages such as Python. PyKokkos follows these trends and enables programmers to write performance-portable kernels in Python which greatly increases productivity. One issue that programmers still face is how to organize parallel code, as splitting code into separate kernels simplifies testing and debugging but may result in suboptimal performance. To enable programmers to organize kernels in any way they prefer while ensuring good performance, we pre

Styles APA, Harvard, Vancouver, ISO, etc.

48

Ledermann, Florian. "Classifying Cartographic Projections Based on Dynamic Analysis of Program Code." Abstracts of the ICA 2 (October 9, 2020): 1. http://dx.doi.org/10.5194/ica-abs-2-38-2020.

Texte intégral

Résumé :

Abstract. Analyzing a given map to identify its projection and other geometrical properties has long been an important aspect of cartographic analysis. If explicit information about the projection used in a particular map is not available, the properties of the cartographic transformation can sometimes be reconstructed from the map image. However, such a process of projection analysis requires significant manual labor and oversight.For digital maps, we usually expect the projection from geographic space to map space to have been calculated by a computer program. Such a program can be expected

Styles APA, Harvard, Vancouver, ISO, etc.

49

Esbai, Redouane, Soufiane Hakkou, and Mohamed Achraf Habri. "Modeling and automatic generation of data warehouse using model-driven transformation in business intelligence process." Indonesian Journal of Electrical Engineering and Computer Science 30, no. 3 (2023): 1866. http://dx.doi.org/10.11591/ijeecs.v30.i3.pp1866-1874.

Texte intégral

Résumé :

The work presented in this paper focuses on the modeling and implementation of business intelligence processes, specifically how to apply model-driven architecture (MDA) throughout the entire development process of a data warehouse to automatically generate the multidimensional schema. As a result, this work specifies different rules for automating the process of obtaining an online analytical processing (OLAP) cube and implementing it using a collection of metamodels and automatic transformations. The data warehouse relational and OLAP cube models are then created using a model transformation

Styles APA, Harvard, Vancouver, ISO, etc.

50

Redouane, Esbai, Hakkou Soufiane, and Achraf Habri Mohamed. "Modeling and automatic generation of data warehouse using model-driven transformation in business intelligence process." Modeling and automatic generation of data warehouse using model-driven transformation in business intelligence process 30, no. 3 (2023): 866–1874. https://doi.org/10.11591/ijeecs.v30.i3.pp1866-1874.

Texte intégral

Résumé :

The work presented in this paper focuses on the modeling and implementation of business intelligence processes, specifically how to apply model-driven architecture (MDA) throughout the entire development process of a data warehouse to automatically generate the multidimensional schema. As a result, this work specifies different rules for automating the process of obtaining an online analytical processing (OLAP) cube and implementing it using a collection of metamodels and automatic transformations. The data warehouse relational and OLAP cube models are then created using a model transformation

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!