Výsledky vyhledávání - "PROGRAM transformation"

A Brookes-Style Denotational Semantics for Release/Acquire Concurrency.

Autoři: Dvir, Yotam Kammar, Ohad Lahav, Ori

Zdroj: ACM Transactions on Programming Languages & Systems. Jun2025, Vol. 47 Issue 2, p1-85. 85p.

Témata: PROGRAM transformation, SEMANTICS, STUTTERING, MEMORY, EXECUTIONS & executioners

Simplified Integrity Checking for an Expressive Class of Denial Constraints.

Autoři: Martinenghi, Davide¹ (AUTHOR)

Zdroj: Algorithms. Mar2025, Vol. 18 Issue 3, p123. 27p.

Témata: *PROGRAM transformation, *DATABASES, *CHECKS, *ONLINE data processing, *DATA quality

Teaching an old dog new tricks: Porting legacy code to heterogeneous compute architectures with automated code translation.

Autoři: Nytko, Nicolas Reisner, Andrew Moulton, J. David a další

Zdroj: International Journal of High Performance Computing Applications; Nov2025, Vol. 39 Issue 6, p739-749, 11p

Témata: GRAPHICS processing units, LEGACY systems, PROGRAM transformation, C++, RUN time systems (Computer science), MULTIGRID methods (Numerical analysis), FORTRAN

An Empirical Study of Code Simplification Methods in Code Intelligence Tasks.

Autoři: Shen, Zongwen Li, Yuning Ge, Jidong a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-31, 31p

Témata: EMPIRICAL research, SOURCE code, ARTIFICIAL intelligence, SOFTWARE engineering, MODELING languages (Computer science), PROGRAM transformation

Unlocking the Full Potential of Dual-Interface SSDs: A Comprehensive Hardware and Software Perspective.

Autoři: Chow, Lok Yin Wang, Yingjia Liang, Yuhong a další

Zdroj: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-25, 25p

Témata: STORAGE, SOLID state drives, PROGRAM transformation, NONVOLATILE random-access memory, SYSTEM integration, DATA structures

Debloating Software Through Enhanced Static Analysis and Constraint Rules.

Autoři: Song, Xiaohu Yu, Hai Wang, Ying a další

Zdroj: Software: Practice & Experience; Oct2025, Vol. 55 Issue 10, p1696-1710, 15p

Témata: JAVA programming language, CONSTRAINT satisfaction, MATHEMATICAL optimization, PROGRAM transformation, ALGORITHMS, SOFTWARE development tools

基于源代码迁移的编译器优化方法研究. (Chinese)

Alternate Title: Research on compiler optimization methods based on source code migration. (English)

Autoři: 周 放 刘茂福 李珊枝

Zdroj: Computer Engineering & Science / Jisuanji Gongcheng yu Kexue; Oct2025, Vol. 47 Issue 10, p1890-1900, 11p

Témata: DEEP learning, COMPILERS (Computer programs), MATHEMATICAL optimization, PROGRAM transformation, FLOWGRAPHS

An empirical study on capability of Large Language Models in understanding code semantics.

Autoři: Nguyen, Thu-Trang Vu, Thanh Trong Vo, Hieu Dinh a další

Zdroj: Information & Software Technology. Sep2025, Vol. 185, pN.PAG-N.PAG. 1p.

Témata: *COMPUTER software development, LANGUAGE models, PROGRAM transformation, COMPUTER programming education, SEMANTICS

Neural Architecture Search as Program Transformation Exploration.

Autoři: Turner, Jack Crowley, Elliot J. O'Boyle, Michael F.P.

Zdroj: Communications of the ACM; Oct2024, Vol. 67 Issue 10, p92-100, 9p

Témata: ARTIFICIAL neural networks, SYSTEMS design, PROGRAM transformation, MATHEMATICAL convolutions, CONVOLUTIONAL neural networks, DEEP learning

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Autoři: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a další

Zdroj: ACM Transactions on Programming Languages & Systems. Jun2024, Vol. 46 Issue 2, p1-59. 59p.

Témata: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

The Good, the Bad, and the Monstrous: Predicting Highly Change-Prone Source Code Methods at Their Inception.

Autoři: Chowdhury, Shaiful

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-29, 29p

