Bibliographies thématiques / Transformations-as-code

Sommaire

Articles de revues
Livres
Chapitres de livres
Actes de conférences
Rapports d'organisations

Littérature scientifique 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 listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques 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.

Articles de revues sur le sujet "Transformations-as-code"

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Plus de sources

Livres sur le sujet "Transformations-as-code"

Marciniak, Katarzyna, ed. Chasing Mythical Beasts. Universitätsverlag WINTER, 2020. http://dx.doi.org/10.33675/2021-82537874.

Texte intégral

Résumé :

Classical Antiquity is strongly present in youth culture globally. It accompanies children during their initiation into adulthood and thereby deepens their knowledge of the cultural code based on the Greek and Roman heritage. It enables intergenerational communication, with the reception of the Classics being able to serve as a marker of transformations underway in societies the world over. The team of contributors from Europe, North America, Africa, Asia, Australia, and New Zealand focuses on the reception of mythical creatures as the key to these transformations, including the changes in hum

Styles APA, Harvard, Vancouver, ISO, etc.

Woodward, Kath. Body Politics. University of Illinois Press, 2017. http://dx.doi.org/10.5406/illinois/9780252036514.003.0010.

Texte intégral

Résumé :

This chapter interrogates the socially constructed inequalities of racial masculinities as evidenced in sport. It argues that global sport remains largely dominated by the “men's game” in so many fields. However, the men's game does not necessarily invoke an unproblematic, hegemonic masculinity. The centrality of bodies and the measures of embodiment are part of the culture of sport, which offers such primacy to masculinities, but sporting masculinities are also ambivalent and ambiguous, and are subject to the cultural transformations of other gendered identifications. Drawing on the works of

Styles APA, Harvard, Vancouver, ISO, etc.

de Araújo Lôbo Silvestre, JANINI, and JULIENNE DINIZ ANTÃO. ELEMENTOS DE DIREITO PROCESSUAL CIVIL E DO TRABALHO - TOMO II. Brazil Publishing, 2022. http://dx.doi.org/10.31012/978-65-5861-627-6.

Texte intégral

Résumé :

In this volume, major issues are addressed, especially regarding the last labor reform, and, as well, procedural aspects are addressed, in view of the advent of the new Code of Civil Procedure 2015, and its consequences for the work process. The current scenario - of legislative reforms, technological advances and social transformations - brings new challenges in the field of labor law, and certainly cannot remain immune to the critical debate of law enforcement. Subsequent of social struggles, labor law over the years has grown in normative density and protective principles in various legal s

Styles APA, Harvard, Vancouver, ISO, etc.

Lehman, Frank. Neo-Riemannian Theory at the Movies. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190606398.003.0004.

Texte intégral

Résumé :

This chapter is dedicated to explaining the methodology of neo-Riemannian theory (NRT) and analysis. The historical background of NRT is introduced, and an inventory of transformations, including the well-known neo-Riemannian operators (L, P, and R) is laid out in a user-friendly manner. Important issues for NRT, including harmonic combinatoriality, parsimony, tonal agnosticism, and spatiality, are all introduced and connected to the analysis of film music. Special attention is given to the associative content of triadic relationships, with two progressions of particular interest to film compo

Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "Transformations-as-code"

Ågren Thuné, Anders, Kazutaka Matsuda, and Meng Wang. "Reconciling Partial and Local Invertibility." In Programming Languages and Systems. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57267-8_3.

Texte intégral

Résumé :

AbstractInvertible programming languages specify transformations to be run in two directions, such as compression/decompression or encryption/decryption. Two key concepts in invertible programming languages are partial invertibility and local invertibility. Partial invertibility lets invertible code be parameterized by the results of non-invertible code, whereas local invertibility requires all code to be invertible. The former allows for more flexible programming, while the latter has connections to domains such as low-energy computing and quantum computing. We find that existing approaches l

Styles APA, Harvard, Vancouver, ISO, etc.

