JSCPP

JSCPP 1.10

JSCPP on ANSI C esikääntäjä ja kielen jäsennin että voi analysoida ja instrumentin C-koodia.Nykyisin sen näkyvin sovellus on lisätä jäljittämisestä nykyisten C ohjelmia yksinkertaisesti kääntää uudelleen ja yhdistää sen "jscc" kääntäjä...

Acovea

Acovea 1.0.1

Acovea toteuttaa geneettisen algoritmin löytää "paras" vaihtoehtoja kokoamiseen ohjelmien GCC C ja C ++ kääntäjät.ACOVEA (analyysi Compiler Options kautta Evoluutioalgoritmin) toteuttaa geneettisen algoritmin löytää "paras" vaihtoehtoja kokoamiseen...

UPPAAL

UPPAAL 4.0.6

UPPAAL on integroitu työkalu mallintamisessa, validointiin ja tarkastuksiin reaaliaikaisia ​​järjestelmiä mallinnetaan verkkojen ajastettu automaatti, laajennetaan tietotyyppejä (rajoittaa kokonaislukuja, paneelit, jne.).UPPAAL CORA on haara UPPAAL for...

iogen

iogen 3.1p0

Iogen on I / O-generaattorin. Iogen haarukat lapsi käsittelee että jokainen ajaa sekoitus lukee ja kirjoittaa. Ajatuksena on luoda voimakkaasti pirstoutuneet tiedostot tehdä laitteiston kärsimään niin paljon kuin mahdollista.Tämä työkalu on testata...