Author:
dos Santos Luiz C. V.,Jess Jochen A. G.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. PRESGen;Proceedings of the 2017 Workshop on Software Engineering Methods for Parallel and High Performance Applications;2017-06-26
2. An efficient path based equivalence checking for Petri net based models of programs;Proceedings of the 9th India Software Engineering Conference;2016-02-18
3. Formal verification of code motion techniques using data-flow-driven equivalence checking;ACM Transactions on Design Automation of Electronic Systems;2012-06
4. Translation Validation for PRES+ Models of Parallel Behaviours via an FSMD Equivalence Checker;Progress in VLSI Design and Test;2012
5. Compiler-Directed ILP Extraction for Clustered VLIW/EPIC Machines;Embedded Software for SoC