1
Published 2005
Table of Contents: ... and Improvements -- Implementing MPI-IO Shared File Pointers Without File System Support -- An Efficient Parallel...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ....-A Highly Scalable Matrix-Free Multigrid Solver for μFE Analysis.-Based on a Pointer-Less Octree...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
6
Table of Contents: ... in Data -- Files -- Functions -- Control Structures -- Characters -- Complex -- Logical -- User Defined...
View full text
Electronic eBook