1
Pubblicazione 2005
Sommario: ... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...
Testo
Elettronico eBook
2
Pubblicazione 2013
Sommario: ... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...
Testo
Elettronico eBook