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 (CN)
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
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 công nghệ thông tin bằng cách cung cấpcá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ủ đề
Tập tin phân tán , Hadoop , Đại số tiến trình