Mathematical and Engineering Methods in Computer Science [electronic resource] : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /
MEMICS (Workshop)Corporate Author
MEMICS 2011(2011 :Lednice, Czech Republic)
MEMICS (Workshop)
Kotásek, Zdeněk.editor.
Bouda, Jan.editor.
Cerná, Ivana.editor.
Sekanina, Lukas.editor.(orcid)0000-0002-2693-9011https://orcid.org/0000-0002-2693-9011edt
Vojnar, Tomas.editor.(orcid)0000-0002-2746-8792https://orcid.org/0000-0002-2746-8792edt
Antoš, David.editor.
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical 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.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical 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.
Computer communication systems.
Algorithms.
Software engineering.
Management information systems.
Computer science.
Computer logic.
Computer Communication Networks.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Management of Computing and Information Systems.
Logics and Meanings of Programs.
Lecture notes in computer science