Výsledky vyhledávání - "PROGRAM transformation"
-
1
Autoři:
Zdroj: ACM Transactions on Programming Languages & Systems. Jun2025, Vol. 47 Issue 2, p1-85. 85p.
-
2
Autoři: Martinenghi, Davide1 (AUTHOR)
Zdroj: Algorithms. Mar2025, Vol. 18 Issue 3, p123. 27p.
Témata: *PROGRAM transformation, *DATABASES, *CHECKS, *ONLINE data processing, *DATA quality
-
3
Autoři: a další
Zdroj: International Journal of High Performance Computing Applications; Nov2025, Vol. 39 Issue 6, p739-749, 11p
-
4
Autoři: a další
Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-31, 31p
-
5
Autoři: a další
Zdroj: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-25, 25p
-
6
Autoři: a další
Zdroj: Software: Practice & Experience; Oct2025, Vol. 55 Issue 10, p1696-1710, 15p
-
7
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
-
8
Autoři: a další
Zdroj: Information & Software Technology. Sep2025, Vol. 185, pN.PAG-N.PAG. 1p.
-
9
Autoři:
Zdroj: Communications of the ACM; Oct2024, Vol. 67 Issue 10, p92-100, 9p
-
10
Autoři: a další
Zdroj: ACM Transactions on Programming Languages & Systems. Jun2024, Vol. 46 Issue 2, p1-59. 59p.
-
11
Autoři: Chowdhury, Shaiful
Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-29, 29p
-
12
Autoři: Alsarraj, Rasha Gh.
Zdroj: Iraqi Journal for Computers & Informatics Ijci; 2025, Vol. 51 Issue 2, p46-55, 10p
-
13
Autoři:
Zdroj: Fullerenes, Nanotubes & Carbon Nanostructures. 2024, Vol. 32 Issue 8, p733-739. 7p.
Témata: *PROGRAM transformation, *ISOMERS, *FULLERENES, *ATOMS, *GRAPHENE, *CARBON
-
14
Autoři: GODBOLT, MATT1
Zdroj: Communications of the ACM. Feb2020, Vol. 63 Issue 2, p41-49. 9p.
-
15
Autoři:
Zdroj: AIP Conference Proceedings; 2025, Vol. 3356 Issue 1, p1-12, 12p
-
16
Autoři: a další
Zdroj: Software & Systems Modeling. Apr2024, Vol. 23 Issue 2, p319-342. 24p.
Témata: *PROGRAM transformation, *PROBLEM solving, *SYSTEMS software, *INTEGERS
-
17
Autoři:
Zdroj: Changement (dfv Mediengruppe). oct2023, Issue 7, p58-62. 5p.
-
18
Autoři: a další
Přispěvatelé: 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
-
19
Autoři:
Zdroj: Journal of the ACM; Oct2023, Vol. 70 Issue 5, p1-63, 63p
-
20
Alternate Title: MEDICAL ACCOUNTING AND ITS ROLE IN THE EFFECTIVE MANAGEMENT OF HEALTH SERVICES.
Autoři:
Zdroj: Journal of Turkish Court of Accounts / Sayıştay Dergisi. Sep2023, Vol. 34 Issue 130, p441-466. 26p.
Full Text Finder
Nájsť tento článok vo Web of Science