MEMICS 2011

Steven Van Der Vegt and Alfons Laarman. A Parallel Compact Hash Table
Monika Krausová. Prefix-Free Languages: Closure Properties, Difference, and Left Quotient
Pavel Jancik, Pavel Parizek and Jan Kofron. Advanced Debugging with JPF Inspector
Martin Tomec, Petr Mikušek and Václav Dvořák. A Cascade Decomposition of Application-Specific Systems
Radovan Fusek, Karel Mozdren and Milan Surkala. Heat Flooding Image Segmentation
Jan Obdrzalek, Jiří Slabý and Marek Trtík. STANSE: Bug-finding Framework for C Programs
Roman Žilka, Vashek Matyáš and Libor Kyncl. Four Authorization Protocols for an Electronic Payment System
Christos Sakellariou and Peter Bentley. Introducing the FPGA-based Hardware Architecture of Systemic Computation (HAoS)
Ondrej Moriš and Petr Hlineny. Generalized Maneuvers in Route Planning
Alexandre David, Daniel Ejsing-Duun, Lisa Fontani, Kim Guldstrand Larsen, Vasile Popescu and Jacob Haubach Smedegrd. Optimal Infinite Runs in One-Clock Priced Timed Automata
Jiří Koutný, Zbyněk Křivka and Alexander Meduna. Pumping Properties of Path-Restricted Tree-Controlled Languages
Jiri Matela, Martin Šrom and Petr Holub. Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000
Zdenek Letko, Tomas Vojnar and Bohuslav Krena. Noise Injection Heuristics for Concurrency Testing
Alina Vasilieva. Uniformly Distributed Quantum Query Algorithms for Multifunctions
Jaroslav Borecký, Pavel Vít and Hana Kubátová. Self Repair Architectures Based on Partial Dynamic and Static Reconfiguration
Roland Cmorik and Galina Jiraskova. Basic Operations on Binary Suffix-Free Languages
Radomír Polách, Jan Janoušek and Bořivoj Melichar. Ragular Tree Expressions and Pushdown Automata
Jozef Janovský. Gerrymandering as Graph Partitioning: Introducing the Heuristic Algorithm
Jakub Zahradník and Miroslav Skrbek. Classification of Spatio-Temporal Data Using Complex-Valued Neural Network
Kaspars Balodis, Ilja Kucevalovs and Rusins Freivalds. Frequency prediction of functions
Petr Horáček and Alexander Meduna. Regulated Rewriting in Natural Language Translation
Jakub Mažgut, Martina Paulinyová and Peter Tiňo. Using Dimensionality Reduction Method for Binary Data to Questionnaire Analysis
Dalibor Klusacek and Hana Rudová. Efficient Data Representation of Large Job Schedules
Jiri Barnat, Ivana Cerna and Jana Tumova. Timed Automata Approach to Verification of Systems with Degradation
Jaroslav Bayer, Hana Bydžovská, Jan Géryk, Tomáš Obšívač and Lubos Popelinsky. Improving the classification of study-related data through social network analysis.

•

Photos and Design