Regular Papers
List of accepted papers
- Ivan Fialík, Classical Winning Strategies for the Matching Game
- Jiří Techet, A Note on Scattered Context Grammars with Non-Context-Free Components
- Stephan Kubisch, Dirk Timmermann, Enrico Heinrich, A GALS Network-on-Chip for an FPGA
- Jaroslav Skarvada, RT Level Test Optimization for Low Power Consumption
- J. Nesetril, T. Valla, On Ramsey-type Positional Games
- Tomas Masopust, Generalized Forbidding Grammars with Linear Productions
- David Novák, Image Similarity Search: Theory and Practice
- Barbora Zimmerova and Pavlina Varekova, Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
- Vaclav Lorenc, Martin Osovsky, Ondrej Peterka, Ondrej Rysavy, Libor Skarvada, Can Objects Have Dependent Types?
- Hynek Mlnarik, Syntactic Type Soundness in Structured Imperative Languages
- Vendula Hruba, Bohuslav Krena, Using Java PathFinder for Self-healing Assurance
- Z. Křivka, A. Meduna, J. Smrček, n-Right Linear #-Rewriting Systems
- Sherzod Turaev, Petri Net Controlled Grammars
- Richard Kralovic, Tobias Moemke, Approximation Hardness of the Travelling Salesman Reoptimization Problem
- Jens Gloeckler, Closure Properties of the Families of Languages Accepted by Forgetting Automata
- Petr Svenda, Automatic Construction of Secrecy Amplification Protocols
- Jana Uramová, Information model of nework throughput with application of unary code
- Václav Brožek, Regularity in model checking PDA games
- Tomáš Rebok, DiProNN Programming Model
- Vlastimil Babka, Petr Tuma, Effects of Memory Sharing on Contemporary Processor Architectures
- Marius Bozga, Radu Iosif, Vassiliki Sfyrla, An Efficient Algorithm for the Computation of Optimum Paths in Weighted Graphs
- Lukáš Holík, Adam Rogalewicz, Counterexample Analysis in Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
- Michal Mati, Towards Fast RNA Family Search
- Martin Kot, Notes on modelling of real-time database system V4DB in verification tool Uppaal
- Dalibor Klusáček, Luděk Matyska, Hana Rudová, Local Search for Deadline Driven Grid Scheduling
- Igor Peterlik, Distributed Precomputation of State-space for Haptic Interaction with Non-linear Model of Liver
- Toshiaki Takahashi, Hiroshi Imai, Sonoko Moriyama, David Avis, Quantum correlation and semidefinite relaxation through 2-prover 1-round interactive proof
- Jan Šupol, Parallel pattern matching using bit-vectors
- Pavel Moravec, Jiří Šimša, Relaxed Cycle Condition Improves Partial Order Reduction
- Martin Straka, Checker for Communication Protocol between IP Cores Based on FPGA
- Jan Gaura, Michal Krumnikl, Jan Platoš, Eduard Sojka, Evaluation of Parallel Architectures in Digital Image Processing Applications
- Jiří Krajíček, Roman Lukáš, Alexander Meduna, Homogeneous Multicontinuous Grammars and Their Reduction
- Andreea Vescan, Components ordered assembly construction based on temporal restraint
- Lukáš Boháč, Equivalence of Programmable Quantum Processors
•
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2008
Photos and Design
