Výsledky vyhľadávania - Compilers (Computer programs)

WebAssembly: Yes, but for What?

Autori: Wingo, Andy¹ (AUTHOR) wingo@igalia.com

Zdroj: Communications of the ACM. Nov2025, Vol. 68 Issue 11, p50-54. 5p.

Predmety: *APPLICATION program interfaces, *ARTIFICIAL intelligence, *DATA security, SOURCE code, COMPILERS (Computer programs), BINARY codes, CLOUD computing

Automatic Compiler Tuning for Inlining with Machine Learning.

Autori: Huang, Da Shi, Xiaohua Feng, Yuchen a ďalší

Zdroj: International Journal of Pattern Recognition & Artificial Intelligence. Sep2025, Vol. 39 Issue 11, p1-21. 21p.

Predmety: MACHINE learning, COMPILERS (Computer programs), BENCHMARK problems (Computer science), OPTIMIZATION algorithms, SIMULATED annealing, ENSEMBLE learning

Automatically Translating C to Rust.

Autori: Hong, Jaemin Ryu, Sukyoung

Zdroj: Communications of the ACM; Nov2025, Vol. 68 Issue 11, p58-65, 8p

Predmety: C (Computer program language), PROGRAMMING languages, COMPUTER programming, LEGACY systems, COMPILERS (Computer programs), LANGUAGE models, TRANSLATORS (Computer programs)

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

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

Autori: 周 放 刘茂福 李珊枝

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

Predmety: *DEEP learning, *COMPILERS (Computer programs), *MATHEMATICAL optimization, *PROGRAM transformation, *FLOWGRAPHS

USE OF GENETIC ALGORITHMS IN ADAPTIVE COMPILERS FOR CROSS-PLATFORM OPTIMIZATION.

Alternate Title: ВИКОРИСТАННЯ ГЕНЕТИЧНИХ АЛГОРИТМІВ В АДАПТИВНИХ КОМПІЛЯТОРАХ ДЛЯ КРОСПЛАТФОРМЕНОЇ ОПТИМІЗАЦІЇ. (Ukrainian)

Autori: M. G., Berdnyk I. P., Starodubskyi

Zdroj: Radio Electronics, Computer Science, Control; 2025, Issue 4, p185-193, 9p

Predmety: GENETIC algorithms, COMPILERS (Computer programs), PROGRAM transformation, EVOLUTIONARY algorithms, COMPUTER systems, COMPUTER performance

A COMPILER APPROACH TO PHARMACOVIGILANCE.

Autori: Christopher, Mani Kitgwim Nyap, Davou Choji Blamah, Nachamada Vachaku a ďalší

Zdroj: Science World Journal. 2025, Vol. 20 Issue 3, p1308-1312. 5p.

Predmety: *COMPILERS (Computer programs), *DRUG side effects, *ELECTRONIC data processing, *MACHINE learning, *MEDICATION safety, *RANDOM forest algorithms

Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities.

Autori: Cuéllar Gempeler, Santiago Harris, Bill Parker, James a ďalší

Zdroj: ACM Transactions on Privacy & Security; Nov2025, Vol. 28 Issue 4, p1-35, 35p

Predmety: COMPUTER security vulnerabilities, CRYPTOGRAPHY, COMPILERS (Computer programs), RISK assessment, APPLIED sciences, DISCLOSURE

A Comprehensive Approach to Rustc Optimization Vulnerability Detection in Industrial Control Systems.

Autori: Xie, Kaifeng Wan, Jinjing Chen, Lifeng a ďalší

Zdroj: Mathematics (2227-7390). Aug2025, Vol. 13 Issue 15, p2459. 20p.

Predmety: *INDUSTRIAL controls manufacturing, *COMPILERS (Computer programs), *DYNAMIC testing, *QUALITY assurance, *LANGUAGE models, *RISK assessment, *MATHEMATICAL optimization

Fuzzing JavaScript JIT compilers with a high-quality differential test oracle.

Autori: Li, Jizhe Xu, Haoran Wang, Yongjun a ďalší