Steinhöfel, Dominic. "Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules." In Ernst Denert Award for Software Engineering 2020. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-83128-8_10.

Texte intégral

Résumé :

AbstractLegacy systems are business-critical software systems whose failure can have a significant impact on the business. Yet, their maintenance and adaption to changed requirements consume a considerable amount of the total software development costs. Frequently, domain experts and developers involved in the original development are not available anymore, making it difficult to adapt a legacy system without introducing bugs or unwanted behavior. This results in a dilemma: businesses are reluctant to change a working system, while at the same time struggling with its high maintenance costs. W

Styles APA, Harvard, Vancouver, ISO, etc.

González-Herrera, Manuel Ramón, Rosa Herminia Suárez-Chaparro, and Karina Hernández-Casimiro. "Contribution of tourism to sustainable development: Samalayuca Dunes (Mexico)." In Tourism transformations in protected area gateway communities. CABI, 2022. http://dx.doi.org/10.1079/9781789249033.0006.

Texte intégral

Résumé :

Abstract In achieving the UN Sustainable Development Goals (SDGs), especially in protected natural areas (PNAs), it is necessary to promote the conservation of an area's natural and cultural heritage. The objective here is to potentiate a low-impact tourism model with the participation of the local community in the Samalayuca Dunes, Mexico, to achieve the SDGs. To this purpose, a participatory low-impact tourism strategy was built with stakeholders in gateway communities, based on three pillars: natural/cultural heritage; economic development; and social wellbeing. The strategy integrated six

Styles APA, Harvard, Vancouver, ISO, etc.

Hloviuk, Iryna, and Victor Zavtur. "Krimìnalʹne provadžennâ v Ukraïnì v režimì voênnogo stanu." In The Challenges and Opportunities in Law: Ukrainian Case under the Conditions of War. Ksiegarnia Akademicka Publishing, 2023. http://dx.doi.org/10.12797/9788381388887.06.

Texte intégral

Résumé :

The chapter is devoted to the study of military transformations of criminal proceedings in Ukraine after the start of a full-scale war with the russian federation. Such aspects of crimi-nal proceedings under martial law as the history of the formation of “wartime” provisions in legislation; evaluation of the evidence obtained under Art. 615 of the Criminal Procedure Code of Ukraine; ensuring the balance of security interests and human rights during the transformation of the military section of the Criminal Procedure Code of Ukraine; other transformations of criminal proceedings caused by the w

Styles APA, Harvard, Vancouver, ISO, etc.

Bucchiarone, Antonio, Davide Di Ruscio, Henry Muccini, and Patrizio Pelliccione. "From Requirements to Java Code." In Model-Driven Software Development. IGI Global, 2009. http://dx.doi.org/10.4018/978-1-60566-006-6.ch011.

Texte intégral

Résumé :

When engineering complex and distributed software and hardware systems (increasingly used in many sectors, such as manufacturing, aerospace, transportation, communication, energy, and health-care), quality has become a big issue, since failures can have economic consequences and can also endanger human life. Model-based specifications of component-based systems permit to explicitly model the structure and behaviour of components and their integration. In particular Software Architectures (SA) have been advocated as an effective means to produce quality systems. In this chapter by combining dif

Styles APA, Harvard, Vancouver, ISO, etc.

Leroy Xavier. "Mechanized semantics." In NATO Science for Peace and Security Series - D: Information and Communication Security. IOS Press, 2010. https://doi.org/10.3233/978-1-60750-100-8-195.

Texte intégral

Résumé :

The goal of this lecture is to show how modern theorem provers&mdash;in this case, the Coq proof assistant&mdash;can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic program transformations, as typically found in compilers. The topics covered include: operational semantics (small-step, big-step, definitional interpreters); a simple form of denotational semantics; axiomatic semantics and Hoare logic; generation of verification conditions, with application to program proof; compilation to virtual

Styles APA, Harvard, Vancouver, ISO, etc.

