1
Published 2005
Table of Contents: ... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...
View full text
Electronic eBook