The following pages link to PLuTo (Q21601):
Displaying 5 items.
- Translation validation of coloured Petri net models of programs on integers (Q2089749) (← links)
- Equivalence checking of Petri net models of programs using static and dynamic cut-points (Q2415374) (← links)
- Reliable Generation of High-Performance Matrix Algebra (Q2828141) (← links)
- Implementation of Partial Separability in a Source-to-Source Transformation AD Tool (Q2913152) (← links)
- Sufficient conditions for the determination and use of data in the same granular parallel computation process (Q2940528) (← links)
