OASIcs, Volume 16, MEMICS 2010

• Ludek Matyska, Michal Kozubek, Tomáš Vojnar, Pavel Zemcík, and David Antos OASIcs, Volume 16, MEMICS'10, Complete Volume 10.4230/OASIcs.MEMICS.2010
• Ludek Matyska, Michal Kozubek, Tomas Vojnar, Pavel Zemcik, and David Antos Frontmatter, Preface, Table of Contents, Workshop Organization 10.4230/OASIcs.MEMICS.2010.i
• Petr Bauch and Milan Ceska CUDA Accelerated LTL Model Checking -­ Revisited 10.4230/OASIcs.MEMICS.2010.1
• Nikola Benes and Jan Kretinsky Process Algebra for Modal Transition Systemses 10.4230/OASIcs.MEMICS.2010.9
• Ondrej Danek and Martin Maska A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation 10.4230/OASIcs.MEMICS.2010.19
• Jan Fousek, Tomas Golembiovsky, Jiri Filipovic, and Igor Peterlik Haptic Rendering Based on RBF Approximation from Dynamically Updated Data 10.4230/OASIcs.MEMICS.2010.26
• Artur Gintrowski Modeling Gene Networks using Fuzzy Logic 10.4230/OASIcs.MEMICS.2010.32
• Tomas Golembiovsky and Ales Krenek Compression of Vector Field Changing in Time 10.4230/OASIcs.MEMICS.2010.40
• Adam Husar, Miloslav Trmac, Jan Hranac, Tomas Hruska, and Karel Masarik Automatic C Compiler Generation from Architecture Description Language ISAC 10.4230/OASIcs.MEMICS.2010.47
• Pavel Karas Efficient Computation of Morphological Greyscale Reconstruction 10.4230/OASIcs.MEMICS.2010.54
• Ilja Kucevalovs On Reliability and Refutability in Nonconstructive Identification 10.4230/OASIcs.MEMICS.2010.62
• Martin Maska, Pavel Matula, and Michal Kozubek Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm 10.4230/OASIcs.MEMICS.2010.69
• Jiri Matela, Vit Rusnak, and Petr Holub GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000 10.4230/OASIcs.MEMICS.2010.77
• Boris Prochazka, Tomas Vojnar, and Martin Drahansky Hijacking the Linux Kernel 10.4230/OASIcs.MEMICS.2010.85
• Zdenek Prikryl, Jakub Kroustek, Tomas Hruska, and Dusan Kolar Fast Translated Simulation of ASIPs 10.4230/OASIcs.MEMICS.2010.93
• Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, and Stefan Kowalewski Test-Case Generation for Embedded Binary Code Using Abstract Interpretation 10.4230/OASIcs.MEMICS.2010.101
• Miloslav Trmac, Adam Husar, Jan Hranac, Tomas Hruska, and Karel Masarik Instructor Selector Generation from Architecture Description 10.4230/OASIcs.MEMICS.2010.109
• Pavel Troubil and Hana Rudova Integer Programming for Media Streams Planning Problem 10.4230/OASIcs.MEMICS.2010.116
• Tim Wegner, Claas Cornelius, Andreas Tockhorn, and Dirk Timmermann Monitoring and Control of Temperature in Networks-on-Chip 10.4230/OASIcs.MEMICS.2010.124