Analysis of Research Progress on Deployment Methods for Deep Learning Models on FPGAs.

Συγγραφείς: Wang, Shuo, Chen, Lei, Tian, Chunsheng, Zhou, Jing, Zhang, Yaowei, Cao, Yongzheng

Πηγή: Electronics (2079-9292); Aug2026, Vol. 15 Issue 16, p3536, 51p

Θεματικοί όροι: Deep learning, Programmable logic devices, Compilers (Computer programs), Run time systems (Computer science), Software architecture, Electronic design automation, Mathematical optimization

BinSleuth: Scalable vulnerability discovery in binaries via automated source identification and path optimization.

Συγγραφείς: Liu, Jie¹ (AUTHOR) liujie_ran@bupt.edu.cn, Zou, Shun¹ (AUTHOR) zous@bupt.edu.cn, Liang, Hongliang¹ (AUTHOR) hliang@bupt.edu.cn

Πηγή: Journal of Systems & Software. Oct2026, Vol. 240, pN.PAG-N.PAG. 1p.

Θεματικοί όροι: *Mathematical optimization, Compilers (Computer programs), Penetration testing (Computer security)

Bi-directional Long Short-term Memory with Hybrid Optimiser for Image Captioning.

Συγγραφείς: Hanumanth Raju, R. K., Vinay Kumar, S. B.

Πηγή: Journal of Information & Knowledge Management; Aug2026, Vol. 25 Issue 8, p1-37, 37p

Θεματικοί όροι: Long short-term memory, Photograph captions, Subroutines (Computer programs), Deep learning, Optimization algorithms, Mathematical optimization, Natural language processing, Metaheuristic algorithms

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

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

Συγγραφείς: 周 放^1,2 735672985@qq.com, 刘茂福^1,2, 李珊枝³

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

Θεματικοί όροι: *Deep learning, *Compilers (Computer programs), *Mathematical optimization, *Program transformation, *Flowgraphs

Sensitivity analysis for linear changes of the constraint matrix of a (mixed-integer) linear program

Συγγραφείς: Derval, Guillaume, Ernst, Damien, Louveaux, Quentin, Miftari, Bardhyl

Θεματικοί όροι: Linear Programming, Sensitivity analysis, Constraint matrix, Robust optimization, Physical, chemical, mathematical & earth Sciences, Mathematics, Engineering, computing & technology, Computer science, Physique, chimie, mathématiques & sciences de la terre, Mathématiques, Ingénierie, informatique & technologie, Sciences informatiques

Σύνδεσμος πρόσβασης: https://orbi.uliege.be/handle/2268/323606

Scuzer: A Scheduling Optimization Fuzzer for TVM.

Συγγραφείς: Chen, Xiangxiang, Lin, Xingwei, Wang, Jingyi, Sun, Jun, Wang, Jiashui, Wang, Wenhai

Πηγή: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-28, 28p

Θεματικοί όροι: Scheduling, Compilers (Computer programs), Mathematical optimization, Deep learning, Defect tracking (Computer software development), Optimizers (Computer software), Scientific experimentation

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

Συγγραφείς: Xie, Kaifeng, Wan, Jinjing, Chen, Lifeng, Wang, Yi

Πηγή: Mathematics (2227-7390); Aug2025, Vol. 13 Issue 15, p2459, 20p

Θεματικοί όροι: Industrial controls manufacturing, Compilers (Computer programs), Dynamic testing, Quality assurance, Language models, Risk assessment, Mathematical optimization

Evaluation of customized adaptive cardiovascular activation function with deep neural networks for myocardial infarction classification using ECG image.

Συγγραφείς: D, Banumathy, Latha Pandala, Madhavi, Masud, Mehedi, Abouhawwash, Mohamed

Πηγή: PeerJ Computer Science; Jun2026, p1-26, 26p

Θεματικοί όροι: Myocardial infarction, Electrocardiography, Mathematical optimization, Random forest algorithms, Artificial neural networks, Statistical accuracy, Subroutines (Computer programs)

RAAS: Runtime Adaptive Approximation System.

Συγγραφείς: Reis, Lucas, Rigo, Sandro, Wanner, Lucas

Πηγή: Concurrency & Computation: Practice & Experience; Jun2026, Vol. 38 Issue 12, p1-20, 20p

Θεματικοί όροι: Compilers (Computer programs), Approximation algorithms, Mathematical optimization

Repair and Initialization Functions in the Generation of School Schedules with Genetic Algorithms.

Συγγραφείς: Martinez, Alejandro Moreno, Landassuri Moreno, Victor Manuel, Chau, Asdrúbal López, Morales Escobar, Saturnino Job

Πηγή: International Journal of Combinatorial Optimization Problems & Informatics; Jan-Apr2026, Vol. 17 Issue 1, p263-274, 12p

Θεματικοί όροι: Genetic algorithms, School schedules, Scheduling, Mathematical functions, Mathematical optimization, Subroutines (Computer programs)

Orchestrating optimization passes of machine learning compiler for reducing memory footprints of computation graphs.

