Må ha Programvare For Linux
UPPAAL TIGA er en forlengelse av UPPAAL [BDL04] og det implementerer den første effektiv on-the-fly algoritme for å løse spill basert på tidsbestemt spill automater med hensyn til reachability og sikkerhetsegenskaper.Selv om tidsbestemt spill for lenge...
UProxy er en proxy for UDP-protokoller. UProxy ble opprinnelig utviklet for å tillate brukere å spille Unreal Tournament kamper over Internett på datamaskiner som deler en ekstern tilkobling.UProxy kan også brukes av noen klient-server applikasjon som...
Programkoden og programtilstand blir oppdatert umiddelbart i et enkelt trinn.Det er ikke nødvendig å vente på ubestemt tid for en hviletilstand program. En kjører algoritmen kan oppdateres midtstrøms sin utførelse og gjenopptatt fra et annet punkt (ikke...
Oppkomling er en åpen kildekode-drop-in erstatning for den velkjente, men frarådet initd (også kjent som System V init eller / sbin / init daemon) programvare utviklet for å starte certains tjenester og oppgaver under oppstartsprosessen av en Linux...
Upstartx er en åpen kildekode grafisk applikasjon for å sjekke oppkomling daemon tjenester lettere på Debian-baserte Linux-distribusjoner.For å kunne kjøre skikkelig, krever Upstartx oppkomlingen programvare. Den kan brukes i Ubuntu og andre...
Oppetid er en GNOME Shell utvidelse som vil vise datamaskinens oppetid i GNOME 's statusfeltet.For å installere denne utvidelsen må du ha GNOME Shell installert eller kanel. . Men husk at det ikke har blitt testet med kanel Krav : GNOME GNOME...
Oppetid Indicator er en GNOME Shell utvidelse som vil vise systemets oppetid i statusområdet på GNOME & nbsp; panel.For å installere denne utvidelsen må du ha GNOME Shell installert eller kanel. . Men husk at det ikke har blitt testet med kanel Krav : ...
Uptimed er en oppetid daemon (logger dine beste uptimes).Uptimed prosjektet ble opprettet av Robert John Kaper, men er nå vedlikeholdt av meg fordi Robert er overveldet av arbeid.I stedet for å bruke en pid fil for å holde økter bortsett fra hverandre,...
UPX (kort fra Ultimate Packer for kjørbare) er et gratis, åpen kildekode, uttrekkbar, bærbar, og høy ytelse kommandolinje programvare skrevet i bærbare endian-nøytral C ++ som kan brukes til å pakke kjørbare filer.Ultimate Packer for kjør har utmerket...
URandR er et GUI (grafisk brukergrensesnitt) for å RandR 1.2 skrevet i PyGTK. Den dekker RandR 1,2 grunnleggende funksjoner og har som mål å gjøre multihode konfigurasjonen så enkelt som mulig for uerfarne brukere.Use...