Solving Linear Diophantine Systems on Parallel Architectures


Solving Linear Diophantine Systems on Parallel Architectures is a scholarly work, published in 2019 in ''IEEE Transactions on Parallel and Distributed Systems''. The main subjects of the publication include speedup, Petri net, Diophantine equation, algorithm, parallel computing, theoretical computer science, fault tolerance, formal methods, computer science, and solver. Solving linear Diophantine systems of equations is applied in discrete-event systems, model checking, formal languages and automata, logic programming, cryptography, networking, signal processing, and chemistry.
DOI 10.1109/TPDS.2018.2873354