|
Znojmo 13.-15.11.2009 MEMICS'09 je fórem, na kterém mohou presentovat své výsledky doktorandi
zabývající se aplikací matematických a inženýrských metod v
informatice. Programový výbor (členové z FIT)Češka Milan, prof. RNDr., CSc.
Hanáček Petr, doc. Dr. Ing.
Kolář Dušan, doc. Dr. Ing.
Kotásek Zdeněk, doc. Ing., CSc.
Křena Bohuslav, Ing., Ph.D.
Sekanina Lukáš, prof. Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D., předseda
Řídící výbor (členové z FIT)Češka Milan, prof. RNDr., CSc.
Kotásek Zdeněk, doc. Ing., CSc.
Vojnar Tomáš, prof. Ing., Ph.D., předseda
Vybrané publikace
| 2009 | Holík Lukáš, Šimáček Jiří: Optimizing an LTS-Simulation Algorithm, In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, FI MUNI, 2009, s. 93-101, ISBN 978-3-939897-15-6 |
| | Jirák Ota, Kolář Dušan: Derivation in Scattered Context Grammar via Lazy Function Evaluation, In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2009, s. 118-125, ISBN 978-80-87342-04-6 |
| | Jirák Ota, Kolář Dušan: Derivation in Scattered Context Grammar via Lazy Function Evaluation, In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09), Wadern, DE, DROPS, 2009, s. 10, ISBN 978-3-939897-15-6, ISSN 2190-6807 |
| | Meduna Alexander, Goldefus Filip: Weak Leftmost Derivations in Cooperative Distributed Grammar Systems, In: MEMICS 09, Brno, CZ, VUT v Brně, 2009, s. 144-151, ISBN 978-80-87342-04-6 |
| | Mikušek Petr, Dvořák Václav: Heuristic Synthesis of MTBDDs Based On Local Width Minimization, In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, MUNI, 2009, s. 235-235, ISBN 978-80-87342-04-6 |
| | Přikryl Zdeněk, Hruška Tomáš: Cycle Accurate Profiler for ASIPs, In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2009, s. 168-175, ISBN 978-80-87342-04-6 |
| | Straka Martin, Kotásek Zdeněk: Reliability Models for Fault Tolerant Architectures Based on FPGA, In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, FI MUNI, 2009, s. 239-239, ISBN 978-80-87342-04-6 |
| | Vašíček Zdeněk, Sekanina Lukáš: Efficient Hardware Accelerator for Symbolic Regression Problems, In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, MUNI, 2009, s. 192-199, ISBN 978-80-87342-04-6 |
|