MEMICS
MEMICS
Annual Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
 
organized jointly by the Masaryk University
and the Brno University of Technology, Czechia
2011
2010
2009
2008
2007
2006/2005
NEWS
 
October 22—24, 2010    Hotel Galant    Mikulov    Czechia
 

Saturday, October 23, 2010
Aurelius Hall
Chair: Michal Kozubek
Pálava Hall
9:00-10:00Stefan Wörz
Model-Based Segmentation of Biomedical Images
10:00-10:30Coffee Break, Lobby Bar

Chair: Michal Kozubek

Chair: Stefan Wörz
10:30-10:55Radim Hatlapatka and Petr Sojka
Document Engineering for a Digital Library
Martin Maška, Pavel Matula and Michal Kozubek
Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm
11:00-11:25Pavel Karas
Efficient Computation of Morphological Greyscale Reconstruction
Jan Gaura and Eduard Sojka
A Level Set Method without Reinitialisation and with GPU Acceleration
11:30-13:00Lunch, Bellevue Restaurant

Chair: Pavel Zemčík
13:00-14:00Alan Chalmer, Andrej Ferko
Levels of Realism: From Virtual Reality to Real Virtuality - Perception and Virtual Time

Chair: Lukáš Sekanina

Chair: Andrej Ferko
14:10-14:35Thomas Reinbacher, Joerg Brauer, Martin Horauer, Andreas Steininger and Stefan Kowalewski
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
Štěpán Šrubař
Survey and Comparison of Image Segmentation Evaluation Algorithms
14:40-15:05Adam 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
Ondřej Daněk and Martin Maška
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation
15:10-15:35Miloslav Trmač, Adam Husár, Jan Hranáč, Tomáš Hruška and Karel Masařík
Instructor Selector Generation from Architecture Description
Silvie Luisa Brazdilova and Michal Kozubek
Image division technique in automated fluorescence microscopy
15:35-16:05Coffee Break, Lobby Bar

Chair: Jan Schmidt

Chair: Mojmír Křetínský
16:05-16:30Zdenek Prikryl, Jakub Kroustek, Tomas Hruska and Dušan Kolář
Fast Translated Simulation of ASIPs
Petr Pospíchal
Simple genetic algorithm running on GPU
16:35-17:00Jaroslav Borecký, Kohlík Martin and Hana Kubátová
How to Measure Dependability Parameters of Programmable Digital Circuits - A Survey
Jiri Matela, Vit Rusnak and Petr Holub
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
17:05-17:30Jan Balach and Ondřej Novák
Reconfiguration Based Fault-Tolerant Systems Design - Survey of Approaches
Petr Bauch and Milan Ceska
CUDA accelerated LTL Model Checking - revisited
17:35-18:00Tim Wegner, Claas Cornelius, Andreas Tockhorn and Dirk Timmermann
Monitoring and Control of Temperature in Networks-on-Chip
Jiri Barnat, Petr Bauch, Lubos Brim and Milan Ceska
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
18:05-18:30Bohuslav Křena, Zdenek Letko, Tomas Vojnar and Shmuel Ur
A Platform for Search-Based Testing of Concurrent Software
Jan Fousek, Tomáš Golembiovský, Igor Peterlík and Jiří Filipovič
u
19:30Dinner, Galant Winery, bus to Kovacs Winery

 
 
MEMICS Photo
 
MEMICS
 
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2010
FIFIT
Photos and Design