<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "HỆ THỐNG KIỂU ĐỂ TÍNH BỘ NHỚ LOG CỦA CHƯƠNG TRÌNH GIAO DỊCH TỪ BIẾN DÙNG CHUNG"^^ . "Trong nghiên cứu trước đây, chúng tôi đã xây dựng một hệ thống kiểu để tính tài nguyên\r\ntối đa cần sử dụng của một chương trình giao dịch đa luồng. Tuy nhiên, tài nguyên này được\r\ntính toán dựa trên các tham số là tài nguyên mà mỗi giao dịch cần sử dụng. Những tham số\r\nnày do người lập trình phải tự tính toán thủ công dựa trên mã nguồn của chương trình. Vì\r\nvậy, kết quả đó vẫn mang tính phương pháp và bán tự động, chưa thuận tiện cho người lập\r\ntrình. Trong nghiên cứu này, chúng tôi cải tiến hệ thống kiểu để tính được tài nguyên tối đa\r\ncần sử dụng của chương trình giao dịch đa luồng một cách hoàn toàn tự động. Người lập\r\ntrình không cần thực hiện bước tính toán thủ công các tham số như trong nghiên cứu trước.\r\nTài nguyên trong nghiên cứu này được cụ thể hóa là bộ nhớ log của các giao dịch. Để thực\r\nhiện được công việc này, ngôn ngữ cũng đã được cải tiến, bổ sung và chúng cũng gần với\r\nngôn ngữ thực tế hơn."^^ . "2018" . . "11" . . "Học viện Kỹ thuật Quân sự"^^ . . . "Chuyên san Công nghệ thông tin và Truyền thông (JICT)"^^ . . . "18590209" . . . . . . . . . . "Ngoc Khai"^^ . "Nguyen"^^ . "Ngoc Khai Nguyen"^^ . . "Anh Hoang"^^ . "Truong"^^ . "Anh Hoang Truong"^^ . . . . . . "HỆ THỐNG KIỂU ĐỂ TÍNH BỘ NHỚ LOG CỦA CHƯƠNG TRÌNH GIAO DỊCH TỪ BIẾN DÙNG CHUNG (PDF)"^^ . . . . . "2_main.pdf"^^ . . "HTML Summary of #2969 \n\nHỆ THỐNG KIỂU ĐỂ TÍNH BỘ NHỚ LOG CỦA CHƯƠNG TRÌNH GIAO DỊCH TỪ BIẾN DÙNG CHUNG\n\n" . "text/html" . . . "Information Technology (IT)"@en . .