UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

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...

Les mer
UProxy

UProxy 0.91

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...

UpStare

UpStare 0.12.9

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...

Upstart

Upstart 1.13.2

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

UpstartX 0.2

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...

Les mer
Uptime

Uptime 1.0

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

Uptimed 0.3.17

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

UPX 3.91

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

URandR 0.1

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...

Les mer