Dòng Nội dung
1
Mô hình hóa và kiểm chứng các chức năng cơ bản của Floodlight : Báo cáo tổng kết đề tài NCKH dành cho Cán bộ - Giảng viên 2019 / Phan Công Vinh chủ nhiệm; Huibiao Zhu
TP.HCM : ĐH Nguyễn Tất Thành, 2019
79 tr.
Ký hiệu phân loại (DDC): 004.65
Đề tài nghiên cứu nhằm xây dựng một đặc tả chính xác và kiểm chứng hình thức về sáu mô-đun cơ bản của Floodlight (gồm Floodlight Provider, OFSwitch Manager, Device Manager, Link Discovery Manager, Topology Service và Forwarding) 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ứu mới và xu hướng tương lai.
Số bản sách: (1) Tài liệu số: (1)
2
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)