2008
NEWS
January 6, 2009
Photos
Photos
You can have a look at the photos.
November 27, 2008
Slides
Slides
You can download slides for papers or presentations.
November 14—16, 2008 • Prestige Hotel • Znojmo • Czechia
Papers
List of accepted papers
- Ivan Fialík, Noise and the Mermin-GHZ Game
- Morten Kühnrich, Formal Model--Driven Design of Distributed Algorithms
- Bob Bowden, Co-operative Network Mitigation
- Shkodran Gerguri, Václav Matyáš, Zdeněk Říha, Luděk Smolík, Generating Random Sequences from Fingerprints
- Matej Košík, Jiří Šafařík, Strategies for Memory Accounting of Cooperating Pi-Calculus Processes
- Kathrin Peter, Data Distribution Algorithms for Reliable Parallel Storage on Flash Memories
- Florian Lonsing and Armin Biere, Efficiently representing existential dependency sets for expansion-based QBF solvers
- Václav Brožek, Regularity in PDA Games Revisited
- Tomáš Fabián, Jan Gaura, Parallel Implementation of Recursive Background Modeling Technique in CUDA for Tracking Moving Objects in Video Traffic Surveillance
- Ján Máté, Jiří Šafařík, Versioning with Security Enhancement in Standard Relational Databases
- Tomas Potuzak, Sparsely Synchronized Traffic Flow Characteristics Transfer in Distributed Simulation of Road Traffic
- Marián Novotný, A tool for an automatic analysis of security protocols by logics of belief
- Joachim Kneis, Alexander Langer, A Practical Approach to Courcelle's Theorem
- Martin Straka, Design of FPGA-Based Dependable Systems
- Ivan Šimeček, Sparse Matrix Computations using the Quadtree Storage Format
- Ales Kozumplik, Martin Krivanek, and Antoine Madet, TRIPS To the Semantic EDGE
- Parosh A. Abdulla, Lukáš Holík, Lisa Kaati, Tomáš Vojnar, A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata
- Michal Malohlava, Tomáš Bureš, Language for reconfiguring runtime infrastructure of component-based systems
- Koji Kojima, Biometrics Hash Functions against Quantum Adversaries
- Stefan Plantikow, Mikael Högqvist, Continous Queries over Federated Social Networks
- Jan Gaura, Eduard Sojka, Michal Krumnikl, Chan and Vese Level Set Method with Modeling the Brightness of Background
- Petr Novosad and Milan Češka, Algorithms for computing coverability graphs for hybrid Petri nets
- Hermann Gruber, Digraph Complexity Measures and Applications in Formal Language Theory
- Peter Pecho, František Zbořil, Wireless sensor network agent platform with support for cryptographic protocols
- Jakub Jaroš, Petr Procházka, Jan Holub, On Implementation of Word-Based Compression Methods
- Alexander Heußner, Tristan Le Gall, and Grégoire Sutre, CEGAR for Communicating FIFO Machines
- Tomáš Rebok, DiProNN Resource Management System
- Dalibor Klusáček, Dealing with Uncertainties in Grids through the Event-based Scheduling Approach
- Matúš Jurečka, Speaker Identification Using Pulse Coupled Neural Network
- Michal Mati. Maria Palusakova, Faster Algorithm for RNA Family Filter Weight-matrix calculation
- Jiří Kvasnička, Hana Kubátová, Emulation of SEU Effect In Bitstream of FPGA
•
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2008
Photos and Design
