Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • Suche: "PROGRAM transformation"

Treffer 1 - 20 von 6.321

1

A Brookes-Style Denotational Semantics for Release/Acquire Concurrency.
Dvir, Yotam ; Kammar, Ohad ; Lahav, Ori
ACM Transactions on Programming Languages & Systems. Jun2025, Vol. 47 Issue 2, p1-85. 85p.

Fachzeitschrift
Merkliste
2

LOOPer: A Learned Automatic Code Optimizer For Polyhedral Compilers
Merouani, Massinissa ; Boudaoud, Afif ; Aouadj, Iheb Nassim ; et al.
2025 34th International Conference on Parallel Architectures and Compilation Techniques (PACT) PACT Parallel Architectures and Compilation Techniques (PACT), 2025 34th International Conference on. :201-215 Nov, 2025

Konferenz
Merkliste
3

Agentic Auto-Scheduling: An Experimental Study of LLM-Guided Loop Optimization
Merouani, Massinissa ; Bernou, Islem Kara ; Baghdadi, Riyadh
2025 34th International Conference on Parallel Architectures and Compilation Techniques (PACT) PACT Parallel Architectures and Compilation Techniques (PACT), 2025 34th International Conference on. :186-200 Nov, 2025

Konferenz
Merkliste
4

AI for Code: Reinforcement-Learned Compiler Optimizations for HPC Workflows
Peta, Sumeer Basha ; Nagesh Taware, Ranganath ; Patil, Balkrishna ; et al.
2025 3rd World Conference on Communication & Computing (WCONF) Communication & Computing (WCONF), 2025 3rd World Conference on. :1-8 Jul, 2025

Konferenz
Merkliste
5

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.
Ji, Ruyi ; Zhao, Yuwei ; Xiong, Yingfei ; et al.
ACM Transactions on Programming Languages & Systems. Jun2024, Vol. 46 Issue 2, p1-59. 59p.

Fachzeitschrift
Merkliste
6

CodeImprove: Program Adaptation for Deep Code Models
Rathnasuriya, Ravishka ; Zhao, Zijie ; Yang, Wei
2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2025 IEEE/ACM 47th International Conference on. :514-526 Apr, 2025

Konferenz
Merkliste
7

Fuzzing MLIR Compilers with Custom Mutation Synthesis
Limpanukorn, Ben ; Wang, Jiyuan ; Kang, Hong Jin ; et al.
2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2025 IEEE/ACM 47th International Conference on. :217-229 Apr, 2025

Konferenz
Merkliste
8

Optimizations in C++ Compilers.
GODBOLT, MATT
Communications of the ACM. Feb2020, Vol. 63 Issue 2, p41-49. 9p.

Zeitschrift
Merkliste
9

When AI Meets Code Analysis: A Study of Adversarial Attacks on Deep Learning-based Code Models via Program Transformation
Rath, Avilash ; Li, Youpeng ; Davis, Troy ; et al.
2024 Annual Computer Security Applications Conference Workshops (ACSAC Workshops) ACSACW Computer Security Applications Conference Workshops (ACSAC Workshops), 2024 Annual. :85-96 Dec, 2024

Konferenz
Merkliste
10

MEDİKAL MUHASEBE VE SAĞLIK HİZMETLERİNİN ETKİN YÖNETİLMESİNDEKİ ROLÜ.
KORKMAZ, Ersin ; TERCAN, Şeymanur
Journal of Turkish Court of Accounts / Sayıştay Dergisi. Sep2023, Vol. 34 Issue 130, p441-466. 26p.

Fachzeitschrift
Merkliste
11

Learning Code Transformations from Repositories
Dotzler, Georg

Refactoring Empfehlungssystem Tree Differencing Software Engineering Pro... Software Engineering Abstrakter Syntaxbaum …
E-Book
Merkliste
12

Jumping over the hurdles to reimagine the future of work.
Narasimhan, Anand
I by IMD. jun-aug2023, Issue 10, p64-67. 4p.

Zeitschrift
Merkliste
13

BUGFIX: Towards a Common Language and Framework for the Automatic Program Repair Community
Meyer, Bertrand ; Kananchuk, Viktoryia ; Huang, Li
2024 IEEE/ACM International Workshop on Automated Program Repair (APR) APR Automated Program Repair (APR), 2024 IEEE/ACM International Workshop on. :9-13 Apr, 2024

Konferenz
Merkliste
14

Simplified Integrity Checking for an Expressive Class of Denial Constraints.
Martinenghi, Davide
Algorithms. Mar2025, Vol. 18 Issue 3, p123. 27p.

PROGRAM transformation DATABASES CHECKS ONLINE data processing DATA quality
Fachzeitschrift
Merkliste
15

Leveraging Static Analysis for Feedback-Driven Security Patching in LLM-Generated Code.
Alrashedy, Kamel ; Aljasser, Abdullah ; Tambwekar, Pradyumna ; et al.
Journal of Cybersecurity & Privacy; Dec2025, Vol. 5 Issue 4, p110, 29p

COMPUTER security vulner... LANGUAGE models PROGRAM transformation BENCHMARK problems (Comp... SOFTWARE maintenance SOURCE code
Fachzeitschrift
Merkliste
16

Using Genetic Algorithms for Research Software Structure Optimization.
Schnoor, Henning ; Hasselbring, Wilhelm ; Jung, Reiner
Software (2674-113X); Dec2025, Vol. 4 Issue 4, p26, 21p

GENETIC algorithms SOFTWARE architecture PROGRAM transformation SOFTWARE development too... COMPUTER performance REVERSE engineering …
Fachzeitschrift
Merkliste
17

Automatic Sampling for Discontinuities in Differentiable Shaders.
BELHE, YASH ; MEHTA, ISHIT ; CHANG, WESLEY ; et al.
ACM Transactions on Graphics; Dec2025, Vol. 44 Issue 6, p1-19, 19p

DISCONTINUOUS functions SAMPLING (Process) MONTE Carlo method COMPUTER vision PROGRAM transformation MACHINE learning …
Fachzeitschrift
Merkliste
18

Preserving provability over GPU program optimizations with annotation-aware transformations.
Şakar, Ömer ; Safari, Mohsen ; Huisman, Marieke ; et al.
Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p

PROGRAM transformation SOFTWARE verification OPTIMIZATION algorithms PARALLEL programs (Compu... SCIENTIFIC observation
Fachzeitschrift
Merkliste
19

An efficient method for RISC-V memory consistency testing based on loop unrolling. (English)
HU, Jintao ; XU, Xuezheng ; YANG, Deheng ; et al.
Computer Engineering & Science / Jisuanji Gongcheng yu Kexue; Nov2025, Vol. 47 Issue 11, p1932-1944, 13p

REDUCED instruction set... TEST methods OPEN source software INTEGRATED circuit verif... MULTIPROCESSORS COMPUTER performance …
Fachzeitschrift
Merkliste
20

Teaching an old dog new tricks: Porting legacy code to heterogeneous compute architectures with automated code translation.
Nytko, Nicolas ; Reisner, Andrew ; Moulton, J. David ; et al.
International Journal of High Performance Computing Applications; Nov2025, Vol. 39 Issue 6, p739-749, 11p

GRAPHICS processing unit... LEGACY systems PROGRAM transformation C++ RUN time systems (Comput... MULTIGRID methods (Numer... …
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter