Formal Verification of Multi-Thread Minimax Behavior Using mCRL2 in the Connect 4 by Diego Escobar, Jesus Insuasti

Subjects: Get full text

The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms by V. A. Bitner, N. V. Zaborovsky

Subjects: Get full text

Progressive collapse analysis on multicore computers using nonlinear dynamic approach by Sergiy Fialko

Subjects: Get full text

Multithreaded Convolution Implementation Based on Block Methods by A. V. Sharamet

Subjects: Get full text

Tuning block-parallel all-pairs shortest path algorithm for efficient multi-core implementation by O. N. Karasik, A. A. Prihozhy

Subjects: Get full text

Performance evaluation and improvement strategy for FTP servers in campus network by Wei LIU, Gang LI, Feng YU

Subjects: “…FTP;queue theory model;multithreading;response time…”
Get full text

Threaded block-parallel algorithm for finding the shortest paths on graph by O. N. Karasik, A. A. Prihozhy

Subjects: Get full text

Improving the Performance of CPU Architectures by Reducing the Operating System Overhead (Extended Version) by Zagan Ionel, Gaitan Vasile Gheorghita

Subjects: Get full text

Design and Implementation of Distributed Real-time Security System via Mobile Technology by Dhuha Abdullah, Wael Mahmood

Subjects: Get full text

Efficient Reordering of Multiple Memory Operations in a Multithreaded Program by Ilya Andreev, Konstantin Vladimirov

Subjects: “…multithreading…”
Get full text

Enhanced Teleoperation of Robotic Arms Through Master-Slave Configuration With Multithreading by Ahmad Faiz Fawzan Ahmad Zainudin, Mohd Hairi Mohd Zaman, Mohd Faisal Ibrahim, Mohd Asyraf Zulkifley, M. Marzuki Mustafa

Subjects: Get full text

Enhancing Browser Physics Simulations: WebAssembly and Multithreading Strategies by Hyeonjong Nam, Eun-Jin Im

Subjects: Get full text

Efficient Prefetch and Issue Scheduling Approaches for Simultaneous Multithreading Applied to Superscalar RISC-V Processor by Hananya Ribo, Shlomo Greenberg

Subjects: “…Hardware multithreading…”
Get full text

Highly Reliable Data Distribution Service Model BasedHighly Reliable Data Distribution Service Model Based on Multithreaded Worker by ZHENG Jia-cheng, ZHANG Ya-nan

Subjects: Get full text

Chip Design of Multithreaded and Pipelined RISC-V Microcontroller Unit by Mao-Hsu Yen, Yih-Hsia Lin, Tzu-Feng Lin, Yu-Hui Chen, Yuan-Fu Ku, Chien-Ting Kao

Subjects: “…multithreading…”
Get full text

Investigation of the Effectiveness of Programs Optimization Methods for Parallel Computing Systems with GPU by A. Yu. Bezruchenko, V. A. Egunov

Subjects: Get full text

Analysis of the Influence of Software and Hardware Noise on the Results of Digital Signal Processing by A. V. Sharamet

Subjects: Get full text

Software Design of Electric Locomotive Brake Display Based on Qt Creator by Ao LIU, Xiangjie REN, Qiwei WANG

Subjects: Get full text

IMPROVING THE EFFICIENCY OF THE METHOD OF SPECULATIVE MULTI-THREADING FOR DYNAMIC PARALLELIZING by Marina A. Bakuleva, Alexander V. Bakulev

Subjects: Get full text

Combining evolutionary computation with the variable neighbourhood search in creating an artificial music composer by Reza Zamani

Subjects: Get full text