A Survey of Hardware Improvements to Secure Program Execution.

Συγγραφείς: Zhao, Lianying¹ (AUTHOR) lianying.zhao@carleton.ca, Shuang, He² (AUTHOR) he.shuang@mail.utoronto.ca, Xu, Shengjie² (AUTHOR) shengjie.xu@mail.utoronto.ca, Huang, Wei² (AUTHOR) wh.huang@mail.utoronto.ca, Cui, Rongzhen² (AUTHOR) gavin.cui@mail.utoronto.ca, Bettadpur, Pushkar² (AUTHOR) pushkar.bettadpur@mail.utoronto.ca, Lie, David² (AUTHOR) david.lie@utoronto.ca

Πηγή: ACM Computing Surveys. Dec2024, Vol. 56 Issue 12, p1-37. 37p.

Θεματικοί όροι: *C (Computer program language), COMPUTER operating system security measures, COMPUTER software execution, INSTRUCTION set architecture, PROGRAMMING language semantics, COMPUTER firmware

FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution.

Συγγραφείς: Gou, Naixiang¹ (AUTHOR), Zhao, Xiangfu¹ (AUTHOR) xiangfuzhao@gmail.com, Wang, Shiji¹ (AUTHOR), Zhang, Hanfeng¹ (AUTHOR), Yang, Jiahui¹ (AUTHOR)

Πηγή: Security & Privacy. Mar/Apr2025, Vol. 8 Issue 2, p1-18. 18p.

Θεματικοί όροι: *REAL contracts (Civil law), *COMPUTER software execution, *VIRTUAL machine systems, *SOURCE code, *BLOCKCHAINS

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

Συγγραφείς: Ferrini, Lorenzo, Andriella, Antonio, Ros, Raquel, Lemaignan, Séverin

Πηγή: ACM Transactions on Human-Robot Interaction; Dec2025, Vol. 14 Issue 4, p1-19, 19p

Θεματικοί όροι: SOCIAL robots, ATTENTION control, SELECTIVITY (Psychology), COMPUTER software execution, SOCIAL interaction

Optimizing machine learning operations in multi-cloud infrastructure: a framework for unified deployment management and topology discovery.

Συγγραφείς: Wei, Hao, Pañeda, Xabiel García, Rodriguez, Joaquín Salvachúa

Πηγή: Cluster Computing; Nov2025, Vol. 28 Issue 14, p1-23, 23p

Θεματικοί όροι: MACHINE learning, HYBRID cloud computing, WORKFLOW management, MANAGEMENT of computer software execution, RESOURCE allocation

Lessons from piloting and scaling a real-time DHIS2 based treatment reporting tool for mass drug administration in Nigeria.

Συγγραφείς: Imhansoloeva, Martins, Nwosu, Christian, Osinoiki, Omosefe, Isiyaku, Sunday, Anyaike, Chukwuma, Amodu-Agbi, Perpetua, Egbelu, Ununumah, Nwoye, Augustine, Oyinloye, Peter, Abdurahman, Amin Umar, Otiji, Ifeoma, Nweke, Lazarus, Kumbur, Joseph, Ishaya, Rinpan, Dixon, Ruth, Bartlett, Sarah

Πηγή: PLoS Neglected Tropical Diseases; 10/10/2025, Vol. 19 Issue 10, p1-18, 18p

Θεματικοί όροι: DATA quality, HEALTH information systems, NEGLECTED diseases, PUBLIC administration, NIGERIANS, COMPUTER software execution, REAL-time computing

Γεωγραφικοί όροι: NIGERIA

Awaiting for Godot: stateless model checking that avoids executions where nothing happens.

Συγγραφείς: Jonsson, Bengt, Lång, Magnus, Sagonas, Konstantinos

Πηγή: Formal Methods in System Design; Oct2025, Vol. 67 Issue 1, p71-105, 35p

Θεματικοί όροι: SOFTWARE verification, PARALLEL programs (Computer programs), SYNCHRONIZATION, COMPUTER software execution

Defect Categorization in Compilers: A Multi-vocal Literature Review.

Συγγραφείς: RAHMAN, AKOND¹ akond@auburn.edu, BOSE, DIBYENDU BRINTO² brintodibyendu@vt.edu, BARSHA, FARHAT LAMIA³ fbarsha42@tntech.edu, PANDITA, RAHUL⁴ rahulpandita@github.com

Πηγή: ACM Computing Surveys. Apr2024, Vol. 56 Issue 4, p1-42. 42p.

Θεματικοί όροι: *SOFTWARE engineering, *COMPUTER software developers, *DISTRIBUTED computing, COMPUTER software execution, SOFTWARE development tools, DEEP learning, COMPILERS (Computer programs)

POWERTOYS YOU'LL USE EVERY DAY.

Συγγραφείς: RAWLINSON, NIK

Πηγή: APC (Future Publishing Ltd.); Nov2025, Issue 551, p66-69, 4p, 8 Color Photographs

Θεματικοί όροι: UTILITIES (Computer programs), MICROSOFT software, OPEN source software, COMPUTER software execution, TEXT recognition, WINDOWS (Graphical user interfaces), IMAGE processing

Εταιρία/Οντότητα: MICROSOFT Corp.

ПРОГРАМНА РЕАЛІЗАЦІЯ ЧИСЛОВОГО МЕТОДУ ОТРИМАННЯ ММП-ОЦІНОК ПАРАМЕТРІВ ДЖЕФФРІСОВОЇ МОДИФІКАЦІЇ РОЗПОДІЛУ ПІРСОНА VII ТИПУ. (Ukrainian)

Alternate Title: SOFTWARE IMPLEMENTATION OF A NUMERICAL METHOD FOR OBTAINING MMP-ESTIMATES OF PARAMETERS OF THE JEFFRIES MODIFICATION OF THE PEARSON DISTRIBUTION OF TYPE VII. (English)

Συγγραφείς: ДЖУНЬ, Й. В., ЯСІНСЬКИЙ, А. М., ШПОРТЬКО, О. В., СОЛОВЕЙ, Л. Я.

Πηγή: Cybernetics & Systems Analysis / Kibernetiki i Sistemnyj Analiz; 2025, Issue 5, p170-176, 7p

Θεματικοί όροι: PARAMETER estimation, DISTRIBUTION (Probability theory), LASER based sensors, C++, PEARSON correlation (Statistics), QUANTITATIVE research, COMPUTER software execution

Balancing Accuracy and Efficiency in Vehicular Network Firmware Vulnerability Detection: A Fuzzy Matching Framework with Standardized Data Serialization.

Συγγραφείς: Fang, Xiyu, He, Kexun, Wu, Yue, Chen, Rui, Zhao, Jing

Πηγή: Informatics; Sep2025, Vol. 12 Issue 3, p67, 24p

Θεματικοί όροι: COMPUTER security vulnerabilities, VEHICULAR ad hoc networks, ENCODING, DATA transmission systems, INFERENTIAL statistics, COMPUTER software execution, DATA integrity

A Monitoring System for Measuring the Cognitive Cycle via a Continuous Reaction Time Task.

Συγγραφείς: Ukov, Teodor, Tsochev, Georgi, Yoshinov, Radoslav

Πηγή: Systems; Jul2025, Vol. 13 Issue 7, p597, 35p

Θεματικοί όροι: COGNITIVE psychology, COGNITIVE testing, ATTENTION control, COMPUTER software execution, EMPIRICAL research, COGNITIVE ability

Icons for Software Implementations of Interactive Multiobjective Optimization Methods: A Semantic Distance Study.

Συγγραφείς: Silvennoinen, Johanna, Maldonado, Giomara Lárraga, Ruiz, Ana B., Ruiz, Francisco, Misitano, Giovanni, Miettinen, Kaisa

Πηγή: Journal of Multi-Criteria Decision Analysis; Apr2025, Vol. 32 Issue 1, p1-14, 14p

Θεματικοί όροι: USER interfaces, MULTIPLE criteria decision making, IMAGE representation, COMPUTER software execution, DECISION making, EMPIRICAL research, MATHEMATICAL optimization

Quik Church, Route 3.141592.

Συγγραφείς: Voss, Sarah sarahvoss1@outlook.com

Πηγή: Journal of Humanistic Mathematics. Jan2024, Vol. 14 Issue 1, p322-325. 4p.

Θεματικοί όροι: *MATHEMATICS teachers, *COMPUTER software execution

HOW TO… Stream from your PC to your smart TV.

Συγγραφείς: Rawlinson, Nik (AUTHOR)

Πηγή: Computer Act!ve. 2/14/2024, Issue 677, p35-37. 3p. 3 Color Photographs.

Θεματικοί όροι: *SMART television devices, COMPUTER software execution, ALBUM cover art, DIGITAL music

De la responsabilidad social del diseño al diseño de la Respons(h)abilidad Imbricaciones entre estereotipos y prejuicios. (Spanish)

Συγγραφείς: Ceja Bravo, Leobardo Armando

Πηγή: Cuadernos del Centro de Estudios de Diseño y Comunicación; 2024/2025, Vol. 27 Issue 241, p143-158, 16p

Θεματικοί όροι: MANAGEMENT of computer software execution, COMPUTER software execution, SOCIAL groups, FASHION design, ARCHITECTURAL design

Old computers, new tasks.

Συγγραφείς: Crookes, David

Πηγή: APC (Future Publishing Ltd.); Mar2025, Issue 543, p110-113, 4p, 7 Color Photographs

Θεματικοί όροι: USB flash drives, COMPUTER operating systems, COMPUTER software execution, USB technology, VIRTUAL machine systems, ELECTRONIC spreadsheets

OPTIMIZATION OF STOCHASTIC BLACKBOXES WITH ADAPTIVE PRECISION.

Συγγραφείς: ALARIE, STÉPHANE¹ alarie.stephane@ireq.ca, AUDET, CHARLES² Charles.Audet@gerad.ca, BOUCHET, PIERRE-YVES² pierre-yves.bouchet@polymtl.ca, LE DIGABEL, SÉBASTIEN² Sebastien.Le.Digabel@gerad.ca

Πηγή: SIAM Journal on Optimization. 2021, Vol. 31 Issue 4, p3127-3156. 30p.

Θεματικοί όροι: *STANDARD deviations, COMPUTER software execution, DETERMINISTIC algorithms

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

Συγγραφείς: Pan, Hongyue, Yang, Yilong

Πηγή: ICSE: International Conference on Software Engineering; 2024, p124-128, 5p

Θεματικοί όροι: RAPID prototyping, COMPUTER software development, SOFTWARE validation, COMPUTER software execution, COMPUTER software industry

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

Συγγραφείς: van Tonder, Rijnard

Πηγή: ICSE: International Conference on Software Engineering; 2024, p26-29, 4p

Θεματικοί όροι: SOURCE code, BLOCKCHAINS, COMPUTER software execution, COMPUTER software developers, COMPILERS (Computer programs)

nvshare: Practical GPU Sharing without Memory Size Constraints.

Συγγραφείς: Alexopoulos, Georgios, Mitropoulos, Dimitris

Πηγή: ICSE: International Conference on Software Engineering; 2024, p16-20, 5p

Θεματικοί όροι: GRAPHICS processing units, MACHINE learning, COMPUTER software execution, CONSTRAINT databases, SOFTWARE engineering