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 (CN) | |
| dc.date.accessioned | 2023-03-23T07:53:37Z | |
| dc.date.accessioned | 2024-08-14T00:24:39Z | |
| dc.date.available | 2023-03-23T07:53:37Z | |
| dc.date.available | 2024-08-14T00:24:39Z | |
| dc.date.issued | 2018 | |
| dc.description | 43 tr. | vi_VN |
| dc.description.abstract | 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. | vi_VN |
| dc.identifier.uri | https://repository.ntt.edu.vn/handle/298300331/3105 | |
| 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 | Tập tin phân tán | vi_VN |
| dc.subject | Hadoop | vi_VN |
| dc.subject | Đại số tiến trình | 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 |