Sử dụng đại số tiến trình để đặc tả và kiểm chứng hệ thống tập tin phân tán Hadoop [Mã số : 2017.01.73/HĐ-KHCN]
Năm xuất bản
2018
Tác giả
Phan, Công Vinh, PGS.TS. (CN)
Huibiao, Zhu
Nhan đề tạp chí
ISSN
Nhan đề tập
Nhà xuất bản
Đại học Nguyễn Tât Thành (Khoa Công nghệ thông tin)
Tóm tắt
Mục tiêu tổng quát nhằm xây dựng một đặc tả chính xác và kiểm chứng hình thức về Hệ thống Tập tin Phân tán Hadoop (HTTTPT) bằng công cụ đại số tiến trình CSP nhưng dễ hiểu đối với giảng viên và sinh viên ngành CNTT bằng cách cung cấp các kết quả nghiên cứi mới và xu hướng tương lai. Mục tiêu cụ thể nhằm tạo ra các bài báo khoa học chất lượng cao về HTTTPT được xuất bản trong các tạp chí khoa học quốc tế nổi tiếng có trong danh mục ISI.
Mô tả
43 tr.
Từ khóa chủ đề
Đại số tiến trình , Hadoop