Abstract is missing.
- CUDA Accelerated LTL Model Checking - RevisitedPetr Bauch, Milan Ceska. 1-8 [doi]
- Process Algebra for Modal Transition SystemsesNikola Benes, Jan Kretínský. 9-18 [doi]
- A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image SegmentationOndrej Danek, Martin Maska. 19-25 [doi]
- Haptic Rendering Based on RBF Approximation from Dynamically Updated DataJan Fousek, Tomas Golembiovsky, Jiri Filipovic, Igor Peterlík. 26-31 [doi]
- Modeling Gene Networks using Fuzzy LogicArtur Gintrowski. 32-39 [doi]
- Compression of Vector Field Changing in TimeTomas Golembiovsky, Ales Krenek. 40-46 [doi]
- Automatic C Compiler Generation from Architecture Description Language ISACAdam Husar, Miloslav Trmac, Jan Hranac, Tomas Hruska, Karel Masarik. 47-53 [doi]
- Efficient Computation of Morphological Greyscale ReconstructionPavel Karas. 54-61 [doi]
- On Reliability and Refutability in Nonconstructive IdentificationIlja Kucevalovs. 62-68 [doi]
- Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like AlgorithmMartin Maska, Pavel Matula, Michal Kozubek. 69-76 [doi]
- GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000Jiri Matela, Vit Rusnak, Petr Holub. 77-84 [doi]
- Hijacking the Linux KernelBoris Prochazka, Tomás Vojnar, Martin Drahanský. 85-92 [doi]
- Fast Translated Simulation of ASIPsZdenek Prikryl, Jakub Kroustek, Tomas Hruska, Dusan Kolár. 93-100 [doi]
- Test-Case Generation for Embedded Binary Code Using Abstract InterpretationThomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski. 101-108 [doi]
- Instructor Selector Generation from Architecture DescriptionMiloslav Trmac, Adam Husar, Jan Hranac, Tomas Hruska, Karel Masarik. 109-115 [doi]
- Integer Programming for Media Streams Planning ProblemPavel Troubil, Hana Rudová. 116-123 [doi]
- Monitoring and Control of Temperature in Networks-on-ChipTim Wegner, Claas Cornelius, Andreas Tockhorn, Dirk Timmermann. 124-131 [doi]