Full-text articles, eBooks and much more from EBSCO Discovery Service

Not found what you are looking for? Check in Onleihe or make a Purchase Request

Showing 1 - 20 of 7,095

1

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

APPLICATION program inte... ARTIFICIAL intelligence DATA security SOURCE code COMPILERS (Computer prog... BINARY codes
Journal
Save to List
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.

MACHINE learning COMPILERS (Computer prog... BENCHMARK problems (Comp... OPTIMIZATION algorithms SIMULATED annealing ENSEMBLE learning
Academic journal
Save to List
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
Journal
Save to List
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.

ALGORITHMS COMPUTER programming COMPUTER science PROGRAMMING languages COMPILERS (Computer prog... SCIENCE
Journal
Save to List
5

基于源代码迁移的编译器优化方法研究.
周 放 ; 刘茂福 ; 李珊枝
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
Academic journal
Save to List
6

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
Academic journal
Save to List
7

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

C++ C (Computer program lang... COMPILERS (Computer prog... PROGRAM transformation CODE generators
Journal
Save to List
8

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
Academic journal
Save to List
9

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.

DEFECT tracking (Compute... JAVASCRIPT programming l... COMPILERS (Computer prog... COMPUTER software testin... SOFTWARE failures DYNAMIC testing
Academic journal
Save to List
10

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.

COMPUTER programming PROGRAMMING languages COMPILERS (Computer prog... DEBUGGING CODING theory
Journal
Save to List
11

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
Academic journal
Save to List
12

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
Academic journal
Save to List
13

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
Academic journal
Save to List
14

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
Academic journal
Save to List
15

Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities.
Cuéllar Gempeler, Santiago ; Harris, Bill ; Parker, James ; et al.
ACM Transactions on Privacy & Security; Nov2025, Vol. 28 Issue 4, p1-35, 35p

COMPUTER security vulner... CRYPTOGRAPHY COMPILERS (Computer prog... RISK assessment APPLIED sciences DISCLOSURE
Academic journal
Save to List
16

Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs.
Ozdemir, Alex ; Wahby, Riad S. ; Brown, Fraser ; et al.
Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p161-188, 28p

FINITE fields COMPILERS (Computer prog... SOFTWARE validation ENCRYPTION protocols
Academic journal
Save to List
17

Register‐Based and Stack‐Based Virtual Machines: Which Perform Better in JIT Compilation Scenarios?
Šimek, Bohuslav ; Fiala, Dalibor ; Dostal, Martin
Software: Practice & Experience; Nov2025, Vol. 55 Issue 11, p1896-1910, 15p

VIRTUAL machine systems COMPUTER performance BENCHMARK problems (Comp... COMPUTER architecture COMPILERS (Computer prog...
Academic journal
Save to List
18

WASP: Stack protection for WebAssembly.
Massey, Ewan ; Olivier, Pierre
Journal of Systems Architecture. Mar2026, Vol. 172, pN.PAG-N.PAG. 1p.

COMPUTER security vulner... SECURITY management COMPILERS (Computer prog... COMPUTER performance
Academic journal
Save to List
19

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.

COMPILERS (Computer prog... HOMEOSTASIS PROGRAM transformation
Academic journal
Save to List
20

Building a Binder: Part 2: Assembly.
Van Horne, Karla
Leather Crafters & Saddlers Journal; Nov/Dec2025, Vol. 35 Issue 6, p34-42, 7p

ARCHITECTURAL details JOINTS (Engineering) COMPILERS (Computer prog...
Journal
Save to List

Filter