Favre, Liliana María, Claudia Teresa Pereira, and Liliana Inés Martinez. "Foundations for MDA Case Tools." In Advances in Computer and Electrical Engineering. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-61520-649-0.ch013.

Texte intégral

Résumé :

The model driven architecture (MDA) is an initiative proposed by the object management group (OMG), which is emerging as a technical framework to improve productivity, portability, interoperability, and maintenance (MDA, 2003). MDA promotes the use of models and modelto- model transformations for developing software systems. All artifacts, such as requirement specifications, architecture descriptions, design descriptions, and code are regarded as models. MDA distinguishes four main kinds of models: computation independent model (CIM), platform independent model (PIM), platform specific models

Styles APA, Harvard, Vancouver, ISO, etc.

Ursyn, Anna, and Mehrgan Mostowfi. "Visualization by Coding." In Handbook of Research on Maximizing Cognitive Learning through Knowledge Visualization. IGI Global, 2015. http://dx.doi.org/10.4018/978-1-4666-8142-2.ch008.

Texte intégral

Résumé :

The authors present image transformations that allow for checking and better understanding the graphical capacities of various languages and the place of programming in artistic production. The goal of this tutorial-style chapter is to introduce curious artists to basic programming concepts such as variables, arrays, loops, condition structures, classes, and functions through coding visualization of a simple 2-dimensional shape, a horse rider. At the same time, the goal is to make computer scientists more comfortable with the visual ways of dealing with concepts and objects to be programmed. H

Styles APA, Harvard, Vancouver, ISO, etc.

Delange, Julien, Laurent Pautet, and Fabrice Kordon. "A Model-Based Approach To Configure and Reconfigure Avionics Systems." In Reconfigurable Embedded Control Systems. IGI Global, 2011. http://dx.doi.org/10.4018/978-1-60960-086-0.ch019.

Texte intégral

Résumé :

Aircraft manufacturers have been moving toward the Integrated Modular Avionics (IMA) approach to reduce the number of dedicated boxes in the aircraft. Standards such as as DO178B or ARINC 653 must be followed during design, configuration or certification of IMA systems. Productivity and costs must also be improved while preserving conformance to standards. For instance, development process of avionics systems involves several system representations and representation transformations are done manually. Moreover, the complexity of new generation of safety-critical systems has also increased the

Styles APA, Harvard, Vancouver, ISO, etc.

Martinez, Liliana, Liliana Favre, and Claudia Pereira. "Architecture-Driven Modernization for Software Reverse Engineering Technologies." In Advances in Systems Analysis, Software Engineering, and High Performance Computing. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-4217-1.ch012.

Texte intégral

Résumé :

Modernization of legacy systems is a new research area in the software industry that is intended to provide support for transforming an existing software system to a new one that satisfies new demands. Software modernization requires technical frameworks for information integration and tool interoperability that allow managing new platform technologies, design techniques, and processes. The new OMG (Object Management Group) initiative for modernization aligned with this requirement is Architecture-Driven Modernization (ADM). Reverse engineering techniques play a crucial role in system moderniz

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Transformations-as-code"

da Costa, José Aldo Silva, and Rohit Gheyi. "Evaluating the Code Comprehension of Novices with Eye Tracking." In Anais Estendidos do Congresso Brasileiro de Software: Teoria e Prática. Sociedade Brasileira de Computação - SBC, 2023. http://dx.doi.org/10.5753/cbsoft_estendido.2023.233240.

Texte intégral

Résumé :

Code comprehension is essential for software evolution, but it can be hindered by structural problems in the code. Despite its importance, researchers often rely on static code metrics to investigate code comprehension, without considering dynamic aspects such as the visual effort involved. Therefore, we aim to fill this gap by examining code comprehension using eye-tracking metrics. We conducted three controlled eye-tracking studies with 128 novices in three distinct programming languages, C, Python, and Java using constructions with different granularity levels, namely atoms of confusion, re

Styles APA, Harvard, Vancouver, ISO, etc.

Castor, Fernando, Kellen Oliveira, Adeline Souza, Gustavo Santos, and Paulo Borba. "JATS: A Java Transformation System." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 2001. http://dx.doi.org/10.5753/sbes.2001.24005.

Texte intégral

Résumé :

In this paper we present JATS, a transformation system for the Java programming language. The system has been designed with the goal of making the process of creating and applying transformations as agile as possible. Also, it features a transformation language which has a syntax very similar to that of Java, decreasing the semantic gap between the transformation language and the language being transformed. JATS may be used to specify and apply a wide range of transformations, including refactorings, refinement laws and code generation.

Styles APA, Harvard, Vancouver, ISO, etc.

"Performance Evaluation of Source Code Plagiarism Detection System." In 4th International Conference on Communication Engineering and Computer Science (CIC-COCOS’2022). Cihan University, 2022. http://dx.doi.org/10.24086/cocos2022/paper.732.

Texte intégral

Résumé :

Plagiarism Detection Systems are particularly useful in identifying plagiarism in the educational sector, where scientific publications and articles are common. Plagiarism occurs when someone replicates a piece of work without permission or citation from the original creator. Because of the advancement of communication and information technologies (ICT) and the accessibility of scientific materials on the internet, plagiarism detection has become a top priority and due to the broad availability of freeware text editors, detecting source code plagiarism has become a big difficulty. There have a

Styles APA, Harvard, Vancouver, ISO, etc.

Wang, Chensheng, Joris S. M. Vergeest, Tjamme Wiegers, and Yu Song. "Shape Knowledge Indexing Using Invariant Shape Code." In ASME 2003 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2003. http://dx.doi.org/10.1115/detc2003/dac-48744.

Texte intégral

Résumé :

Shape knowledge indexing is crucial in both design reuse and knowledge engineering, in which the pivot issue is to establish the unique representation of the invariant shape properties. Treating the shape of the region of interest as a surface signal, in this paper, a local shape-indexing scheme is developed by applying the affine invariant nature of the Fourier spectrum of the spatial shape distribution. The shape-coding scheme is theoretically proven being strictly invariant under affine transformations. A framework applying the invariant shape code in shape knowledge indexing is presented.

Styles APA, Harvard, Vancouver, ISO, etc.

Bibiano, Ana Carla, and Alessandro Garcia. "On the Characterization, Detection and Impact of Batch Refactoring in Practice." In XI Congresso Brasileiro de Software: Teoria e Prática. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/cbsoft_estendido.2020.14626.

Texte intégral

Résumé :

Up to 60% of the refactorings in software projects are constituted of a set of interrelated transformations, the so-called batches (or composite refactoring), rather than single transformations applied in isolation. However, a systematic characterization of batch characterization is missing, which hampers the elaboration of proper tooling support and empirical studies of how (batch) refactoring is applied in practice. This paper summarizes the research performed under the context of a Master's dissertation, which aimed at taming the aforementioned problems. To the best of our knowledge, our re

Styles APA, Harvard, Vancouver, ISO, etc.

de Sousa, Emanuel Lima, Pedro Bruel, and Alfredo Goldman. "Autotuning LLVM OptimizationPasses for Matrix Multiplication in Rust." In Escola Regional de Alto Desempenho de São Paulo. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/eradsp.2020.16880.

Texte intégral

Résumé :

The LLVM compiler framework transforms its Intermediate Representation (IR) to optimize code. These transformations are controlled by flags which interfere on metrics such as the execution time. Selecting flags to improve the execution time of a program is difficult, and requires expert knowledge. Autotuning methods can automate parts of this process and help understanding the underlying search spaces. This paper describes ongoing work, showing that LLVM flags can impact the execution time of a Rust matrix multiplication algorithm, and planning future autotuning experiments for flag selection.

