Java tương tranh

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 50 2   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 31 4   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 57 3   Download

Flash là một công nghệ rất hiệu quả, phổ biến và cho phép lập trình viên có thể tạo ra những ứng dụng với đầy đủ các hiệu ứng hình ảnh, âm thanh đặc sắc. Những công nghệ tương tự như Java Applet hay một “đứa con” sáng giá của Microsoft là Silverlight cũng không thể đứng vững và cạnh tranh được với Flash. Nhưng một vấn đề nảy sinh ở đây là khả năng tương tác giữa các công nghệ này với các thành phần xung quanh nó (như các thẻ HTML) dường như không thể. Chúng bị cô...

114p coc_xanh 16-01-2013 305 80   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 68 18   Download

I.Tổng quan về ngôn ngữ lập trình Java. 1. Sự xuất hiện ngôn ngữ Java: - Một thực tế công nhận rằng, Java ngôn ngữ lập trình của Sun Microsystems, có một sức mạnh đầy ấn tượng và là chủ đề đang được tranh luận nhiều nhất hiện nay

10p kimku1 26-08-2011 90 14   Download

Cú pháp Java được vay mượn nhiều từ C & C++ nhưng có cú pháp hướng đối tượng đơn giản hơn và ít tính năng xử lý cấp thấp hơn. Do đó việc viết một chương trình bằng Java dễ hơn, đơn giản hơn, đỡ tốn công sửa lỗi hơn. Dùng bộ thư viện chuẩn KFC, nhiều đoạn code Java chỉ mất vài dòng trong khi C phải mất cả trang giấy. Lập trình C rất hay xảy ra lỗi và khó sửa. Trong Java, hiện tượng dò rỉ bộ nhớ hoàn toàn có thể tránh bằng cách định nghĩa...

31p zues09 07-07-2011 266 99   Download

Phương thức wait() báo cho dòng gọi từ bỏ monitor và nhập vào trạng thái ngủ cho đến khi các dòng khác nhập vào cùng monitor và gọi phương thức notify(). Phương thức notify() và notifyAll() tạo ra dòng thông báo cho các dòng khác gọi phương thức wait() của cùng đối tượng. Trong bài học trước, chúng ta cũng học về các điều kiện bế tắc là gì và cách tránh chúng.

21p vudung75 19-04-2011 83 14   Download

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 156 38   Download

Tất cả đều đã nghe nói về Java. Nhưng liệu có ai không còn câu hỏi nào về hiện tượng này? Bây giờ, khi "bức tranh" Java đang đến ngay trước mắt mọi người, hãy thử xem qua công nghệ này và giải đáp các thắc mắc phổ biến nhất. Java là ngôn ngữ lập trình mới do một nhóm nhỏ các nhà khoa học của hãng Sun Microsystems sáng tạo nên. Theo như truyền thuyết của những người tạo ra ngôn ngữ này, thoạt tiên Java được gọi là Oak và người ta định dùng nó để lập trình cho bộ TV (set-top...

26p lesinam 22-06-2010 294 72   Download

Tất cả đều đã nghe nói về Java. Nhưng liệu có ai không còn câu hỏi nào về hiện tượng này? Bây giờ, khi "bức tranh" Java đang đến ngay trước mắt mọi người, hãy thử xem qua công nghệ này và giải đáp các thắc mắc phổ biến nhất

26p vantinh12a8 15-10-2009 593 93   Download

Tất cả đều đã nghe nói về Java. Nhưng liệu có ai không còn câu hỏi nào về hiện tượng này? Bây giờ, khi "bức tranh" Java đang đến ngay trước mắt mọi người, hãy thử xem qua công nghệ này và giải đáp các thắc mắc phổ biến nhất

25p maithuyhanh 26-09-2009 211 70   Download