1
Published 2006
Table of Contents: ...The Need for Standards -- Programmable Platform Characterization for System Level Performance...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- There Are No CNF Problems -- Best Paper -- Soundness of Inprocessing in Clause Sharing SAT Solvers -- Technical...
View full text
Electronic eBook
3
Table of Contents: ... Examples.-Whole Array and Additional Array Features -- Output of Results.-Reading in data.-Files.-Functions...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... on Reduced-Round MISTY1.- Efficient Parallel Evaluation of Multivariate Quadratic Polynomials on GPUs...
View full text
Electronic eBook
5
Table of Contents: ... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...
View full text
Electronic eBook