@Proceedings{matyska_et_al:OASIcs.MEMICS.2010,
title = {{OASIcs, Volume 16, MEMICS'10, Complete Volume}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2012},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010},
URN = {urn:nbn:de:0030-drops-35789},
doi = {10.4230/OASIcs.MEMICS.2010},
annote = {Keywords: Control structures and microprogramming, Input/output and data communications, Integrated circuits, Performance and reliability}
}
@InProceedings{matyska_et_al:OASIcs.MEMICS.2010.i,
author = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
title = {{Frontmatter, Preface, Table of Contents, Workshop Organization}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {i--viii},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.i},
URN = {urn:nbn:de:0030-drops-30574},
doi = {10.4230/OASIcs.MEMICS.2010.i},
annote = {Keywords: Frontmatter, Preface, Table of Contents, Workshop Organization}
}
@InProceedings{bauch_et_al:OASIcs.MEMICS.2010.1,
author = {Bauch, Petr and Ceska, Milan},
title = {{CUDA Accelerated LTL Model Checking - Revisited}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {1--8},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.1},
URN = {urn:nbn:de:0030-drops-30729},
doi = {10.4230/OASIcs.MEMICS.2010.1},
annote = {Keywords: LTL Model Checking, CUDA, OWCTY}
}
@InProceedings{benes_et_al:OASIcs.MEMICS.2010.9,
author = {Benes, Nikola and Kretinsky, Jan},
title = {{Process Algebra for Modal Transition Systemses}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {9--18},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.9},
URN = {urn:nbn:de:0030-drops-30701},
doi = {10.4230/OASIcs.MEMICS.2010.9},
annote = {Keywords: modal transition systems, process algebra, specification}
}
@InProceedings{danek_et_al:OASIcs.MEMICS.2010.19,
author = {Danek, Ondrej and Maska, Martin},
title = {{A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {19--25},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.19},
URN = {urn:nbn:de:0030-drops-30695},
doi = {10.4230/OASIcs.MEMICS.2010.19},
annote = {Keywords: maximum flow, topology preserving, image segmentation, graph cuts}
}
@InProceedings{fousek_et_al:OASIcs.MEMICS.2010.26,
author = {Fousek, Jan and Golembiovsky, Tomas and Filipovic, Jiri and Peterlik, Igor},
title = {{Haptic Rendering Based on RBF Approximation from Dynamically Updated Data}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {26--31},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.26},
URN = {urn:nbn:de:0030-drops-30592},
doi = {10.4230/OASIcs.MEMICS.2010.26},
annote = {Keywords: haptic rendering, radial-basis function approximation, precomputation, deformation modeling}
}
@InProceedings{gintrowski:OASIcs.MEMICS.2010.32,
author = {Gintrowski, Artur},
title = {{Modeling Gene Networks using Fuzzy Logic}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {32--39},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.32},
URN = {urn:nbn:de:0030-drops-30749},
doi = {10.4230/OASIcs.MEMICS.2010.32},
annote = {Keywords: Fuzzy network, gene expression, time optimization}
}
@InProceedings{golembiovsky_et_al:OASIcs.MEMICS.2010.40,
author = {Golembiovsky, Tomas and Krenek, Ales},
title = {{Compression of Vector Field Changing in Time}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {40--46},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.40},
URN = {urn:nbn:de:0030-drops-30640},
doi = {10.4230/OASIcs.MEMICS.2010.40},
annote = {Keywords: Protein-ligand docking, vector compression}
}
@InProceedings{husar_et_al:OASIcs.MEMICS.2010.47,
author = {Husar, Adam and Trmac, Miloslav and Hranac, Jan and Hruska, Tomas and Masarik, Karel},
title = {{Automatic C Compiler Generation from Architecture Description Language ISAC}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {47--53},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.47},
URN = {urn:nbn:de:0030-drops-30654},
doi = {10.4230/OASIcs.MEMICS.2010.47},
annote = {Keywords: ISAC architecture, compiler generation}
}
@InProceedings{karas:OASIcs.MEMICS.2010.54,
author = {Karas, Pavel},
title = {{Efficient Computation of Morphological Greyscale Reconstruction}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {54--61},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.54},
URN = {urn:nbn:de:0030-drops-30679},
doi = {10.4230/OASIcs.MEMICS.2010.54},
annote = {Keywords: GPU, morphological reconstruction}
}
@InProceedings{kucevalovs:OASIcs.MEMICS.2010.62,
author = {Kucevalovs, Ilja},
title = {{On Reliability and Refutability in Nonconstructive Identification}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {62--68},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.62},
URN = {urn:nbn:de:0030-drops-30717},
doi = {10.4230/OASIcs.MEMICS.2010.62},
annote = {Keywords: inductive inference, identification, reliability, refutability, nonconstructive computation}
}
@InProceedings{maska_et_al:OASIcs.MEMICS.2010.69,
author = {Maska, Martin and Matula, Pavel and Kozubek, Michal},
title = {{Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {69--76},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.69},
URN = {urn:nbn:de:0030-drops-30625},
doi = {10.4230/OASIcs.MEMICS.2010.69},
annote = {Keywords: level set framework, topology preservation, object tracking}
}
@InProceedings{matela_et_al:OASIcs.MEMICS.2010.77,
author = {Matela, Jiri and Rusnak, Vit and Holub, Petr},
title = {{GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {77--84},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.77},
URN = {urn:nbn:de:0030-drops-30681},
doi = {10.4230/OASIcs.MEMICS.2010.77},
annote = {Keywords: JPEG2000, EBCOT, Context Modeling, GPU, GPGPU, parallel}
}
@InProceedings{prochazka_et_al:OASIcs.MEMICS.2010.85,
author = {Prochazka, Boris and Vojnar, Tomas and Drahansky, Martin},
title = {{Hijacking the Linux Kernel}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {85--92},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.85},
URN = {urn:nbn:de:0030-drops-30635},
doi = {10.4230/OASIcs.MEMICS.2010.85},
annote = {Keywords: Linux kernel hacking, rootkit}
}
@InProceedings{prikryl_et_al:OASIcs.MEMICS.2010.93,
author = {Prikryl, Zdenek and Kroustek, Jakub and Hruska, Tomas and Kolar, Dusan},
title = {{Fast Translated Simulation of ASIPs}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {93--100},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.93},
URN = {urn:nbn:de:0030-drops-30608},
doi = {10.4230/OASIcs.MEMICS.2010.93},
annote = {Keywords: Hardware/sofware co-design, simulation, architecture description languages, application-specific instruction set processors}
}
@InProceedings{reinbacher_et_al:OASIcs.MEMICS.2010.101,
author = {Reinbacher, Thomas and Brauer, J\"{o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan},
title = {{Test-Case Generation for Embedded Binary Code Using Abstract Interpretation}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {101--108},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.101},
URN = {urn:nbn:de:0030-drops-30586},
doi = {10.4230/OASIcs.MEMICS.2010.101},
annote = {Keywords: Test-Case Generation, Embedded Binary Code, Abstract Interpretation}
}
@InProceedings{trmac_et_al:OASIcs.MEMICS.2010.109,
author = {Trmac, Miloslav and Husar, Adam and Hranac, Jan and Hruska, Tomas and Masarik, Karel},
title = {{Instructor Selector Generation from Architecture Description}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {109--115},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.109},
URN = {urn:nbn:de:0030-drops-30616},
doi = {10.4230/OASIcs.MEMICS.2010.109},
annote = {Keywords: LLVM, instruction generator}
}
@InProceedings{troubil_et_al:OASIcs.MEMICS.2010.116,
author = {Troubil, Pavel and Rudova, Hana},
title = {{Integer Programming for Media Streams Planning Problem}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {116--123},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.116},
URN = {urn:nbn:de:0030-drops-30661},
doi = {10.4230/OASIcs.MEMICS.2010.116},
annote = {Keywords: Media streams planning, integer programming}
}
@InProceedings{wegner_et_al:OASIcs.MEMICS.2010.124,
author = {Wegner, Tim and Cornelius, Claas and Tockhorn, Andreas and Timmermann, Dirk},
title = {{Monitoring and Control of Temperature in Networks-on-Chip}},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
pages = {124--131},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-22-4},
ISSN = {2190-6807},
year = {2011},
volume = {16},
editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.124},
URN = {urn:nbn:de:0030-drops-30735},
doi = {10.4230/OASIcs.MEMICS.2010.124},
annote = {Keywords: Network-on-Chip, Reliability, Monitoring, Temperature, Control}
}
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