UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

Uppaal TIGA je rozšíření UPPAAL [BDL04] a implementuje první účinnou on-the-fly algoritmus pro vyřešení hry založené na časovaných herní stroje s ohledem na dosažitelnosti a bezpečnostní vlastnosti.Ačkoli časované hry pro dlouho je známo, že se decidable...

2 Jun 15
Linux
číst více
xmmsctrl

xmmsctrl 1.9

xmmsctrl je malý nástroj pro ovládání xmms z příkazového řádku. xmmsctrl si klade za cíl, které mají být použity spolu s sh pro testování XMMS stavu a provést vhodný krok, například pokud hrajete pozastavit přehrávání jiného.Zájem je vázat klíče na...

3 Jun 15 V Audio software
Linux
číst více
Populární software