Phải có Phần mềm Cho Linux

UPPAAL Tiga là một phần mở rộng của UPPAAL [BDL04] và nó thực hiện các hiệu quả trên-the-fly thuật toán đầu tiên để giải quyết các trò chơi dựa trên trò chơi hẹn giờ tự động làm đối với reachability và an toàn tài sản có.Mặc dù trò chơi tính thời gian lâu...

UProxy là một proxy cho giao thức UDP. UProxy đầu được thiết kế để cho phép người dùng chơi Unreal Tournament phù hợp qua Internet trên máy tính chia sẻ một kết nối quay số.UProxy cũng có thể được sử dụng bởi bất kỳ ứng dụng client-server sử dụng giao...

Các mã chương trình và các chương trình nhà nước được cập nhật ngay lập tức trong một bước duy nhất.Nó không phải là cần thiết để chờ đợi vô thời hạn cho một nhà nước chương trình hoạt động gì. Một thuật toán chạy có thể được cập nhật giữa luồng thực hiện...

Upstart là một mã nguồn mở thả thay thế cho nổi tiếng, nhưng bị phản đối initd (còn được gọi là hệ thống V init hay / sbin / init daemon) phần mềm được thiết kế để bắt đầu dịch vụ và nhiệm vụ certains trong quá trình khởi động của một hệ điều hành Linux...

Upstartx là một ứng dụng đồ họa mã nguồn mở để kiểm tra dịch vụ daemon mới nổi dễ dàng hơn trên các bản phân phối Linux dựa trên Debian.Để chạy đúng, Upstartx đòi hỏi các phần mềm Upstart. Nó có thể được sử dụng trong hệ điều hành Linux Ubuntu và khác sử...

Thời gian hoạt động là một phần mở rộng GNOME Shell sẽ hiển thị thời gian hoạt động của máy tính trong khu vực tình trạng của GNOME.Để cài đặt phần mở rộng này, bạn phải có GNOME Shell cài đặt hoặc quế. . Tuy nhiên, hãy nhớ rằng nó đã không được thử...

Uptime Chỉ là một phần mở rộng GNOME Shell sẽ hiển thị thời gian hoạt động của hệ thống trong khu vực tình trạng của GNOME & nbsp; panel.Để cài đặt phần mở rộng này, bạn phải có GNOME Shell cài đặt hoặc quế. . Tuy nhiên, hãy nhớ rằng nó đã không được thử...

Uptimed là một daemon thời gian hoạt động (đăng uptimes tốt nhất).Dự án Uptimed được tạo ra bởi Robert John Kaper nhưng bây giờ tôi được duy trì bởi vì Robert đang bị choáng ngợp bởi công việc.Thay vì sử dụng một tập tin pid để giữ phiên nhau từ mỗi khác,...

UPX (ngắn từ Ultimate Packer cho thực thi) là một nguồn mở miễn phí, mở rộng, di động, và các phần mềm dòng lệnh hiệu suất cao được viết trong di endian-trung tính C ++ có thể được sử dụng để đóng gói các tập tin thực thi.Cuối cùng Packer cho thực thi các...

URandR là một GUI (giao diện người dùng đồ họa) để RandR 1.2 viết bằng PyGTK. CNTT bao gồm RandR 1.2 chức năng cơ bản và nhằm mục đích để làm cho cấu hình Máy định dễ dàng như có thể cho người dùng chưa từng...