Search Results - "Computer software execution"

A MULTI-LAYERED ANALYTICAL FRAMEWORK FOR MANAGING THE SOFTWARE FUNCTIONAL STATE IN THE SDLC PROCESS.

Authors: Lyashkevych, M. Y. Shuvar, R. Y.

Source: Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì; 2026, Vol. 16 Issue 2, p228-236, 9p

Office VBA 매크로 실행 모델의 교육적 구조화 연구. (Korean)

Authors: 손수호 김문성

Source: Journal of Internet Computing & Services; Apr2026, Vol. 27 Issue 2, p89-100, 12p

Bridging the Semantic Gap in 5G: A Hybrid RAG Framework for Dual-Domain Understanding of O-RAN Standards and srsRAN Implementation.

Authors: Nurakhov, Yedil Kassymbek, Nurislam Marlambekov, Duman et al.

Source: Applied Sciences (2076-3417); Apr2026, Vol. 16 Issue 7, p3275, 20p

Security Interface for Execution Control from a Tightly Coupled Security Core.

Authors: Stoyanov, Stefan Ivanov Marinova, Maria Plamenova Kakanakov, Nikolay Rumenov

Source: Applied Sciences (2076-3417); Mar2026, Vol. 16 Issue 5, p2387, 16p

Learning Resources in Numerical Analysis.

Authors: Mahmood, Mohammed abdulelah, mohamedyaseen2301@gmail.com

Source: Journal of Computational Analysis & Applications; 2025, Vol. 34 Issue 8, p251-270, 20p

A Review of Parallel Computing for Large-scale Reservoir Numerical Simulation.

Authors: Meng, Xiangling He, Xiao Hu, Changjun et al.

Source: Archives of Computational Methods in Engineering; Oct2025, Vol. 32 Issue 7, p4125-4162, 38p

FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution.

Authors: Gou, Naixiang Zhao, Xiangfu Wang, Shiji et al.

Source: Security & Privacy. Mar/Apr2025, Vol. 8 Issue 2, p1-18. 18p.

MDCompress: better, faster compression of molecular dynamics simulation trajectories.

Authors: Kokot, Marek Roy, Amitava Wheeler, Travis J et al.

Source: Bioinformatics; Apr2026, Vol. 42 Issue 4, p1-11, 11p

Tableaux for metainferential logics.

Authors: Bavosa Castro, A. Borzi, A. Da Ré, B. et al.

Source: Journal of Applied Non-Classical Logics; Mar2026, Vol. 36 Issue 1, p113-146, 34p

ValidGen: A Tool for Automatic Generation of Validation Scripts to Support Rapid Requirements Validation.

Authors: Pan, Hongyue Yang, Yilong

Source: ICSE: International Conference on Software Engineering; 2024, p124-128, 5p

Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain.

Authors: van Tonder, Rijnard¹, rijnard@mystenlabs.com

Source: ICSE: International Conference on Software Engineering; 2024, p26-29, 4p

nvshare: Practical GPU Sharing without Memory Size Constraints.

Authors: Alexopoulos, Georgios Mitropoulos, Dimitris

Source: ICSE: International Conference on Software Engineering; 2024, p16-20, 5p

SpotFlow: Tracking Method Calls and States at Runtime.

Authors: Hora, Andre¹, andrehoraa@gmail.com

Source: ICSE: International Conference on Software Engineering; 2024, p35-39, 5p

SAFE: Safety Analysis and Retraining of DNNs.

Authors: Attaoui, Mohammed Pastore, Fabrizio Briand, Lionel

Source: ICSE: International Conference on Software Engineering; 2024, p74-78, 5p

GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions.

Authors: Saavedra, Nuno Silva, André Monperrus, Martin

Source: ICSE: International Conference on Software Engineering; 2024, p1-5, 5p

TRACED: Execution-aware Pre-training for Source Code.

Authors: Ding, Yangruibo Steenhoek, Benjamin Pei, Kexin et al.

Source: ICSE: International Conference on Software Engineering; 2024, p1-12, 12p

Cyberintelligence for logistics: The promise and challenges of cyber-physical systems.

Authors: Singh, Nitin Lai, Kee-hung Huang, George Q.

Source: Business Horizons; Jan2026, Vol. 69 Issue 1, p77-87, 11p

Development of an ORMAWA Work Program Management Information System Using a User-Centered Design Approach.

Authors: Helmi, Muhammad Faisal, Mohammad Reza Abadi, Friska et al.

Source: Applied Information System & Management (AISM); 2026, Vol. 9 Issue 1, p23-30, 8p

An Algorithm for Algebraic Synthesis of a Finite-State Machine Based on Operation Enumeration.

Authors: Babakov, R. M. Barkalov, A. A.

Source: Cybernetics & Systems Analysis; Jan2026, Vol. 62 Issue 1, p11-19, 9p

From Percepts to Semantics: A Multi-modal Saliency Map to Support Social Robots' Attention.

Authors: Ferrini, Lorenzo Andriella, Antonio Ros, Raquel et al.

Source: ACM Transactions on Human-Robot Interaction; Dec2025, Vol. 14 Issue 4, p1-19, 19p