Zdroj: Computers & Security. Dec2025, Vol. 159, pN.PAG-N.PAG. 1p.

Predmety: *DEFECT tracking (Computer software development), JAVASCRIPT programming language, COMPILERS (Computer programs), COMPUTER software testing, SOFTWARE failures, DYNAMIC testing, FALSE positive error

Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs.

Autori: Ozdemir, Alex Wahby, Riad S. Brown, Fraser a ďalší

Zdroj: Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p161-188, 28p

Predmety: FINITE fields, COMPILERS (Computer programs), SOFTWARE validation, ENCRYPTION protocols

BoostPolyGlot: A Structured IR Generation-Based Fuzz Testing Framework for GCC Compiler Frontend.

Autori: Liu, Hui Guo, Hanbin Liu, Peng a ďalší

Zdroj: Applied Sciences (2076-3417); Jun2025, Vol. 15 Issue 11, p5935, 24p

Predmety: SOFTWARE reliability, STATISTICAL significance, SOFTWARE architecture, APPLICATION software, SOURCE code, COMPILERS (Computer programs)

Today's TBB

Autori: Michael J. Voss James R. Reinders

Typ zdroja: eBook.

Predmet: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Graphics Shader Testing for On-Board Visualization System of Civil Aircraft.

Autori: Barladian, B. Kh. Voloboy, A. G. Shapiro, L. Z. a ďalší

Zdroj: Programming & Computer Software; Jun2025, Vol. 51 Issue 3, p123-130, 8p

Predmety: COMPUTER software, INTEGRATED software, COMPUTER science, SOFTWARE architecture, REAL-time control, COMPILERS (Computer programs)

Computer Aided Verification

Autori: Isil Dillig Serdar Tasiran

Typ zdroja: eBook.

Predmet: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler.

Autori: Nougrahiya, Aman Nandivada, V. Krishna

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

Predmety: COMPILERS (Computer programs), HOMEOSTASIS, PROGRAM transformation

Abstractions, Their Algorithms, and Their Compilers.

Autori: AHO, ALFRED ULLMAN, JEFFREY

Zdroj: Communications of the ACM. Feb2022, Vol. 65 Issue 2, p76-91. 16p. 3 Diagrams, 2 Charts.

Predmety: *ALGORITHMS, *COMPUTER programming, *COMPUTER science, *PROGRAMMING languages, COMPILERS (Computer programs), SCIENCE, EVERYDAY life

Compiler-Managed Replication of CUDA Kernels for Reliable Execution of GPGPU Applications.

Autori: Kaya, Ercüment Öz, Işil

Zdroj: Journal of Circuits, Systems & Computers. 9/30/2024, Vol. 33 Issue 14, p1-33. 33p.

Predmety: *GRAPHICS processing units, *COMPILERS (Computer programs), *SOFT errors

Compiler Identification with Divisive Analysis and Support Vector Machine.

Autori: Liu, Changlan Zhang, Yingsong Zuo, Peng a ďalší

Zdroj: Symmetry (20738994); Jun2025, Vol. 17 Issue 6, p867, 25p

Predmety: DISTRIBUTION (Probability theory), SUPPORT vector machines, REVERSE engineering, INFORMATION technology security, COMPUTER software development, COMPILERS (Computer programs)

Key Operator Vectorization for LeNet and ResNet Based on Buddy Compiler.

Autori: Chen, Juncheng Chen, Weiwei Cai, Zhi

Zdroj: Applied Sciences (2076-3417); Sep2025, Vol. 15 Issue 17, p9523, 17p

Predmety: DEEP learning, COMPILERS (Computer programs), PREDICTION models, MATHEMATICAL optimization

Legacy Code, Live Risk: Empirical Evidence of Malware Detection Gaps.

Autori: Huang, Gang-Cheng Lai, Tai-Hung

Zdroj: Applied Sciences (2076-3417); Nov2025, Vol. 15 Issue 22, p11862, 18p

Predmety: MALWARE, PROGRAMMING languages, LEGACY systems, COMPILERS (Computer programs), MALWARE prevention, INTERNET security