|
Znojmo 13.-15.11.2009 MEMICS'09 provides a forum for doctoral students interested in applications
of mathematical and engineering methods in computer science. Programme Committee (members from 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., chairman
Steering Committee (members from FIT)Češka Milan, prof. RNDr., CSc.
Kotásek Zdeněk, doc. Ing., CSc.
Vojnar Tomáš, prof. Ing., Ph.D., chairman
Selected publications
| 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, p. 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, p. 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, p. 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, p. 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, p. 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, p. 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, p. 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, p. 192-199, ISBN 978-80-87342-04-6 |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)