ENGLISH

Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

By Saddek Bensalem , Lukáš Sekanina , Ivana Černá , Ananda Basu , Marius Bozga (auth.) , Zdeněk Kotásek , Jan Bouda , Tomáš Vojnar , David Antoš (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2012
ISBN
9783642259296, 3642259294
DOI
10.1007/978-3-642-25929-6
Language
english
Format
PDF
Filesize
3 MB (3244479 bytes)
Series
Lecture Notes in Computer Science 7119 Programming and Software Engineering
Edition
1
Pages
215\226
Time added
2013-04-24 17:00:00
Computer Communication Networks; Algorithm Analysi

Description

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.

Similar books