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