Luận văn:Phương pháp dựa trên hệ thống kiểu để tính cận trên tài nguyên của các chương trình Featherweight Java có giao tác : Luận văn ThS. Công nghệ thông tin : 60 48 10
Nhà xuất bản:ĐHCN
Ngày:2012
Chủ đề:Công nghệ thông tin
Công nghệ phần mềm
Tin học
Miêu tả:87 tr. + CD-ROM
Luận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2012
Nghiên cứu về bộ nhớ giao tác phần mềm (software transactional memory). Nghiên cứu các kiến thức về hệ thống kiểu (type systems). Nghiên cứu hệ thống kiểu kiểm tra biên bộ nhớ cho chương trình giao tác dựa trên chuỗi số có dấu. Xây dựng công cụ tính kiểu để tìm cận trên tài nguyên cho các chương trình TFJ đơn giản
Electronic Resources
Kiểu:text
Định dạng:text/pdf
Link tải Free download cho anh em Ket-noi:
00050001894_Noi_dung.pdf
00050001894_Tom_tat.pdf

---