-
1
Formal Verification of Multi-Thread Minimax Behavior Using mCRL2 in the Connect 4
Published 2024-12-01Subjects: Get full text
Article -
2
Tuning block-parallel all-pairs shortest path algorithm for efficient multi-core implementation
Published 2022-12-01Subjects: Get full text
Article -
3
Performance evaluation and improvement strategy for FTP servers in campus network
Published 2013-09-01Subjects: Get full text
Article -
4
Parallel performance model for network processors and the characteristics of multithread stalls
Published 2007-01-01Subjects: Get full text
Article -
5
Integration of a Large-Scale Genetic Analysis Workbench Increases the Accessibility of a High-Performance Pathway-Based Analysis Method
Published 2018-12-01Subjects: Get full text
Article