MEMICS 2010 October 22–24, 2010, Mikulov, Czech Republic

Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers



Ludek Matyska and Michal Kozubek and Tomáš Vojnar and Pavel Zemcík and David Antos (Eds.)
ISBN 978-3-939897-22-4, OASICS Vol. 16 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 8 MB)
Search Publication Server


Authors
  • Antos, David
  • Bauch, Petr
  • Benes, Nikola
  • Brauer, Jörg
  • Ceska, Milan
  • Cornelius, Claas
  • Danek, Ondrej
  • Drahansky, Martin
  • Filipovic, Jiri
  • Fousek, Jan
  • Gintrowski, Artur
  • Golembiovsky, Tomas
  • Holub, Petr
  • Horauer, Martin
  • Hranac, Jan
  • Hruska, Tomas
  • Husar, Adam
  • Karas, Pavel
  • Kolar, Dusan
  • Kowalewski, Stefan
  • Kozubek, Michal
  • Krenek, Ales
  • Kretinsky, Jan
  • Kroustek, Jakub
  • Kucevalovs, Ilja
  • Masarik, Karel
  • Maska, Martin
  • Matela, Jiri
  • Matula, Pavel
  • Matyska, Ludek
  • Peterlik, Igor
  • Prikryl, Zdenek
  • Prochazka, Boris
  • Reinbacher, Thomas
  • Rudova, Hana
  • Rusnak, Vit
  • Steininger, Andreas
  • Timmermann, Dirk
  • Tockhorn, Andreas
  • Trmac, Miloslav
  • Troubil, Pavel
  • Vojnar, Tomas
  • Wegner, Tim
  • Zemcik, Pavel

  •   
    Frontmatter, Preface, Table of Contents, Workshop Organization
    Authors: Matyska, Ludek ; Kozubek, Michal ; Vojnar, Tomas ; Zemcik, Pavel ; Antos, David

    Abstract | Document (255 KB) | BibTeX

    CUDA Accelerated LTL Model Checking -­ Revisited
    Authors: Bauch, Petr ; Ceska, Milan

    Abstract | Document (475 KB) | BibTeX

    Process Algebra for Modal Transition Systemses
    Authors: Benes, Nikola ; Kretinsky, Jan

    Abstract | Document (432 KB) | BibTeX

    A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation
    Authors: Danek, Ondrej ; Maska, Martin

    Abstract | Document (571 KB) | BibTeX

    Haptic Rendering Based on RBF Approximation from Dynamically Updated Data
    Authors: Fousek, Jan ; Golembiovsky, Tomas ; Filipovic, Jiri ; Peterlik, Igor

    Abstract | Document (491 KB) | BibTeX

    Modeling Gene Networks using Fuzzy Logic
    Authors: Gintrowski, Artur

    Abstract | Document (421 KB) | BibTeX

    Compression of Vector Field Changing in Time
    Authors: Golembiovsky, Tomas ; Krenek, Ales

    Abstract | Document (412 KB) | BibTeX

    Automatic C Compiler Generation from Architecture Description Language ISAC
    Authors: Husar, Adam ; Trmac, Miloslav ; Hranac, Jan ; Hruska, Tomas ; Masarik, Karel

    Abstract | Document (333 KB) | BibTeX

    Efficient Computation of Morphological Greyscale Reconstruction
    Authors: Karas, Pavel

    Abstract | Document (1,439 KB) | BibTeX

    On Reliability and Refutability in Nonconstructive Identification
    Authors: Kucevalovs, Ilja

    Abstract | Document (388 KB) | BibTeX

    Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm
    Authors: Maska, Martin ; Matula, Pavel ; Kozubek, Michal

    Abstract | Document (4,727 KB) | BibTeX

    GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
    Authors: Matela, Jiri ; Rusnak, Vit ; Holub, Petr

    Abstract | Document (470 KB) | BibTeX

    Hijacking the Linux Kernel
    Authors: Prochazka, Boris ; Vojnar, Tomas ; Drahansky, Martin

    Abstract | Document (484 KB) | BibTeX

    Fast Translated Simulation of ASIPs
    Authors: Prikryl, Zdenek ; Kroustek, Jakub ; Hruska, Tomas ; Kolar, Dusan

    Abstract | Document (471 KB) | BibTeX

    Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
    Authors: Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan

    Abstract | Document (446 KB) | BibTeX

    Instructor Selector Generation from Architecture Description
    Authors: Trmac, Miloslav ; Husar, Adam ; Hranac, Jan ; Hruska, Tomas ; Masarik, Karel

    Abstract | Document (352 KB) | BibTeX

    Integer Programming for Media Streams Planning Problem
    Authors: Troubil, Pavel ; Rudova, Hana

    Abstract | Document (433 KB) | BibTeX

    Monitoring and Control of Temperature in Networks-on-Chip
    Authors: Wegner, Tim ; Cornelius, Claas ; Tockhorn, Andreas ; Timmermann, Dirk

    Abstract | Document (472 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI