Friday, October 22, 2010

Friday, October 22, 2010
10:00 - 11:30
Registration, Lobby bar
11:30 -13:00
Lunch, Bellevue Restaurant
Aurelius Hall
13:00 - 13:10
Pálava Hall
Opening Ceremony (Luděk Matyska)
Chair: Zdeněk Kotásek
13:10 - 14:10
Andreas Steininger
New Approaches to
Fault Tolerant Systems Design
Chair: Luděk Matyska
Chair: Antti Valmari
14:20 - 14:45
Jan Krupka and Ivan Šimeček
Parallel solvers of Posisson's equation
14:50 - 15:15
Tomáš Golembiovský and Aleš Křenek
Jan Krcal and Jan Kretinsky
Timed Automata Objectives in
Stochastic Real-Time Games
Lukas Holik, Tomas Vojnar, Richard
Mayr, Parosh A. Abdulla and Yu-Fang
Chen
When Simulation Meets Antichains
15:20 - 15:45
15:45 - 16:15
16:15 - 16:40
16:45 -17:10
Compression of Vector Field Changing
in Time
Artur Gintrowski, Kamila Wolnica and
Paweł Kostka
Modeling Gene Networks using Fuzzy
Logic
Coffee Break, Lobby Bar
Chair: Vashek Matyáš
Chair: Josef Gruska
Filip Konecny, Radu Iosif and Marius
Bozga
Fast Acceleration of Ultimately Periodic
Relations
Jan Samek and František Zbořil
Ivan Fialík
Hierarchical Model of Trust in Contexts
17:15 - 17:40
17:45 - 18:10
18:15 -18:40
19:00
Tomáš Babiak, Vojtěch Řehák and Jan
Strejček
Almost Linear Büchi Automata
Michal Procházka, Daniel Kouřil and
Luděk Matyska
User Centric Authentication for Web
Applications
Andriy Stetsko, Lukáš Folkman
and Vashek Matyáš
Neighbor-based Intrusion Detection for
Wireless Sensor Networks
Boris Procházka, Tomáš Vojnar and
Martin Drahanský
Hijacking of Linux Kernel
Dinner, Degustační galerie Pálava
Unitary Noise and the Mermin-GHZ
Game
Jan Bouda, Matej Pivoluska,
Libor Caha, …
Quantum Simultaneous Contract
Signing
Robert Ganian, Petr Hlineny, Jan
Obdrzalek, …
Are there any good digraph width
measures?
Iļja Kucevalovs
On reliability and refutability in
nonconstructive identification
Jakub Chaloupka
Algorithm for Two-Energy Games
Saturday, October 23, 2010
Aurelius Hall
Pálava Hall
Chair: Michal Kozubek
9:00 - 10:00
10:00 - 10:30
10:30 - 10:55
Stefan Wörz
Model-Based Segmentation of
Biomedical Images
Coffee Break, Lobby Bar
Chair: Michal Kozubek
Chair: Stefan Wörz
Radim Hatlapatka and Petr Sojka
Martin Maška, Pavel Matula and Michal
Kozubek
Simultaneous Tracking of Multiple
Objects Using Fast Level Set-Like
Algorithm
Jan Gaura and Eduard Sojka
A Level Set Method without
Reinitialisation and with GPU
Acceleration
Document Engineering for a Digital
Library
11:00 - 11:25
11:30 – 13:00
Pavel Karas
Efficient Computation of Morphological
Greyscale Reconstruction
Lunch, Bellevue Restaurant
Chair: Pavel Zemčík
13:00 - 14:00
14:10 - 14:35
14:40 - 15:05
15:10 - 15:35
Alan Chalmer, Andrej Ferko
Levels of Realism: From Virtual Reality
to Real Virtuality - Perception and
Virtual Time
Chair: Lukáš Sekanina
Chair: Andrej Ferko
Thomas Reinbacher, Joerg Brauer,
Martin Horauer, Andreas Steininger and
Stefan Kowalewski
Test-Case Generation for Embedded
Binary Code Using Abstract
Interpretation
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
Štěpán Šrubař
Miloslav Trmač, Adam Husár,
Jan Hranáč, Tomáš Hruška and
Karel Masařík
Instructor Selector Generation from
Architecture Description
Survey and Comparison of Image
Segmentation Evaluation Algorithms
Ondřej Daněk and Martin Maška
A Simple Topology Preserving MaxFlow Algorithm for Graph Cut Based
Image Segmentation
Silvie Luisa Brazdilova and Michal
Kozubek
Image division technique in automated
fluorescence microscopy
Saturday, October 23, 2010
Aurelius Hall
15:35 - 16:05
16:05 - 16:30
16:35 -17:00
17:05 - 17:30
17:35 - 18:00
18:05 -18:30
19:30
Pálava Hall
Coffee Break, Lobby Bar
Chair: Jan Schmidt
Chair: Mojmír Křetínský
Zdenek Prikryl, Jakub Kroustek, Tomas
Hruska and Dušan Kolář
Fast Translated Simulation of ASIPs
Petr Pospíchal
Jaroslav Borecký, Kohlík Martin and
Hana Kubátová
How to Measure Dependability
Parameters of Programmable Digital
Circuits - A Survey
Jan Balach and Ondřej Novák
Reconfiguration Based Fault-Tolerant
Systems Design – Survey of Approaches
Simple genetic algorithm running on
GPU
Jiri Matela, Vit Rusnak and Petr Holub
GPU-Based Sample-Parallel Context
Modeling for EBCOT in JPEG2000
Petr Bauch and Milan Ceska
CUDA accelerated LTL Model Checking revisited
Tim Wegner, Claas Cornelius, Andreas
Tockhorn and Dirk Timmermann
Jiri Barnat, Petr Bauch, Lubos Brim and
Milan Ceska
Monitoring and Control of Temperature
in Networks-on-Chip
Bohuslav Křena, Zdenek Letko, Tomas
Vojnar and Shmuel Ur
A Platform for Search-Based Testing of
Concurrent Software
Employing Multiple CUDA Devices to
Accelerate LTL Model Checking
Jan Fousek, Tomáš Golembiovský, Igor
Peterlík and Jiří Filipovič
Haptic Rendering Based on RBF
Approximation from Dynamically
Updated Data
Dinner, Galant Winery, bus to Kovacs Winery
Sunday, October 24, 2010
Aurelius Hall
Pálava Hall
Chair: Tomáš Vojnar
9:00 - 10:00
Antti Valmari
Recent results on DFA minimization
and other block splitting algorithms
10:00 - 10:30
10:30 - 10:55
11:00 - 11:25
11:30 - 11:55
11:55 – 12:20
Coffee Break, Lobby Bar
Chair: Pavel Zemčík
Chair: Antonín Kučera
Pavel Troubil and Hana Rudová
Integer Programming for Media
Streams Planning Problem
Dalibor Klusacek and Hana Rudová
The Use of Incremental Schedule-based
Approach for Efficient Job Scheduling
Nikola Benes and Jan Kretinsky
Process Algebra for Modal Transition
Systemses
Jonathan Cederberg
Automated Analysis of Data-Dependent
Programs with Dynamic Memory
Vladislav Martinek and
Michal Žemlička
Remarks on Complex Navigation
Systems
Antoine Durand-gasselin and Peter
Habermehl
On the Use of Non-deterministic
Automata for Presburger Arithmetic
Prizes Announcement,
Information on MEMICS 2011, and
Closing Ceremony
12:30 – 14:00
Lunch, Bellevue Restaurant
14:00
Departure, Bus to Brno