Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lubos Brim
Computing Strongly Connected Components in Parallel on CUDA
Efficient Large-Scale Model Checking
Related publications
Parallel Asynchronous Connected Components in a Mesh
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Improved Deterministic Algorithms for Decremental Transitive Closure and Strongly Connected Components
Computing Bridges, Articulations, and 2-Connected Components in Wireless Sensor Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hypergraph Partitioning Implementation for Parallelizing Matrix-Vector Multiplication Using CUDA GPU-based Parallel Computing
Connected Components Labeling on DRAGs
On a Problem Connected With Strongly Convex Functions
Mathematical Inequalities and Applications
Mathematics
Applied Mathematics
Parallel Programming Design of BPSK Signal Demodulation Based on CUDA
International Journal of Communications, Network and System Sciences
Parallel Simulation of Equation-Based Models on CUDA-enabled GPUs
How to Make a Strongly Connected Digraph Two-Connected
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science