<h2>OASIcs, Volume 16, MEMICS 2010</h2>
<ul>
<li>
<span class="authors">Ludek Matyska, Michal Kozubek, Tomáš Vojnar, Pavel Zemcík, and David Antos</span>
<span class="title">OASIcs, Volume 16, MEMICS'10, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010">10.4230/OASIcs.MEMICS.2010</a>
</li>
<li>
<span class="authors">Ludek Matyska, Michal Kozubek, Tomas Vojnar, Pavel Zemcik, and David Antos</span>
<span class="title">Frontmatter, Preface, Table of Contents, Workshop Organization</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.i">10.4230/OASIcs.MEMICS.2010.i</a>
</li>
<li>
<span class="authors">Petr Bauch and Milan Ceska</span>
<span class="title">CUDA Accelerated LTL Model Checking - Revisited</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.1">10.4230/OASIcs.MEMICS.2010.1</a>
</li>
<li>
<span class="authors">Nikola Benes and Jan Kretinsky</span>
<span class="title">Process Algebra for Modal Transition Systemses</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.9">10.4230/OASIcs.MEMICS.2010.9</a>
</li>
<li>
<span class="authors">Ondrej Danek and Martin Maska</span>
<span class="title">A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.19">10.4230/OASIcs.MEMICS.2010.19</a>
</li>
<li>
<span class="authors">Jan Fousek, Tomas Golembiovsky, Jiri Filipovic, and Igor Peterlik</span>
<span class="title">Haptic Rendering Based on RBF Approximation from Dynamically Updated Data</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.26">10.4230/OASIcs.MEMICS.2010.26</a>
</li>
<li>
<span class="authors">Artur Gintrowski</span>
<span class="title">Modeling Gene Networks using Fuzzy Logic</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.32">10.4230/OASIcs.MEMICS.2010.32</a>
</li>
<li>
<span class="authors">Tomas Golembiovsky and Ales Krenek</span>
<span class="title">Compression of Vector Field Changing in Time</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.40">10.4230/OASIcs.MEMICS.2010.40</a>
</li>
<li>
<span class="authors">Adam Husar, Miloslav Trmac, Jan Hranac, Tomas Hruska, and Karel Masarik</span>
<span class="title">Automatic C Compiler Generation from Architecture Description Language ISAC</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.47">10.4230/OASIcs.MEMICS.2010.47</a>
</li>
<li>
<span class="authors">Pavel Karas</span>
<span class="title">Efficient Computation of Morphological Greyscale Reconstruction</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.54">10.4230/OASIcs.MEMICS.2010.54</a>
</li>
<li>
<span class="authors">Ilja Kucevalovs</span>
<span class="title">On Reliability and Refutability in Nonconstructive Identification</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.62">10.4230/OASIcs.MEMICS.2010.62</a>
</li>
<li>
<span class="authors">Martin Maska, Pavel Matula, and Michal Kozubek</span>
<span class="title">Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.69">10.4230/OASIcs.MEMICS.2010.69</a>
</li>
<li>
<span class="authors">Jiri Matela, Vit Rusnak, and Petr Holub</span>
<span class="title">GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.77">10.4230/OASIcs.MEMICS.2010.77</a>
</li>
<li>
<span class="authors">Boris Prochazka, Tomas Vojnar, and Martin Drahansky</span>
<span class="title">Hijacking the Linux Kernel</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.85">10.4230/OASIcs.MEMICS.2010.85</a>
</li>
<li>
<span class="authors">Zdenek Prikryl, Jakub Kroustek, Tomas Hruska, and Dusan Kolar</span>
<span class="title">Fast Translated Simulation of ASIPs</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.93">10.4230/OASIcs.MEMICS.2010.93</a>
</li>
<li>
<span class="authors">Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, and Stefan Kowalewski</span>
<span class="title">Test-Case Generation for Embedded Binary Code Using Abstract Interpretation</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.101">10.4230/OASIcs.MEMICS.2010.101</a>
</li>
<li>
<span class="authors">Miloslav Trmac, Adam Husar, Jan Hranac, Tomas Hruska, and Karel Masarik</span>
<span class="title">Instructor Selector Generation from Architecture Description</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.109">10.4230/OASIcs.MEMICS.2010.109</a>
</li>
<li>
<span class="authors">Pavel Troubil and Hana Rudova</span>
<span class="title">Integer Programming for Media Streams Planning Problem</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.116">10.4230/OASIcs.MEMICS.2010.116</a>
</li>
<li>
<span class="authors">Tim Wegner, Claas Cornelius, Andreas Tockhorn, and Dirk Timmermann</span>
<span class="title">Monitoring and Control of Temperature in Networks-on-Chip</span>
<a class="doi" href="https://doi.org/10.4230/OASIcs.MEMICS.2010.124">10.4230/OASIcs.MEMICS.2010.124</a>
</li>
</ul>
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing