1
منشور في 2005
جدول المحتويات: ... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2013
جدول المحتويات: ... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...
احصل على النص الكامل
الكتروني كتاب الكتروني