MEMICS 2010:
Mikulov,
Czech Republic
Ludek Matyska, Michal Kozubek, Tomás Vojnar, Pavel Zemcík, David Antos (Eds.):
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic.
OASICS 16 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2011, ISBN 978-3-939897-22-4 
- Frontmatter, Preface, Table of Contents, Workshop Organization.
- Petr Bauch, Milan Ceska:
CUDA Accelerated LTL Model Checking - Revisited.
1-8
- Nikola Benes, Jan Kretínský:
Process Algebra for Modal Transition Systemses.
9-18
- Ondrej Danek, Martin Maska:
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation.
19-25
- Jan Fousek, Tomas Golembiovsky, Jiri Filipovic, Igor Peterlík:
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data.
26-31
- Artur Gintrowski:
Modeling Gene Networks using Fuzzy Logic.
32-39
- Tomas Golembiovsky, Ales Krenek:
Compression of Vector Field Changing in Time.
40-46
- Adam Husar, Miloslav Trmac, Jan Hranac, Tomas Hruska, Karel Masarik:
Automatic C Compiler Generation from Architecture Description Language ISAC.
47-53
- Pavel Karas:
Efficient Computation of Morphological Greyscale Reconstruction.
54-61
- Ilja Kucevalovs:
On Reliability and Refutability in Nonconstructive Identification.
62-68
- Martin Maska, Pavel Matula, Michal Kozubek:
Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm.
69-76
- Jiri Matela, Vit Rusnak, Petr Holub:
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000.
77-84
- Boris Prochazka, Tomás Vojnar, Martin Drahanský:
Hijacking the Linux Kernel.
85-92
- Zdenek Prikryl, Jakub Kroustek, Tomas Hruska, Dusan Kolár:
Fast Translated Simulation of ASIPs.
93-100
- Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski:
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation.
101-108
- Miloslav Trmac, Adam Husar, Jan Hranac, Tomas Hruska, Karel Masarik:
Instructor Selector Generation from Architecture Description.
109-115
- Pavel Troubil, Hana Rudová:
Integer Programming for Media Streams Planning Problem.
116-123
- Tim Wegner, Claas Cornelius, Andreas Tockhorn, Dirk Timmermann:
Monitoring and Control of Temperature in Networks-on-Chip.
124-131
Last update Fri May 25 08:26:20 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
