Dòng Nội dung
1
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 : Báo cáo tổng kết đề tài NCKH dành cho Cán bộ - Giảng viên 2017 / Phan Công Vinh, Huibiao Zhu
TP.HCM : ĐH Nguyễn Tất Thành, 2018
[55] tr. ; 29 cm.
Ký hiệu phân loại (DDC): 005.7
Trong đề tài này tác giả sử dụng đại số tiến trình CSP (Communicating Sequential Processes) để đặc tả và kiểm chứng HTTTPT (Hệ thống tâp tin phân tán). Tập trung chủ yếu vào chức năng chính là đọc và ghi tập tin trong HTTTPT và hình thức hóa trong chi tiết. Bên cạnh đó, tác giả cũng đặc tả cơ chế nhịp đập trái tim của HTTTPT. Cuối cùng là sử dụng bộ kiểm chứng xem nó có hiệu lực hay không đối với việc đặc tả ở một số tính chất quan trọng như Deadlock-freeness, Minimal Distance Scheme, Mutual Exclusion...
 Số bản sách: (4) Tài liệu số: (1)