Συγγραφείς: Yu, Qianwei¹ (AUTHOR) yuqianwei@sjtu.edu.cn, Nie, Pengbo¹ (AUTHOR) yuemonangong@sjtu.edu.cn, Wang, Zihan¹ (AUTHOR) wangzh99@sjtu.edu.cn, Wan, Chengcheng² (AUTHOR) ccwan@sei.ecnu.edu.cn, Lin, Ziyi³ (AUTHOR) cengfeng.lzy@alibaba-inc.com, Jiang, He⁴ (AUTHOR) jianghe@dlut.edu.cn, Zhao, Jianjun⁵ (AUTHOR) zhao@ait.kyushu-u.ac.jp, Qiao, Lei⁶ (AUTHOR) fly2moon@163.com, Chen, Le¹ (AUTHOR) tom2cat@sjtu.edu.cn, Chen, Yuting^1,7 (AUTHOR) chenyt@sjtu.edu.cn

Πηγή: Journal of Systems Architecture. Apr2026, Vol. 173, pN.PAG-N.PAG. 1p.

Θεματικοί όροι: *Mathematical optimization, *Scheduling, Computer memory management, Compilers (Computer programs), Graph algorithms, Deep learning, Edge computing

USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS.

Συγγραφείς: Gorlatch, Sergei, Garanina, Natalia, Staroletov, Sergey

Πηγή: Journal of Mathematical Sciences; May2025, Vol. 290 Issue 5, p641-653, 13p

Θεματικοί όροι: High performance computing, Parallel programs (Computer programs), OpenCL (Computer program language), Software verification, Program transformation, Mathematical optimization, Modeling languages (Computer science), Model validation

Automated and Automatic Systems of Management of an Optimization Programs Package for Decisions Making

Συγγραφείς: Kamil, Aidazade^{Aff12, Aff14}, Quliyev, Samir^{Aff12, Aff13}

Συνεισφορές: Hartmanis, Juris, Founding Editor^Aff1, Goos, Gerhard, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Eremeev, Anton, editor^Aff7, Khachay, Michael, editor^Aff8, Kochetov, Yury, editor^Aff9, Mazalov, Vladimir, editor^Aff10, Pardalos, Panos, editor^Aff11

Πηγή: Mathematical Optimization Theory and Operations Research : 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30–July 6, 2024, Proceedings. 14766:390-407

Efficient Compiler Design for a Geometric Shape Domain-Specific Language: Emphasizing Abstraction and Optimization Techniques.

Συγγραφείς: Gupta, Priya, ManiKiran, Terala, Purushotham, Mailapalli, Suriya, L. Jeya, Venkata, Rasamsetty Naga, Nanda, Sambhudutta

Πηγή: EAI Endorsed Transactions on Scalable Information Systems; 2024, Vol. 11 Issue 4, p1-5, 5p

Θεματικοί όροι: Compilers (Computer programs), Geometric shapes, Mathematical optimization, Computer software development

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

Συγγραφείς: Chen, Juncheng, Chen, Weiwei, Cai, Zhi

Πηγή: Applied Sciences (2076-3417); Sep2025, Vol. 15 Issue 17, p9523, 17p

Θεματικοί όροι: Deep learning, Compilers (Computer programs), Prediction models, Mathematical optimization

编译过程中高级语言到机器语言的指令转换优化策略. (Chinese)

Συγγραφείς: 姚拓中, 郭 辉

Πηγή: Electronic Communication & Computer Science; 2026, Vol. 8 Issue 5, p212-214, 3p

Θεματικοί όροι: Programming languages, Compilers (Computer programs), Mathematical optimization

Patent Issued for Runtime optimization of computations of an artificial neural network compiled for execution on a deep learning accelerator (USPTO 12725026).

Πηγή: Pharma Business Week. 9/21/2026, p5631-5631. 1p.

Θεματικοί όροι: *Artificial neural networks, *Integrated circuits, *Mathematical optimization, Compilers (Computer programs), Neural computers, Adaptive computing systems, Semiconductor devices

Εταιρία/Οντότητα: Micron Technology Inc. 093120871 MU

Annotation‐Guided AoS‐to‐SoA Conversions and GPU Offloading With Data Views in C++.

Συγγραφείς: Radtke, Pawel K., Weinzierl, Tobias

Πηγή: Concurrency & Computation: Practice & Experience; 9/25/2025, Vol. 37 Issue 21/22, p1-23, 23p

Θεματικοί όροι: C++, Annotations, Data structures, Mathematical optimization, Compilers (Computer programs)

A Fusion of ReLU and upSample Function With Store in VTA for Higher Throughput of Network Inferencing.

Συγγραφείς: Gou, Dong¹ (AUTHOR), He, Zheng¹ (AUTHOR), Zhao, Yinghai² (AUTHOR), Wang, Xuhui¹ (AUTHOR), Gao, Yanshuo¹ (AUTHOR), Zhang, Guohe¹ (AUTHOR), Mei, Kuizhi¹ (AUTHOR) meikuizhi@mail.xjtu.edu.cn

Πηγή: Electronics Letters (Wiley-Blackwell). Jan2025, Vol. 61 Issue 1, p1-4. 4p.

Θεματικοί όροι: *Systems design, *Mathematical optimization, Subroutines (Computer programs)

一种多端口寄存器文件的全自动物理编译器. (Chinese)

Alternate Title: An automated physical compiler for multi-port register files. (English)

Συγγραφείς: 明天波, 刘必慰, 胡春媚, 吴振宇, 宋睿强, 宋芳芳

Πηγή: Computer Engineering & Science / Jisuanji Gongcheng yu Kexue; Jun2025, Vol. 47 Issue 6, p976-987, 12p

Θεματικοί όροι: Heuristic algorithms, Computer architecture, Mathematical optimization, Designers, Speed, Compilers (Computer programs)