Témata: SOFTWARE maintenance, MACHINE learning, SUBROUTINES (Computer programs), COMPUTER software development, PARETO principle, DEFECT tracking (Computer software development), PROGRAM transformation

An Automated Tool for Streamlining Software Engineering: Information Extraction and Decision.

Autoři: Alsarraj, Rasha Gh.

Zdroj: Iraqi Journal for Computers & Informatics Ijci; 2025, Vol. 51 Issue 2, p46-55, 10p

Témata: SOFTWARE engineering, DECISION making, PROGRAM transformation, AUTOMATION software, COMPUTER software quality control, DATA mining, PROGRAMMING languages

Transformation of fullerene-like lattices using octagonal defects.

Autoři: Stepenshchikov, Dmitry Aksenov, Sergey

Zdroj: Fullerenes, Nanotubes & Carbon Nanostructures. 2024, Vol. 32 Issue 8, p733-739. 7p.

Témata: *PROGRAM transformation, *ISOMERS, *FULLERENES, *ATOMS, *GRAPHENE, *CARBON

Optimizations in C++ Compilers.

Autoři: GODBOLT, MATT¹

Zdroj: Communications of the ACM. Feb2020, Vol. 63 Issue 2, p41-49. 9p.

Témata: *C++, *C (Computer program language), COMPILERS (Computer programs), PROGRAM transformation, CODE generators

Modeling and system analysis of applied mathematics and programming problems.

Autoři: Khodiyev, Shukhrat Nazirova, Dilorom

Zdroj: AIP Conference Proceedings; 2025, Vol. 3356 Issue 1, p1-12, 12p

Témata: APPLIED mathematics, SYSTEMS theory, TEMPERATURE distribution, UNIVERSITY research, COMPUTER simulation, MATHEMATICAL programming, PROGRAM transformation, AUTOMATION

A lightweight approach to nontermination inference using Constrained Horn Clauses.

Autoři: Kafle, Bishoksan Gange, Graeme Schachte, Peter a další

Zdroj: Software & Systems Modeling. Apr2024, Vol. 23 Issue 2, p319-342. 24p.

Témata: *PROGRAM transformation, *PROBLEM solving, *SYSTEMS software, *INTEGERS

Wer hoch fliegt, muss auch landen können.

Autoři: Tuppek, Julia Förch, Andreas

Zdroj: Changement (dfv Mediengruppe). oct2023, Issue 7, p58-62. 5p.

Témata: *PILOT projects, *BEST practices, PROGRAM transformation, CULTURAL adaptation, BOXING

Transformations for Verifying Programs with Heap-Allocated Data Structures

Autoři: Esen, Zafer Rümmer, Philipp Weber, Tjark a další

Přispěvatelé: Esen, Zafer Rümmer, Philipp Weber, Tjark a další

Zdroj: Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology.

Témata: program verification, formal verification, constrained horn clauses, heaps, heap-allocated data structures, theory of heaps, program transformation, formal methods, smt, smt-lib, program instrumentation, Datavetenskap med inriktning mot inbyggda system, Computer Science with specialization in Embedded Systems

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-554456
https://uu.diva-portal.org/smash/get/diva2:1952212/FULLTEXT01.pdf

A Domain-theoretic Approach to Statistical Programming Languages.

Autoři: GOUBAULT-LARRECQ, JEAN XIAODONG JIA THÉRON, CLÉMENT

Zdroj: Journal of the ACM; Oct2023, Vol. 70 Issue 5, p1-63, 63p

Témata: PROGRAMMING languages, PROGRAMMING language semantics, PROGRAM transformation, REAL numbers

MEDİKAL MUHASEBE VE SAĞLIK HİZMETLERİNİN ETKİN YÖNETİLMESİNDEKİ ROLÜ.

Alternate Title: MEDICAL ACCOUNTING AND ITS ROLE IN THE EFFECTIVE MANAGEMENT OF HEALTH SERVICES.

Autoři: KORKMAZ, Ersin TERCAN, Şeymanur

Zdroj: Journal of Turkish Court of Accounts / Sayıştay Dergisi. Sep2023, Vol. 34 Issue 130, p441-466. 26p.

Témata: *ORGANIZATIONAL performance, *PERFORMANCE management, *FINANCIAL management, *INDUSTRIAL management, PROGRAM transformation, HEALTH programs, ACCOUNTING students