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

T

the_ones2001

New Member
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 Ketnooi:
You must be registered for see links

You must be registered for see links

 
Bạn phải đăng nhập hoặc đăng ký để trả lời ở đây.
Các chủ đề có liên quan khác
Tạo bởi Tiêu đề Blog Lượt trả lời Ngày
D Khai thác dữ liệu chuỗi thời gian dựa vào rút trích đặc trưng bằng phương pháp điểm giữa và kỹ thuật xén Công nghệ thông tin 4
D Khai phá dữ liệu chuỗi thời gian dựa vào rút trích đặc trưng bằng phương pháp điểm giữa và kỹ thuật xén Công nghệ thông tin 3
D phương pháp tiếp cận phát triển cộng đồng dựa vào nội lực và do người dân làm chủ (phương pháp tiếp cận ABCD) nguyễn đức vinh, đinh thị vinh Văn hóa, Xã hội 0
D PHƯƠNG PHÁP ĐÁNH GIÁ QoE DỰA TRÊN CÁC THAM SỐ QoS Công nghệ thông tin 0
A Phát triển các phương pháp và công cụ trợ giúp công nghệ phần mềm dựa trên thành phần Luận văn Sư phạm 0
T Phương pháp nhận dạng vật thể dựa trên thuật toán kth-law ECP SDF Công nghệ thông tin 0
V Nghiên cứu phương pháp hấp thụ quang phân tử xác định đồng thời các chất có phổ hấp thụ xen phủ nhau dựa trên thuật toán lọc Kalman Khoa học Tự nhiên 2
N Dịch máy Anh - Việt dựa trên phương pháp thống kê tích hợp với thông tin ngôn ngữ Công nghệ thông tin 2
V Nghiên cứu một số phương pháp thủy vân bền vững dựa trên các biến đổi ma trận SVD và QR Công nghệ thông tin 1
H Nghiên cứu các chỉ tiêu mạng lõi dựa trên công nghệ IP trong NGN và phương pháp đánh giá chất lượng Công nghệ thông tin 0

Các chủ đề có liên quan khác

Top