Täytyy olla Ohjelmisto Varten Linux

UPPAAL TIGA on laajennus UPPAAL [BDL04] ja se toteuttaa ensin tehokasta on-the-fly algoritmi ratkaisemiseksi pelien perusteella ajoitettu peli automaatti suhteen tavoitettavuuden ja turvallisuusominaisuuksia.Vaikka ajoitettu pelejä pitkään on tiedetty...

UProxy on välityspalvelin UDP protokollia. UProxy alun perin suunniteltu, jotta käyttäjät voivat soittaa Unreal Tournament vastaa Internetin tietokoneisiin jakamisesta dial up-yhteys.UProxy voitaisiin myös käyttää minkä tahansa asiakas-palvelin-sovellus,...

ohjelmakoodi ja ohjelman tila päivitetään välittömästi yhdessä vaiheessa.Se ei ole tarpeen odottaa loputtomiin lepotilassa ohjelman tilaan. Käynnissä algoritmi voidaan päivittää keskivaiheessa sen toteuttamista ja sitä jatkettiin eri pisteestä (ei...

Upstart on avoimen lähdekoodin drop-in korvaaja tunnettua, mutta vanhentunut initd (tunnetaan myös System V init tai / sbin / init daemon) ohjelmisto on suunniteltu aloittaa certains palveluista ja tehtävistä käynnistyksen aikana on...

Upstartx on avoimen lähdekoodin graafinen sovellus tarkistamiseen nousukas taustapalvelut helpommin Debian-pohjainen Linux-jakeluissa.Voidakseen suorittaa oikein, Upstartx vaatii Upstart ohjelmisto. Sitä voidaan käyttää Ubuntu ja muiden Linux...

Päällä on GNOME Shell laajennus, joka näyttää tietokoneen käytettävyyttä GNOME: n tila-alueella.Voit asentaa tämän laajennuksen sinulla pitää olla GNOME Shell asennettu tai kanelia. Kuitenkin pitää muistaa, että se ei ole testattu kanelilla. ...

Päällä Indikaattori on GNOME Shell laajennus, joka näyttää järjestelmän käytettävyyttä tila-alueella GNOME & nbsp; paneeli.Voit asentaa tämän laajennuksen sinulla pitää olla GNOME Shell asennettu tai kanelia. Kuitenkin pitää muistaa, että se ei ole...

Uptimed on jännittynyt daemon (lokit paras uptimes).Uptimed projekti luotiin Robert John Kaper mutta nyt ylläpitää minulle, koska Robert on hukkua työhön.Sen sijaan käyttää pid-tiedosto pitää istuntoja toisistaan, se käyttää järjestelmän käynnistyksen...

UPX (lyhyt Ultimate Packer for ajettavat) on ilmainen, avoimen lähdekoodin, laajennettavissa, kannettavat, ja korkean suorituskyvyn komentorivin ohjelmisto kirjoitettu kannettavien endian- neutraali C ++, joka voidaan pakata suoritettavia...

URandR on GUI (graafinen käyttöliittymä), jolloin RandR 1,2 kirjoitettu PyGTK. Se kattaa RandR 1.2 perustoimintoja ja tavoitteena on tehdä multihead kokoonpano mahdollisimman helpoksi ja unexperienced...