MEMICS 2010

	Aurelius Hall Chair: Michal Kozubek	Pálava Hall
9:00-10:00	Stefan Wörz Model-Based Segmentation of Biomedical Images
10:00-10:30	Coffee Break, Lobby Bar
	Chair: Michal Kozubek	Chair: Stefan Wörz
10:30-10:55	Radim 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:25	Pavel 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:00	Lunch, Bellevue Restaurant
	Chair: Pavel Zemčík
13:00-14:00	Alan 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:35	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ř Survey and Comparison of Image Segmentation Evaluation Algorithms
14:40-15:05	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	Ondřej Daněk and Martin Maška A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation
15:10-15:35	Miloslav 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:05	Coffee Break, Lobby Bar
	Chair: Jan Schmidt	Chair: Mojmír Křetínský
16:05-16:30	Zdenek 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:00	Jaroslav 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:30	Jan 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:00	Tim 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:30	Bohuslav 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:30	Dinner, Galant Winery, bus to Kovacs Winery

•

Photos and Design