Увійти

Готові списки джерел за темами / Transformations-as-code / Статті в журналах

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Transformations-as-code.

Статті в журналах з теми "Transformations-as-code"

Автор: Grafiati

Опубліковано: 7 червня 2025

Оновлено: 2 серпня 2025

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Transformations-as-code".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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.

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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.

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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)

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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.

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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.

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

42

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

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!