Seminář je organizován výzkumnou skupinou formálních modelů na Ústavu informačních systémů Fakulty informačních technologií Vysokého učení technického v Brně. Je zaměřen především na teoretické a praktické aspekty formálních modelů a jejich použití.

Seznam uskutečněných seminárních příspěvků naleznete na http://www.fit.vutbr.cz/~meduna/work/doku.php?id=talks:seminar.

Autoři: Jakub Křoustek (doktorand, 2. ročník, školitel doc. Kolář), Stanislav Židek (doktorand, 2. ročník, školitel prof. Meduna)
Název: Využití gramatik s rozptýleným kontextem pro modelování omezení instrukcí VLIW procesorů
Abstrakt:

V této prezentaci bude představena nová metoda pro generování kódu pro procesory s dlouhým instrukčním slovem (VLIW), která je založena na využití gramatik s rozptýleným kontextem. Oproti stávajícím metodám je efektivnější díky kontrole konfliktů již během generování kódu. Dále bude prezentována optimalizace této metody pomocí nově navrženého formálního modelu - gramatik s rozptýleným kontextem s prioritními pravidly. Na závěr bude prezentován důkaz generativní síly těchto gramatik. Prezentace je souhrnem publikační činnosti obou autorů na toto téma.