UPPAAL TIGA UPPAAL [BDL04] uzadılması və bu reachability və təhlükəsizlik xüsusiyyətləri ilə bağlı Müddətli oyun avtomatlar əsasında oyun həlli üçün ilk səmərəli on-the-fly alqoritm həyata keçirir.Uzun müddətli oyun decidable olduğu bilinir baxmayaraq...
UProxy UDP protokolların bir proxy edir. UProxy ilkin istifadəçi Unreal Tournament əlaqəsini bir dial mübadiləsi kompüter İnternet üzərində oyunları oynamaq üçün imkan üçün nəzərdə tutulmuşdur.UProxy də UDP protokolu istifadə edir və sabit port lər üçün...
Bu proqram kodu və proqram dövlət bir addım dərhal yenilənir.Bu quiescent proqram dövlət üçün qeyri-müəyyən gözləmək lazım deyil. A çalışan alqoritm nəqletmə onun icrasına yenilənir və digər alqoritm fərqli bir nöqtəyə (mütləq əvvəlinə) və bərpa oluna...
Upstart bir açıq mənbə açılan yaxşı bir Linux əməliyyat boot prosesi zamanı certains xidmətləri və vəzifələri başlamaq üçün nəzərdə tutulmuş proqram (həmçinin System V init və / sbin / init daemon kimi tanınan) məlum, lakin initd deprecated üçün əvəz...
Upstartx Debian əsaslı Linux daha asan upstart daemon xidmətləri yoxlanılması üçün bir açıq mənbə qrafik proqram.Düzgün çalıştırmak üçün, Upstartx Upstart proqram tələb edir. Bu Ubuntu və Upstart daemon istifadə edən digər Linux OSes istifadə edilə bilər....
İş GNOME statusu sahəsində kompüter uptime göstərilir ki, GNOME Shell uzantısıdır.Bu məsləhət yüklemek üçün GNOME Shell quraşdırılmış və ya Darçın olmalıdır. . Lakin, Darçın test deyil ki, unutmayın tələblər GNOME GNOME...
Uptime Göstərici GNOME & nbsp statusu sahəsində sistemin uptime göstərilir ki, GNOME Shell uzantısıdır; panel.Bu məsləhət yüklemek üçün GNOME Shell quraşdırılmış və ya Darçın olmalıdır. . Lakin, Darçın test deyil ki, unutmayın tələblər GNOME ...
Uptimed bir uptime daemon (ən yaxşı uptimes açar) təşkil edir.Uptimed layihə Robert John Kapem'de tərəfindən yaradılmışdır, lakin Robert iş ilə overwhelmed, çünki indi mənə tərəfindən təmin edilir.Əvəzində ayrı bir-birindən sessiyaları saxlamaq üçün...
UPX (executables üçün Ultimate Packer qısa) çalıştırılabilir fayllar paketi üçün istifadə edilə bilər portativ endian neytral C ++ yazılı bir pulsuz, açıq mənbə, genişletilebilir portativ, yüksək-performance komanda-line proqramdır.Executables üçün...
URandR PyGTK yazılı RandR 1.2 bir GUI (qrafik istifadəçi interfeys) təşkil edir. IT RandR 1.2 əsas funksiyaları əhatə edir və cavan istifadəçilər üçün mümkün qədər multihead konfiqurasiya kimi asan etmək məqsədi...
