• Suche: "Compilers (Computer programs)"

Treffer 1 - 20 von 5.871

1

WebAssembly: Yes, but for What?
Wingo, Andy
Communications of the ACM. Nov2025, Vol. 68 Issue 11, p50-54. 5p.

Zeitschrift
Merkliste
2

Automatic Compiler Tuning for Inlining with Machine Learning.
Huang, Da ; Shi, Xiaohua ; Feng, Yuchen ; et al.
International Journal of Pattern Recognition & Artificial Intelligence. Sep2025, Vol. 39 Issue 11, p1-21. 21p.

Fachzeitschrift
Merkliste
3

Automatically Translating C to Rust.
Hong, Jaemin ; Ryu, Sukyoung
Communications of the ACM; Nov2025, Vol. 68 Issue 11, p58-65, 8p

C (Computer program lang... PROGRAMMING languages COMPUTER programming LEGACY systems COMPILERS (Computer prog... LANGUAGE models …
Zeitschrift
Merkliste
4

Abstractions, Their Algorithms, and Their Compilers.
AHO, ALFRED ; ULLMAN, JEFFREY
Communications of the ACM. Feb2022, Vol. 65 Issue 2, p76-91. 16p. 3 Diagrams, 2 Charts.

Zeitschrift
Merkliste
5

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler.
Nougrahiya, Aman ; Nandivada, V. Krishna
ACM Transactions on Programming Languages & Systems. Jun2024, Vol. 46 Issue 2, p1-58. 58p.

Fachzeitschrift
Merkliste
6

基于源代码迁移的编译器优化方法研究.
周 放 ; 刘茂福 ; 李珊枝
Computer Engineering & Science / Jisuanji Gongcheng yu Kexue. Oct2025, Vol. 47 Issue 10, p1890-1900. 11p.

DEEP learning COMPILERS (Computer prog... MATHEMATICAL optimizatio... PROGRAM transformation FLOWGRAPHS
Fachzeitschrift
Merkliste
7

A Comprehensive Approach to Rustc Optimization Vulnerability Detection in Industrial Control Systems.
Xie, Kaifeng ; Wan, Jinjing ; Chen, Lifeng ; et al.
Mathematics (2227-7390). Aug2025, Vol. 13 Issue 15, p2459. 20p.

INDUSTRIAL controls manu... COMPILERS (Computer prog... DYNAMIC testing QUALITY assurance LANGUAGE models RISK assessment …
Fachzeitschrift
Merkliste
8

LoRe: A Programming Model for Verifiably Safe Local-first Software.
Haas, Julian ; Mogk, Ragnar ; Yanakieva, Elena ; et al.
ACM Transactions on Programming Languages & Systems. Mar2024, Vol. 46 Issue 1, p1-26. 26p.

Fachzeitschrift
Merkliste
9

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

Zeitschrift
Merkliste
10

Exploiting Partially Context-sensitive Profiles to Improve Performance of Hot Code.
VUKASOVIC, MAJA ; PROKOPEC, ALEKSANDAR
ACM Transactions on Programming Languages & Systems. Dec2023, Vol. 45 Issue 4, p1-64. 64p.

Fachzeitschrift
Merkliste
11

A COMPILER APPROACH TO PHARMACOVIGILANCE.
Christopher, Mani Kitgwim ; Nyap, Davou Choji ; Blamah, Nachamada Vachaku ; et al.
Science World Journal. 2025, Vol. 20 Issue 3, p1308-1312. 5p.

COMPILERS (Computer prog... DRUG side effects ELECTRONIC data processi... MACHINE learning MEDICATION safety RANDOM forest algorithms
Fachzeitschrift
Merkliste
12

Prisma: A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.
RICHTER, DAVID ; KRETZLER, DAVID ; WEISENBURGER, PASCAL ; et al.
ACM Transactions on Programming Languages & Systems. Sep2023, Vol. 45 Issue 3, p1-41. 41p.

Fachzeitschrift
Merkliste
13

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.
DONGKWON LEE ; WOOSUK LEE ; HAKJOO OH ; et al.
ACM Transactions on Programming Languages & Systems. Sep2023, Vol. 45 Issue 3, p1-37. 37p.

Fachzeitschrift
Merkliste
14

Fuzzing JavaScript JIT compilers with a high-quality differential test oracle.
Li, Jizhe ; Xu, Haoran ; Wang, Yongjun ; et al.
Computers & Security. Dec2025, Vol. 159, pN.PAG-N.PAG. 1p.

Fachzeitschrift
Merkliste
15

Optimization-Aware Compiler-Level Event Profiling.
BASSO, MATTEO ; PROKOPEC, ALEKSANDAR ; ROSÀ, ANDREA ; et al.
ACM Transactions on Programming Languages & Systems. Jun2023, Vol. 45 Issue 2, p1-50. 50p.

Fachzeitschrift
Merkliste
16

Practical Verification of Peephole Optimizations with Alive.
Lopes, Nuno P. ; Menendez, David ; Nagarakatte, Santosh ; et al.
Communications of the ACM. Feb2018, Vol. 61 Issue 2, p84-91. 8p. 6 Diagrams, 2 Charts.

Zeitschrift
Merkliste
17

Heuristics Analyses of Smart Contracts Bytecodes and Their Classifications.
Udokwu, Chibuzor ; Mirhosseini, Seyed Amid Moeinzadeh ; Craß, Stefan
Electronics (2079-9292); Jan2026, Vol. 15 Issue 1, p41, 19p

CLASSIFICATION RISK assessment COMPILERS (Computer prog... COMPUTER security vulner... BLOCKCHAINS
Fachzeitschrift
Merkliste
18

Assessment of Multicore Processor Soft Error Reliability Using BBRO‐DNN and SSF‐FIS Models.
Jadhav, Usha ; Malathi, P.
Concurrency & Computation: Practice & Experience; Jan2026, Vol. 38 Issue 1, p1-32, 32p

MULTICORE processors SOFT errors RELIABILITY in engineeri... COMPILERS (Computer prog... VIRTUAL machine systems FAILURE analysis …
Fachzeitschrift
Merkliste
19

Constraint-Efficient Comparators via Weighted Accumulation.
Guzmán-Albiol, Marc ; Bellés-Muñoz, Marta ; Genés-Durán, Rafael ; et al.
Mathematics (2227-7390); Dec2025, Vol. 13 Issue 24, p3959, 25p

COMPARATOR circuits BINARY number system CONSTRAINT satisfaction ALGORITHMS COMPILERS (Computer prog... CONSTRAINT programming
Fachzeitschrift
Merkliste
20

Legacy Code, Live Risk: Empirical Evidence of Malware Detection Gaps.
Huang, Gang-Cheng ; Lai, Tai-Hung
Applied Sciences (2076-3417); Nov2025, Vol. 15 Issue 22, p11862, 18p

MALWARE PROGRAMMING languages LEGACY systems COMPILERS (Computer prog... MALWARE prevention INTERNET security
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter