1
Julkaistu 2006
Sisällysluettelo: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2005
Sisällysluettelo: ... for Dynamic Virtual Organizations -- Heterogeneity of Computing Nodes for Grid Computing -- Effective Job...
Hae kokoteksti
Elektroninen E-kirja
3
Sisällysluettelo: ... Your Java Virtual Machine: Finding Your Ideal JVM Settings Through Metrics Log Analysis...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2010
Sisällysluettelo: ... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2008
Sisällysluettelo: ... Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well...
Hae kokoteksti
Elektroninen E-kirja