Code Optimization In the Polyhedron Model : Improving the Efficiency of Parallel Loop Nests 비슷한 책 더 보기
Static Analysis
2007년
Static Analysis
2011년
Programming Languages and Systems
2010년
Compiler Construction
2010년
Compiler Construction
2011년
Static Analysis
2016년
Tools and Algorithms for the Construction and Analysis of Systems
2008년
Computer Aided Verification
2007년
Tools and Algorithms for the Construction and Analysis of Systems
2009년
Programming Languages and Systems
2011년
Programming Languages and Systems
2009년
Static Analysis
2015년
Computer Aided Verification
2010년
Verification, Model Checking, and Abstract Interpretation
2011년
Static Analysis
2017년