Perancangan high level check pinting dan migrasi proses serta pemakaiannya untuk dynamic load balancing pada aplikasi pararel berbasis PVM (Fakultas Teknik Universitas Indonesia, 1997)