Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 5 dokumen yang sesuai dengan query
cover
Meeting management system : analisis, desain dan implementasi
Jakarta: Fakultas Ilmu Komputer-UI, 2007
003.092 MEE
Buku Teks  Universitas Indonesia Library
cover
Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol
Jakarta: Fakultas Ilmu Komputer Universitas Indonesia, 2007
005.13 PRO (1)
Buku Teks  Universitas Indonesia Library
cover
Sumantri Slamet
Teknik kompilasi
Jakarta: Elex Media Komputindo, 1995
001.642 SUM t
Buku Teks  Universitas Indonesia Library
cover
Sumantri Slamet
Teknik kompilasi
Jakarta: Elex Media Komputindo , 1993
001.642 SUM t
Buku Teks  Universitas Indonesia Library
cover
Alhadi Bustamam
Hasil evaluasi kinerja metode iteratif paralel implisit multistep runge-Kutta pada sistem paralel MPI-linux
" Pengembangan metode IPIMRK untuk menyelesaikan persoalan yang stiff dan implementasi perangkat lunaknya telah dilakukan oleh Suhartanto dan Burrage. Implementasi ini menggunakan FORTRAN90 dan dijalankan pada mesin shared memory_MPMD SGI-ORIGIN2000. Paralelisasi dilakukan secara iteratif untuk tiga proses utama yang disebut dengan parallel_stages, parallel_factors dan parallel_solves yang dapat dijalankan pada sejumlah s-stages prosesor. Proses integrasi menggunakan ukuran langkah beruhab dan pada setiap langkah iterasi digunakan dua teknik perhitungan untuk koefisien tetap (fixed coefficients: FC-IPIMRK) atau koeffisien berubah ... "
2002
JIKT-2-2-Nov2002-1
Artikel Jurnal  Universitas Indonesia Library