|
Znojmo 14.-16.11.2008 MEMICS'08 provides a forum for doctoral students interested in applications
of mathematical and engineering methods in computer science with
a special focus on the various aspects of parallel and distributed systems Programme Committee (members from FIT)Češka Milan, prof. RNDr., CSc., chairman
Hanáček Petr, doc. Dr. Ing.
Kolář Dušan, doc. Dr. Ing.
Kotásek Zdeněk, doc. Ing., CSc., chairman
Křena Bohuslav, Ing., Ph.D.
Švéda Miroslav, prof. Ing., CSc.
Vojnar Tomáš, prof. Ing., Ph.D., chairman
Section moderators (members from FIT)Češka Milan, prof. RNDr., CSc., Artificial Intelligence
Hanáček Petr, doc. Dr. Ing., Petr Hanáček
Kotásek Zdeněk, doc. Ing., CSc., Computer Systems 3
Křena Bohuslav, Ing., Ph.D., Concurrent Bugs: How to Eliminate Them or Render Them Harmless
Vojnar Tomáš, prof. Ing., Ph.D., Parameterized Verification via Monotonic Abstraction
Selected publications
| 2008 | Abdulla Parosh A., Holík Lukáš, Kaati Lisa, Vojnar Tomáš: A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata, In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, FI MUNI, 2008, p. 3-11, ISBN 978-80-7355-082-0 |
| | Antoš David, Češka Milan, Kotásek Zdeněk, Křetínský Mojmír, Matyska Luděk, Vojnar Tomáš (editors): Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, FI MUNI, 2008, p. 286, ISBN 978-80-7355-082-0 |
| | Gajda Zbyšek: Polymorphic Circuit Design, MEMICS 2008 - Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2008, p. 256-256, ISBN 978-80-7355-082-0 |
| | Mikušek Petr, Dvořák Václav: On Lookup Table Cascade-Based Realizations of Arbiters, In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, MUNI, 2008, p. 261-261, ISBN 978-80-7355-082-0 |
| | Novosad Petr, Češka Milan: Algorithms for Computing Coverability Graphs for Hybrid Petri Nets, In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2008, p. 177-183, ISBN 978-80-7355-082-0 |
| | Pecho Peter, Zbořil František: Wireless sensor network agent platform with support for cryptographic protocols, In: MEMICS proceedings, Brno, CZ, MUNI, 2008, p. 192-199, ISBN 978-80-7355-082-0 |
| | Straka Martin, Kotásek Zdeněk: Design of FPGA-Based Dependable Systems, In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, MUNI, 2008, p. 240-247, ISBN 978-80-7355-082-0 |
| | Šimek Václav, Vašíček Zdeněk, Slaný Karel: Can the performance of GPGPU really beat CPU in evolutionary design task?, In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, MUNI, 2008, p. 264-264, ISBN 978-80-7355-082-0 |
| | Škarvada Jaroslav, Kotásek Zdeněk, Herrman Tomáš: Power Conscious RTL Test Scheduling, In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, MUNI, 2008, p. 265-265, ISBN 978-80-7355-082-0 |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)