Dominik Harmim's Projects
Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Excel@FIT 2019
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Dějiny a filozofie techniky - Semestrální práce - Alan Turing
Funkcionální a logické programování - Cvičení
Functional and Logic Programming - Functional Project - SIMPLIFY-BKG
Functional and Logic Programming - Logic Project - Turing Machine
Algoritmy - 1. projekt
Algoritmy - 2. projekt
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
Databázové systémy - Projekt
Elektronika pro informační technologie - semestrální projekt
Formální jazyky a překladače - Projekt - Implementace překladače imperativního jazyka IFJ17
Informační systémy - Projekt
Mikroprocesorové a vestavěné systémy - Cvičení
Mikroprocesorové a vestavěné systémy - Projekt - Měření srdečního tepu
Modelování a simulace - Projekt - Rozvoz jídla firmou Freshbox
Návrh číslicových systémů - Přístupový terminál
Návrh počítačových systémů - Projekt 1 - Řízení maticového displeje pomocí FPGA
Návrh počítačových systémů - Projekt 2 - Procesor s Harvardskou architekturou
Operační systémy - Projekt 1
Operační systémy - Projekt 2
Pokročilé asemblery - počítačové laboratoře
Pokročilé asemblery - Projekt - Grafický editor: Detektor hran a antialiasing
Principy programovacích jazyků a OOP - Projekt
Síťové aplikace a správa sítí - Projekt - Čtečka novinek ve formátu Atom a RSS s podporou TLS
Počítačový seminář - Počítačové laboratoře
Signály a systémy - Projekt - Analýza signálu
Programování na strojové úrovni - počítačové laboratoře
Tvorba uživatelských rozhraní - Cvičení