Styles APA, Harvard, Vancouver, ISO, etc.

Navarro, Claudio, Lorenzo Devia, Jose E. Labra Gayo, and Carlos Cares. "An Agent-Oriented Model-Driven Development Process for Cyber-Physical Systems." In Congresso Ibero-Americano em Engenharia de Software. Sociedade Brasileira de Computação, 2025. https://doi.org/10.5753/cibse.2025.35298.

Texte intégral

Résumé :

Cyber-Physical Systems (CPS) integrate distributed software and hardware, requiring systematic engineering approaches. This paper presents a Model-Driven Development (MDD) process that spans the entire CPS lifecycle, from conceptual modeling (CIM) to functional implementation (Code). By leveraging agent orientation, the approach simplifies system structuring and enables semi-automated transformations through a domain-specific language (DSL). A proof of concept validates the process in a greenhouse automation scenario, demonstrating that the generated software functions as expected on real hard

Styles APA, Harvard, Vancouver, ISO, etc.

Carreño-Bolufer, Jesús. "Model-Driven Engineering for Implementation and Testing of Large Language Model Architectures." In Congresso Ibero-Americano em Engenharia de Software. Sociedade Brasileira de Computação, 2025. https://doi.org/10.5753/cibse.2025.35315.

Texte intégral

Résumé :

Large Language Model (LLM) architectures such as DeepSeek-V3 demonstrate reductions in computational costs through the design of efficient architectures, but their development reveals technical debt in the software engineering principles associated with LLM development, partly caused by the multidisciplinary nature of the field. Consequently, it leads to increased development costs and challenges in software quality. To address these issues, this thesis proposes the integration of Model-Driven Engineering into the LLM development life cycle. A conceptual metamodel formalises LLM architectural

Styles APA, Harvard, Vancouver, ISO, etc.

Khatir, Mehrdad, Nurendra Choudhary, Sutanay Choudhury, Khushbu Agarwal, and Chandan K. Reddy. "A Unification Framework for Euclidean and Hyperbolic Graph Neural Networks." In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/431.

Texte intégral

Résumé :

Hyperbolic neural networks can effectively capture the inherent hierarchy of graph datasets, and consequently a powerful choice of GNNs. However, they entangle multiple incongruent (gyro-)vector spaces within a layer, which makes them limited in terms of generalization and scalability. In this work, we propose the Poincaré disk model as our search space, and apply all approximations on the disk (as if the disk is a tangent space derived from the origin), thus getting rid of all inter-space transformations. Such an approach enables us to propose a hyperbolic normalization layer and to further s

Styles APA, Harvard, Vancouver, ISO, etc.

Steuben, John C., Athanasios P. Iliopoulos, and John G. Michopoulos. "Implicit Slicing for Functionally Tailored Additive Manufacturing." In ASME 2016 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/detc2016-59638.

Texte intégral

Résumé :

One crucial component of the additive manufacturing software toolchain is a class of geometric algorithms known as “slicers.” The purpose of the slicer is to compute a parametric toolpath defined at the mesoscale and associated g-code commands, which direct an additive manufacturing system to produce a physical realization of a three-dimensional input model. Existing slicing algorithms operate by application of geometric transformations upon the input geometry in order to produce the toolpath. In this paper we introduce an implicit slicing algorithm that computes mesoscale toolpaths from the l

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Transformations-as-code"

González Mínguez, Jose. The Letta report: a set of proposals for revitalising the European economy. Banco de España, 2024. http://dx.doi.org/10.53479/38193.

Texte intégral

Résumé :

Europe is facing a number of major challenges in the near future, including managing the climate transition, the effects of technological transformations and geopolitical changes. European and national authorities are aware that the tools currently in place are insufficient to address these challenges and that a determined reform drive is therefore needed. At the start of a new European institutional cycle, the set of proposals in the Letta report, aimed at completing the Single Market and adapting it to the new circumstances, constitute a major contribution to the European economic policy deb

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!