default search action
MEMICS 2010: Mikulov, Czech Republic
- Ludek Matyska, Michal Kozubek, Tomás Vojnar, Pavel Zemcík, David Antos:
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
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
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 Husár, Miloslav Trmac, Jan Hranac, Tomás Hruska, Karel Masarík:
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, Vít Rusnák, 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
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. 101-108 - Miloslav Trmac, Adam Husár, Jan Hranac, Tomás Hruska, Karel Masarík:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-04 01:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: