Mathematical and Engineering Methods in Computer Science

7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

  • Zdeněk Kotásek
  • Jan Bouda
  • Ivana Černá
  • Lukáš Sekanina
  • Tomáš Vojnar
  • David Antoš
Conference proceedings MEMICS 2011

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7119)

Table of contents

  1. Front Matter
  2. Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis
    Pages 1-19
  3. Peter J. Bentley
    Pages 20-36
  4. Renato Renner
    Pages 57-62
  5. Vlastimil Babka, Petr Tůma
    Pages 63-75
  6. Kaspars Balodis, Ilja Kucevalovs, Rūsiņš Freivalds
    Pages 76-83
  7. Jiří Barnat, Ivana Černá, Jana Tůmová
    Pages 84-93
  8. Roland Cmorik, Galina Jirásková
    Pages 94-102
  9. Dalibor Klusáček, Hana Rudová
    Pages 103-113
  10. Bohuslav Křena, Zdeněk Letko, Tomáš Vojnar
    Pages 123-135
  11. Jiří Matela, Martin Šrom, Petr Holub
    Pages 136-145
  12. Jakub Mažgut, Martina Paulinyová, Peter Tiňo
    Pages 146-154
  13. Petr Hliněný, Ondrej Moriš
    Pages 155-166
  14. Jan Obdržálek, Jiří Slabý, Marek Trtík
    Pages 167-178
  15. Christos Sakellariou, Peter J. Bentley
    Pages 179-190
  16. Steven van der Vegt, Alfons Laarman
    Pages 191-204
  17. Roman Žilka, Vashek Matyáš, Libor Kyncl
    Pages 205-214
  18. Back Matter

About these proceedings


This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathmatical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011.
The 13 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 38 submissions. The papers address all current issues of mathematical and engineering methods in computer science, especially: software and hardware dependability, computer security, computer-aided analysis and verification, testing and diagnostics, simulation, parallel and distributed computing, grid computing, computer networks, modern hardware and its design, non-traditional computing architectures, software engineering, computational intelligence, quantum information processing, computer graphics and multimedia, signal, text, speech, and image processing, and theoretical computer science.


compact hashing micropayments multi-core parallel architecture timed automata

Editors and affiliations

  • Zdeněk Kotásek
    • 1
  • Jan Bouda
    • 2
  • Ivana Černá
    • 2
  • Lukáš Sekanina
    • 1
  • Tomáš Vojnar
    • 1
  • David Antoš
    • 3
  1. 1.Faculty of Information TechnologyBrno University of TechnologyBrnoCzech Republic
  2. 2.Faculty of InformaticsMasaryk UniversityBrnoCzech Republic
  3. 3.Institute of Computer ScienceMasaryk UniversityBrnoCzech Republic

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-25928-9
  • Online ISBN 978-3-642-25929-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences