Moet hebben Software Voor Linux

Uppaal TIGA is een uitbreiding van Uppaal [BDL04] en het implementeert de eerste efficiënte on-the-fly-algoritme voor het oplossen van games gebaseerd op getimede spel automaten met betrekking tot de bereikbaarheid en veiligheid eigenschappen.Hoewel...

UProxy is een proxy voor UDP protocollen. UProxy werd in eerste instantie ontworpen om gebruikers in staat om te spelen Unreal Tournament wedstrijden via het internet op de computers van het delen van een inbelverbinding.UProxy kan ook worden gebruikt...

Het programma code en het programma staat worden onmiddellijk in een enkele stap bijgewerkt.Het is niet noodzakelijk voor onbepaalde tijd wachten op een rustige programmastatus. Een algoritme loopt kan midstream de uitvoering ervan worden geactualiseerd...

Parvenu is een open source drop-in vervanger voor de bekende, maar toch afgekeurd initd (ook bekend als System V init of / sbin / init daemon) software ontworpen om certains diensten en taken te starten tijdens het opstarten van een...

Upstartx is een open source grafische applicatie voor gemakkelijker controleren parvenu daemon diensten op Debian gebaseerde Linux-distributies.Om goed te werken, Upstartx vereist de Upstart software. Het kan gebruikt worden in Ubuntu en andere Linux...

Uptime is een GNOME Shell-extensie die de uptime van de computer in het Gnome 's-status gebied wordt weergegeven.Om deze uitbreiding te installeren moet u GNOME Shell geïnstalleerd of kaneel. . Echter, in gedachten houden dat het niet is getest met...

Uptime Indicator is een GNOME Shell-extensie die uptime van het systeem wordt weergegeven in het systeemvak van de GNOME & nbsp; panel.Om deze uitbreiding te installeren moet u GNOME Shell geïnstalleerd of kaneel. . Echter, in gedachten houden dat het...

uptimed is een uptime daemon (logt je beste uptime).Uptimed project werd gemaakt door Robert John Kaper, maar wordt nu onderhouden door mij, want Robert is overweldigd door het werk.In plaats van een pid bestand sessies van elkaar houden, gebruikt het...

UPX (korte Ultimate Packer voor executables) is een gratis, open source, verlengbaar, draagbaar, en high-performance command-line software geschreven in draagbare endian-neutrale C ++, dat kan worden gebruikt om uitvoerbare bestanden in te pakken.Ultimate...

URandR een GUI (graphical user interface) met RandR 1,2 geschreven in PyGTK. Het omvat RandR 1.2 basisfunctionaliteiten en streeft naar multihead configuratie zo eenvoudig mogelijk te maken voor onervaren...