Code Optimization In the Polyhedron Model : Improving the Efficiency of Parallel Loop Nests More Books Like This
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