UPPAAL TIGA jest rozszerzenie UPPAAL [BDL04] i realizuje pierwszy skuteczny algorytm on-the-fly rozwiązywania gry oparte na czasowym gry automatów w odniesieniu do właściwości osiągalności i bezpieczeństwa.Choć czasowe gry na długo były znane być...
UProxy jest proxy dla protokołów UDP. UProxy początkowo zaprojektowany, aby umożliwić użytkownikom do gry Unreal Tournament mecze przez Internet na komputerach udostępnianie połączenia modemowego.UProxy mogą być również stosowane przez aplikację...
Kod programu i stanu programu są natychmiast aktualizowane w jednym kroku.Nie jest konieczne, aby czekać w nieskończoność stanu spoczynkowego programu. Algorytm działa może być aktualizowana strumieniowy jego wykonanie i wznowione z innego punktu...
Upstart jest open source zamiennik dla dobrze znane, ale przestarzałe initd (znany również jako system V init, lub / sbin / init demona) oprogramowania przeznaczonego do uruchamiania usług certains i zadań podczas startu z operacyjny Linux System,...
Upstartx jest graficzną aplikacją open source do sprawdzania Upstart usługi demonów łatwiej na dystrybucjach Linuksa opartych na Debianie.W celu poprawnego działania, Upstartx wymaga oprogramowania Upstart. Może być stosowany w Ubuntu i innych systemów...
Uptime jest rozszerzenie GNOME Shell, który wyświetla czas pracy komputera w obszarze stanu GNOME jest.Aby zainstalować to rozszerzenie musi być zainstalowany GNOME Shell i cynamon. . Jednak należy pamiętać, że nie został przetestowany z cynamonem ...
Uptime Wskaźnik jest rozszerzenie GNOME Shell, który wyświetla czas pracy systemu w obszarze stanu GNOME & nbsp; panelu.Aby zainstalować to rozszerzenie musi być zainstalowany GNOME Shell i cynamon. . Jednak należy pamiętać, że nie został przetestowany z...
Uptimed jest demon uptime (rejestruje swoje najlepsze uptimes).Uptimed Projekt został stworzony przez Roberta Johna Kaper, ale teraz jest utrzymywany przez mnie, bo Robert jest przytłoczony pracy.Zamiast korzystać z pliku pid utrzymać sesje od siebie,...
UPX (krótka z Ultimate Packer dla plików wykonywalnych) to darmowy, open source, z możliwością przedłużenia, przenośne i wysokiej jakości oprogramowanie do wiersza polecenia napisane w przenośnych endian neutralne C ++, które mogą być używane do pakowania...
URandR jest GUI (graficzny interfejs użytkownika), aby RandR 1.2 napisany w PyGTK. Obejmuje on podstawowe funkcje RandR 1,2 i ma na celu konfiguracji Multihead tak proste, jak to możliwe dla niedoświadczonych użytkowników.Przypadków...
