Detail publikačního výsledku

Mathematical and Engineering Methods in Computer Science, 7th International Doctoral Workshop, Revised Selected Papers

KOTÁSEK, Z.; BOUDA, J.; ČERNÁ, I.; SEKANINA, L.; VOJNAR, T.; ANTOŠ, D.

Original Title

Mathematical and Engineering Methods in Computer Science, 7th International Doctoral Workshop, Revised Selected Papers

English Title

Mathematical and Engineering Methods in Computer Science, 7th International Doctoral Workshop, Revised Selected Papers

Type

Conference proceedings

Original Abstract

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.

English abstract

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.

Authors

KOTÁSEK, Z.; BOUDA, J.; ČERNÁ, I.; SEKANINA, L.; VOJNAR, T.; ANTOŠ, D.

Released

21.01.2012

Publisher

Springer Verlag

Location

Berlin

ISBN

978-3-642-25928-9

Edition

Lecture Notes in Computer Science

Volume

7119

Pages count

215

Full text in the Digital Library

http://hdl.handle.net/

BibTex

@proceedings{BUT192787,
  editor="Zdeněk {Kotásek} and Jan {Bouda} and Ivana {Černá} and Lukáš {Sekanina} and Tomáš {Vojnar} and David {Antoš}",
  title="Mathematical and Engineering Methods in Computer Science, 7th International Doctoral Workshop, Revised Selected Papers",
  year="2012",
  series="Lecture Notes in Computer Science",
  pages="215",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-642-25928-9"
}