PLuTo
From MaRDI portal
Software:21601
No author found.
Related Items (5)
Implementation of Partial Separability in a Source-to-Source Transformation AD Tool ⋮ Sufficient conditions for the determination and use of data in the same granular parallel computation process ⋮ Equivalence checking of Petri net models of programs using static and dynamic cut-points ⋮ Reliable Generation of High-Performance Matrix Algebra ⋮ Translation validation of coloured Petri net models of programs on integers
This page was built for software: PLuTo
