xmmsctrl

xmmsctrl 1.9

xmmsctrl er et lille værktøj til at kontrollere xmms fra kommandolinjen. xmmsctrl mål er at blive brugt sammen med sh til at teste xmms tilstand og udfører en passende handling, fx hvis du spiller derefter pause ellers play.Interessen for denne er at...

3 Jun 15 I Audio software
Linux
Læs mere
UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA er en udvidelse af UPPAAL [BDL04], og det gennemfører den første effektiv on-the-fly-algoritmen til løsning af spil baseret på tidsindstillet spil automata med hensyn til at sikre adgang og sikkerhedsmæssige egenskaber.Selvom tidsindstillede...

2 Jun 15
Linux
Læs mere
UPPAAL

UPPAAL 4.0.6

UPPAAL er et integreret værktøj miljø til modellering, validering og verificering af realtidssystemer modelleret som netværk af tidsindstillet automater, forlænget med datatyper (afgrænset heltal, arrays, etc.).UPPAAL CORA er en gren af ​​UPPAAL for Cost...

2 Jun 15 I Udviklingsværktøjer, Kvalitetssikring og test af software
Linux
Læs mere
Populære software