Cited in
(11)- Equivalence checking of Petri net models of programs using static and dynamic cut-points
- Sufficient conditions for the determination and use of data in the same granular parallel computation process
- CompCertTSO
- DynTile
- PIPS
- Flamel
- SamaTulyata
- v2c
- Reliable generation of high-performance matrix algebra
- Translation validation of coloured Petri net models of programs on integers
- Implementation of partial separability in a source-to-source transformation AD tool
This page was built for software: PLuTo
