Search Result

Your search for 40520 returns 3085 document(s)

AGi research: developing technology for specifying and generating critical data processing programs

Author: Heru Suhartanto; Belawati Wijaya; L.Y Stefanus; Siti Aminah; Jimmy; ISWB Prasetya; Ade Azurat.; | Call Number: LAP-RUTI-2004-002 | Type: Hasil Laporan Research

Developing technology for specifying and generating critical data processing programs

Call Number: 004 Dev | Type: Buku

Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking, page 379-409

Author: Philip W. L. Fong, [et all] | Type: Indeks Artikel Jurnal

Performance estimation of data dependent data parallel program, Hal. 12-19

Author: Hasyim Gautama; | Call Number: SEM-270 | Type: Indeks Artikel prosiding/Sem

Sparse data representation for dense data-parallel computations, Hal. II.106 - II.113

Author: Alex L. Cheung and Anthony P. Reeves; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem

A framework for shared applications with a replicated architecture, Hal 249-257

Author: Thomas Berlage; Andreas Genau; | Call Number: SEM-194 | Type: Indeks Artikel prosiding/Sem

Revisiting Certification-Based Replicated Database Recovery (489-504)

Author: M.I. Ruiz-Fuertes J. Pla-Civera J.E. Armendariz-Inigo J.R. Gonzalez de Mendivil F.D. Munoz-Escon; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem

A Static Pessimistic Scheme for Handling Replicated Databases (389-398)

Author: Jian Tang N. Natarajan; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem

Author: Apostolos N. Papadopoulos; Yannis Manolopoulos; | Call Number: SEM-244 | Type: Indeks Artikel prosiding/Sem

A Data parallel implementation of the NCAR Community Climate Model (CCM2)

Author: Steven W. Hammond; Richard D. Loft; John M. Dennis; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem

Prev 1 2 3 4 5 6 7 8 9 10 Next