MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

 

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

2009Holí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

Vaše IPv4 adresa: 107.22.127.92
Přepnout na IPv6 spojení

DNSSEC [dnssec]