|
|
Software Guitar Looper with Remote Control
Kalník, Jan ; Říha, Kamil (referee) ; Schimmel, Jiří (advisor)
This thesis deals with creating a software guitar looper in a visual programming language called Pure Data and also building a specific remote controller for it. The remote cont- roller will be based on a MIDI protocol. As a part of the software, there will be a special aligning algorithm, that will take care of precise alignment of the created loop on beat in the way that no other intrusive rhythmical or tempo related elements are present.
|
|
|
Pokročilá statická analýza výkonnosti v nástroji Meta Infer
Pavela, Ondřej ; Rogalewicz, Adam (referee) ; Vojnar, Tomáš (advisor)
Statický analyzátor složitosti Looper slouží pro odvozování přesných horních mezí ceny vykonání programů. Jako teoretický základ byl využit dříve existující nástroj Loopus a jeho abstraktní programový model využívající tzv. difference constraints (nerovnosti typu + ), které umožňují přirozeným způsobem modelovat typické modifikace počítadel cyklů = + + a = + 0. Looper byl původně navržen a implementován v rámci autorovy bakalářské práce jako zásuvný modul aplikačního rámce Meta Infer. Výsledný nástroj nicméně nenaplnil očekávání při pokusech o jeho nasazení na reálné programy. Tato diplomová práce představuje návrh nové verze, která si dává za cíl odstranit hlavní limitace původního nástroje Looper, zejména díky nově podporované in- terprocedurální analýze. Dále byla implementována řada rozšíření, které cílily na zvýšení přesnosti intraprocedurální analýzy, jako např. nový abstrakční algoritmus, podpora pro složené podmínky v hlavičkách smyček a další. Kromě toho bylo také výrazně vylepšeno logování, hlášení chyb a sběr výsledků analýzy. Na závěr byla skrze skrze rozsáhlé exper- imenty demonstrována schopnost nové verze nástroje Looper analyzovat reálný kód obec- nějším, škálovatelnějším a přesnějším způsobem.
|
|
|
Software Guitar Looper with Remote Control
Kalník, Jan ; Říha, Kamil (referee) ; Schimmel, Jiří (advisor)
This thesis deals with creating a software guitar looper in a visual programming language called Pure Data and also building a specific remote controller for it. The remote cont- roller will be based on a MIDI protocol. As a part of the software, there will be a special aligning algorithm, that will take care of precise alignment of the created loop on beat in the way that no other intrusive rhythmical or tempo related elements are present.
|
guest ::
