Java tương tranh

Giới thiệu về Package : Package như một thư mục lưu trữ các class, interface và các gói con khác.Ví dụ: java.awt, java.langƯu điểm khi dùng packages:Tránh trường hợp trùng lặp tên.Nhóm các class cùng mục đích vào một package.Cho phép bảo vệ các lớp đối tượng.

35p ptitd04_vt 09-04-2011 157 38   Download

Bài giảng "Ngôn ngữ lập trình Java - Chương 4: Lập trình đa tiểu trình" cung cấp cho người học các kiến thức: Giới thiệu, lập trình multithread, giải quyết tương tranh (xung đột) và đồng bộ hóa. Mời các bạn cùng tham khảo nội dung chi tiết.

23p tieu_vu11 17-06-2018 62 3   Download

Phần mềm ngày càng đóng vai trò quan trọng trong xã hội hiện đại. Tỷ trọng giá trị phần mềm trong các hệ thống ngày càng lớn. Tuy nhiên, trong nhiều hệ thống, lỗi của phần mềm gây ra các hậu quả đặc biệt nghiêm trọng, không chỉ thiệt hại về mặt kinh tế mà còn có thể làm tổn thất trực tiếp sinh mạng con người. Do đó, nhu cầu nghiên cứu và đề xuất các phương pháp để kiểm chứng phần mềm ngày càng trở lên cần thiết.

26p tamynhan0 04-07-2020 24 3   Download

Trong các ngôn ngữ lập trình trước đây các ứng dụng hầu hết là các ứng dụng đơn tuyến đoạn. Để tăng tốc độ xử lý và giải quyết vấn đề tương tranh của các ứng dụng nói chung và ứng dụng mạng nói riêng ta cần sử dụng khái niệm đa tuyến đoạn. Phần đầu của chương này trình bày các khái niệm căn bản về tiến trình, tuyến đoạn. Tiếp đến chúng ta sẽ xem xét các cách cài đặt một ứng dụng tuyến đoạn trong Java bằng lớp Thread và thực thi giao tiếp Runnable.

18p kexauxi4 01-10-2019 52 3   Download

Luận án gồm 6 chương chính được cấu trúc như trong hình 1.2. Trong đó, chương 2 giới thiệu một số kiến thức nền cho các đóng góp của luận án trong các chương còn lại. Theo cách tiếp cận kiểm chứng ở mức mô hình thiết kế, luận án đã để xuất hai phương pháp đặc tả và kiểm chứng sự tương tác giữa các thành phần tương tranh sử dụng phương pháp hình thức với Event-B được trình bày trong các chương 3 và 4.

142p hanh_tv26 05-04-2019 33 5   Download

Phần mềm tương tranh, một phần mềm được ứng dụng rộng rãi trong các hệ thống nhúng và các hệ thống điều khiển. Chúng có vai trò vô cùng quan trọng trong việc điều khiển các hệ thống đó. Chỉ cần một lỗi nhỏ của phần mềm có thể gây ra hậu quả vô cùng nghiêm trọng vì những hệ thống này có thể trực tiếp và gián tiếp ảnh hưởng đến cuộc sống của con người. Chính vì vậy phần mềm tương tranh phải được kiểm chứng để giảm thiểu tối đa lỗi của chương trình...

53p truongnghen 30-08-2012 71 18   Download