Kontrola programu na výskyt chyb má nezpochybnitelný význam, obzvlášť ta založená na formálních metodách. VeriFIT na FIT VUT k tomu používá vlastní infrastrukturu Code Listener (CL) modulárně propojující tzv. přední stranu, ...

Tato práce si klade za cíl použít k naučení chůze bipedálního robota softcomputingové metody. Robot je reprezentován virtuálním modelem. Ze začátku je rozebrána motivace a důvody ke zpracování tohoto tématu. Dále je navržen ...

Tato práce se zabývá problematikou přechodu mezi IP protokolem verze 4 a IP protokolem verze 6. Přechod je možné řešit více mechanismy a tato práce je zaměřená na přechodový mechanismus Stateful NAT64. Cílem práce je ...