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]
| dc.contributor.author | Phan, Công Vinh, PGS.TS. (CN) | |
| dc.contributor.author | Huibiao, Zhu | |
| dc.date.accessioned | 2023-03-23T08:02:11Z | |
| dc.date.accessioned | 2024-08-14T00:29:59Z | |
| dc.date.available | 2023-03-23T08:02:11Z | |
| dc.date.available | 2024-08-14T00:29:59Z | |
| dc.date.issued | 2018 | |
| dc.description | 43 tr. | vi_VN |
| dc.description.abstract | 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. | vi_VN |
| dc.identifier.uri | https://repository.ntt.edu.vn/handle/298300331/3238 | |
| dc.language.iso | vi | vi_VN |
| dc.publisher | Đại học Nguyễn Tât Thành (Khoa Công nghệ thông tin) | vi_VN |
| dc.subject | Đại số tiến trình | vi_VN |
| dc.subject | Hadoop | vi_VN |
| dc.title | 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] | vi_VN |
| dc.type | Working Paper | vi_VN |