Project description: This project is a distributed application using MPI and OpenMP to find strongly connected components using the Tarjan algorithm. To execute the project, use the mpirun or mpiexec ...
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog] ...
Abstract: The reliability and performance of concurrency are severely affected by deadlocks in concurrent systems. An efficient deadlock detection algorithm is needed to ensure that any deadlock cases ...
ABSTRACT: A global variable in C/C++ is one that is declared outside a function, and whose scope extends the lifetime of the entire program. Global variables cause problems for program dependability, ...
Abstract: The last circuit breaker (LCB) protection is applied in hybrid AC/DC power grids to protect the AC/DC equipment from overvoltage threats caused by the unexpected tripping of LCBs. In this ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback