Browsing by Author Nguyễn, Phan Tình

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 3 of 3
  • 00050007758.pdf.jpg
  • Thesis


  • Authors: Nguyễn, Phan Tình;  Advisor: Trương, Anh Hoàng (2016)

  • Luận văn được thực hiện dựa trên nghiên cứu trong bài báo. Do vậy để có thể hiểu được giải pháp các tác giả đề xuất ,tập trung nghiên cứu các lý thuyết về hệ thống kiểu. Các khái niệm cơ bản cũng như tính chất của giao dịch. Nghiên cứu cú pháp và ngữ nghĩa của ngôn ngữTM(Transactional Memory). Một ngôn ngữ để viết các chương trình giao dịch. Từ việc nắm được giải pháp xây dựng hệ thống kiểu đề cập trong bài báo, một công cụ sẽ được cài đặt dựa trên ngôn ngữ C#.

  • 00050007758.pdf.jpg
  • Thesis


  • Authors: Nguyễn, Phan Tình;  Advisor: Trương, Hoàng Anh (2016)

  • Giới thiệu bài toán trình bàynội dung cụ thểcủa bài toán tính cận trên bộnhớ log của chương trình có sử dụng giao dịch, các vấn đề cần giải quyết trong bài toán này và hướng tiếp cận để giải quyết bài toán. Trong phần này, các điểm cải tin của phương pháp giải quyết bài toán ở đây so với các phương pháp trước kia cũng được nêu ra. Trình bày một số kiến thức cơ sở, trình bày các lý thuyết cơ bản được sử dụng làm cơ sở để giải quyết bài toán, bao gồm: Lý thuyết vềhệthống kiểu như khái niệm, các thuộc tính hay ứng dụng của hệ thống kiểu trong thực tế; Lý thuyết về giao dịch,bộ nhớ giao dịch phần mềm gồm các khái niệm, tính chất, ứng dụng... Ngôn ngữ giao dịch Giới thiệu ngôn ngữgiao dịch...

Browsing by Author Nguyễn, Phan Tình

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 3 of 3
  • 00050007758.pdf.jpg
  • Thesis


  • Authors: Nguyễn, Phan Tình;  Advisor: Trương, Anh Hoàng (2016)

  • Luận văn được thực hiện dựa trên nghiên cứu trong bài báo. Do vậy để có thể hiểu được giải pháp các tác giả đề xuất ,tập trung nghiên cứu các lý thuyết về hệ thống kiểu. Các khái niệm cơ bản cũng như tính chất của giao dịch. Nghiên cứu cú pháp và ngữ nghĩa của ngôn ngữTM(Transactional Memory). Một ngôn ngữ để viết các chương trình giao dịch. Từ việc nắm được giải pháp xây dựng hệ thống kiểu đề cập trong bài báo, một công cụ sẽ được cài đặt dựa trên ngôn ngữ C#.

  • 00050007758.pdf.jpg
  • Thesis


  • Authors: Nguyễn, Phan Tình;  Advisor: Trương, Hoàng Anh (2016)

  • Giới thiệu bài toán trình bàynội dung cụ thểcủa bài toán tính cận trên bộnhớ log của chương trình có sử dụng giao dịch, các vấn đề cần giải quyết trong bài toán này và hướng tiếp cận để giải quyết bài toán. Trong phần này, các điểm cải tin của phương pháp giải quyết bài toán ở đây so với các phương pháp trước kia cũng được nêu ra. Trình bày một số kiến thức cơ sở, trình bày các lý thuyết cơ bản được sử dụng làm cơ sở để giải quyết bài toán, bao gồm: Lý thuyết vềhệthống kiểu như khái niệm, các thuộc tính hay ứng dụng của hệ thống kiểu trong thực tế; Lý thuyết về giao dịch,bộ nhớ giao dịch phần mềm gồm các khái niệm, tính chất, ứng dụng... Ngôn ngữ giao dịch Giới thiệu ngôn ngữgiao dịch...