Events

MEMICS'14 -- 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Telč 17.-19.10.2014

MEMICS'14 provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer

Organizing Committee (members from FIT)

Kočí Radek, Ing., Ph.D., UITS FIT VUT, chairman

Programme Committee (members from FIT)

Černocký Jan, doc. Dr. Ing., UPGM FIT VUT
Jaroš Jiří, Ing., Ph.D., UPSY FIT VUT, chairman
Kořenek Jan, Ing., Ph.D., UPSY FIT VUT, chairman
Kotásek Zdeněk, doc. Ing., CSc., UPSY FIT VUT
Rogalewicz Adam, doc. Mgr., Ph.D., UITS FIT VUT
Zemčík Pavel, prof. Dr. Ing., UPGM FIT VUT

Steering Committee (members from FIT)

Češka Milan, prof. RNDr., CSc., UITS FIT VUT
Kotásek Zdeněk, doc. Ing., CSc., UPSY FIT VUT
Vojnar Tomáš, prof. Ing., Ph.D., UITS FIT VUT, chairman

Selected publications

2015FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. On Monitoring C/C++ Transactional Memory Programs. In: Proceedings of MEMICS'14. Heidelberg: Springer Verlag, 2015, pp. 73-87. ISBN 978-3-319-14895-3.
2014AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš and VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. In: Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014, pp. 15-27. ISBN 978-80-214-5022-6.
 DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. Proceedings of MEMICS'14. Brno, 2014.
 HRBÁČEK Radek. Bent Functions Synthesis on Xeon Phi Coprocessor. In: Mathematical and Engineering Methods in Computer Science. Heidelberg: Springer Verlag, 2014, pp. 88-99. ISBN 978-3-319-14895-3.
 KOŠAŘ Vlastimil and KOŘENEK Jan. Multi-Stride NFA-Split Architecture for Regular Expression Matching Using FPGA. In: Proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: NOVPRESS s.r.o., 2014, pp. 77-88. ISBN 978-80-214-5022-6.
 MATULA Peter and KOLÁŘ Dušan. Composite Data Type Recovery in a Retargetable Decompilation. In: Proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: NOVPRESS s.r.o., 2014, pp. 63-76. ISBN 978-80-214-5022-6.
 MEDUNA Alexander and SOUKUP Ondřej. Computational Completeness Resulting from Scattered Context Grammars Working Under Various Derivation Modes. In: Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014, pp. 89-100. ISBN 978-80-214-5022-6.
 NIKL Vojtěch and JAROŠ Jiří. Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition. In: Mathematical and Engineering Methods in Computer Science. Heidelberg: Springer International Publishing, 2014, pp. 100-112. ISBN 978-3-319-14895-3.

Your IPv4 address: 54.167.250.64
Switch to IPv6 connection

DNSSEC [dnssec]