Skip to main content
  • Conference proceedings
  • © 2012

Mathematical and Engineering Methods in Computer Science

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

  • High quality selected papers

  • Unique visibility

  • State of the art research

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): MEMICS: International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Conference proceedings info: MEMICS 2011.

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (19 papers)

  1. Front Matter

  2. Rigorous System Design: The BIP Approach

    • Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis
    Pages 1-19
  3. Natural Born Computing

    • Peter J. Bentley
    Pages 20-36
  4. Information Security in a Quantum World

    • Renato Renner
    Pages 57-62
  5. Computer Memory: Why We Should Care What Is under the Hood

    • Vlastimil Babka, Petr Tůma
    Pages 63-75
  6. Frequency Prediction of Functions

    • Kaspars Balodis, Ilja Kucevalovs, Rūsiņš Freivalds
    Pages 76-83
  7. Timed Automata Approach to Verification of Systems with Degradation

    • Jiří Barnat, Ivana Černá, Jana Tůmová
    Pages 84-93
  8. Basic Operations on Binary Suffix-Free Languages

    • Roland Cmorik, Galina Jirásková
    Pages 94-102
  9. Efficient Data Representation of Large Job Schedules

    • Dalibor Klusáček, Hana Rudová
    Pages 103-113
  10. Noise Injection Heuristics for Concurrency Testing

    • Bohuslav Křena, Zdeněk Letko, Tomáš Vojnar
    Pages 123-135
  11. Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000

    • Jiří Matela, Martin Šrom, Petr Holub
    Pages 136-145
  12. Using Dimensionality Reduction Method for Binary Data to Questionnaire Analysis

    • Jakub Mažgut, Martina Paulinyová, Peter Tiňo
    Pages 146-154
  13. Generalized Maneuvers in Route Planning

    • Petr Hliněný, Ondrej Moriš
    Pages 155-166
  14. STANSE: Bug-Finding Framework for C Programs

    • Jan Obdržálek, Jiří Slabý, Marek Trtík
    Pages 167-178
  15. Introducing the FPGA-Based Hardware Architecture of Systemic Computation (HAoS)

    • Christos Sakellariou, Peter J. Bentley
    Pages 179-190
  16. A Parallel Compact Hash Table

    • Steven van der Vegt, Alfons Laarman
    Pages 191-204
  17. Four Authorization Protocols for an Electronic Payment System

    • Roman Žilka, Vashek Matyáš, Libor Kyncl
    Pages 205-214

Other Volumes

  1. Mathematical and Engineering Methods in Computer Science

About this book

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.

Keywords

  • compact hashing
  • micropayments
  • multi-core
  • parallel architecture
  • timed automata
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic

    Zdeněk Kotásek, Lukáš Sekanina, Tomáš Vojnar

  • Faculty of Informatics, Masaryk University, Brno, Czech Republic

    Jan Bouda, Ivana Černá

  • Institute of Computer Science, Masaryk University, Brno, Czech Republic

    David Antoš

Bibliographic Information

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions