MEMICS 2010

Jan Balach. Designing Fault-Tolerant system using reconfiguration
Petr Bauch and Milan Ceska. CUDA accelerated LTL Model Checking - revisited
Nikola Benes and Jan Kretinsky. Process Algebra for Modal Transition Systemses
Jaroslav Borecký, Kohlík Martin and Hana Kubátová. How to Measure Dependability Parameters of Programmable Digital Circuits
Jakub Chaloupka. Algorithm for Two-Energy Games
Ondřej Daněk and Martin Maška. A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation
Jan Fousek, Tomáš Golembiovský, Igor Peterlík and Jiří Filipovič. Haptic Rendering Based on RBF Approximation from Dynamically Updated Data
Jan Gaura and Eduard Sojka. A Level Set Method without Reinitialisation and with GPU Acceleration
Artur Gintrowski, Kamila Wolnica and Paweł Kostka. Modeling Gene Networks using Fuzzy Logic
Tomáš Golembiovský and Aleš Křenek. Compression of Vector Field Changing in Time
Adam Husár, Tomáš Hruška, Karel Masařík, Miloslav Trmač, Jan Hranáč, Dušan Kolář and Zdeněk Přikryl. Automatic C Compiler Generation from Architecture Description Language ISAC
Pavel Karas. Efficient Computation of Morphological Greyscale Reconstruction
Jan Krupka and Ivan Šimeček. Parallel solvers of Poisson's equation
Ilja Kucevalovs. On reliability and refutability in nonconstructive identification
Martin Maška, Pavel Matula and Michal Kozubek. Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm
Jiri Matela, Vit Rusnak and Petr Holub. GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
Zdenek Prikryl, Jakub Kroustek, Tomas Hruska and Dušan Kolář. Fast Translated Simulation of ASIPs
Boris Procházka, Tomáš Vojnar and Martin Drahanský. Hijacking of Linux Kernel
Thomas Reinbacher, Joerg Brauer, Martin Horauer, Andreas Steininger and Stefan Kowalewski. Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
Štěpán Šrubař. A Survey of Image Segmentation Evaluation Algorithms
Miloslav Trmač, Adam Husár, Jan Hranáč, Tomáš Hruška and Karel Masařík. Instructor Selector Generation from Architecture Description
Pavel Troubil and Hana Rudová. Integer Programming for Media Streams Planning Problem
Tim Wegner, Claas Cornelius, Andreas Tockhorn and Dirk Timmermann. Monitoring and Control of Temperature in Networks-on-Chip

•

Photos and Design