1
Publicat 2006
Taula de continguts: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Obtenir text complet
Electrònic eBook
2
Publicat 2005
Taula de continguts: ... for Dynamic Virtual Organizations -- Heterogeneity of Computing Nodes for Grid Computing -- Effective Job...
Obtenir text complet
Electrònic eBook
3
Publicat 2006
Taula de continguts: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
Obtenir text complet
Electrònic eBook
4
Publicat 2008
Taula de continguts: ... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...
Obtenir text complet
Electrònic eBook
5
Publicat 2008
Taula de continguts: ... Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well...
Obtenir text complet
Electrònic eBook