Skal have Software Til Linux
UPPAAL TIGA er en udvidelse af UPPAAL [BDL04], og det gennemfører den første effektiv on-the-fly-algoritmen til løsning af spil baseret på tidsindstillet spil automata med hensyn til at sikre adgang og sikkerhedsmæssige egenskaber.Selvom tidsindstillede...
UProxy er en proxy for UDP-protokoller. UProxy blev oprindeligt designet til at give brugerne mulighed for at spille Unreal Tournament matcher over internettet på computere deler en dial-up forbindelse.UProxy kunne også bruges af enhver klient-server...
programkode og programmet tilstand opdateres straks i et enkelt trin.Det er ikke nødvendigt at vente på ubestemt tid på en hvilende program tilstand. En løbende algoritme kan opdateres vadestedet dets gennemførelse og genoptaget fra et andet punkt (ikke...
Upstart er et open source drop-in erstatning for den velkendte, men frarådet initd (også kendt som System V init eller / sbin / init daemon) software designet til at starte certains tjenester og opgaver under opstartsprocessen af et Linux-operativsystem...
Upstartx er et open source grafisk ansøgning til kontrol opkomling daemon tjenester mere let på Debian-baserede Linux-distributioner.For at køre ordentligt, Upstartx kræver Upstart software. Det kan anvendes i Ubuntu og andre Linux styresystemer, der...
Oppetid er en GNOME Shell udvidelse, der vil vise computerens oppetid i GNOME 's status område.Hvis du vil installere denne udvidelse skal du have GNOME Shell installeret eller kanel. . Men husk på, at det ikke er blevet testet med kanel Krav : ...
Uptime Indicator er en GNOME Shell udvidelse, der vil vise systemets oppetid i statusområdet af GNOME & nbsp; panel.Hvis du vil installere denne udvidelse skal du have GNOME Shell installeret eller kanel. . Men husk på, at det ikke er blevet testet med...
Uptimed er en oppetid dæmon (logger dine bedste uptimes).Uptimed projekt blev skabt af Robert John Kaper men er nu vedligeholdes af mig, fordi Robert er overvældet af arbejde.I stedet for at bruge en PID-fil til at holde sessioner fra hinanden, det bruger...
UPX (kort fra Ultimate Packer for eksekverbare) er en gratis, open source, der kan forlænges, bærbare, og højtydende kommandolinjen software skrevet i bærbar endian-neutral C ++, der kan bruges til at pakke eksekverbare filer.Ultimate Packer for...
URandR er en GUI (grafisk brugergrænseflade) til RandR 1.2 skrevet i PyGTK. Det dækker RandR 1.2 basale funktionaliteter og sigter mod at gøre multihead konfiguration så nemt som muligt for uerfarne...
