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

2 Jun 15
Linux
Les mer
xmmsctrl

xmmsctrl 1.9

xmmsctrl er et lite verktøy for å styre XMMS fra kommandolinjen. xmmsctrl mål er å brukes sammen med sh å teste xmms tilstand og utføre en passende handling, for eksempel hvis du spiller deretter pause annet spill.Interessen for dette er å binde nøklene i...

3 Jun 15 I Lyd-programvare
Linux
Les mer
Nylig viste programvare
Populær programvare