1
Published 2008
Table of Contents: ...Tetrahedral Meshing 1 -- Aggressive Tetrahedral Mesh Improvement -- Three-dimensional Semi...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
View full text
Electronic eBook