Friday, October 17, 2014
10:00-12:00Registration
Room ARoom B
13:30-14:30Gianni Antichi, University of Cambridge: Hardware accelerated networking systems: practice against theory
14:45-16:25 Petr Bauch, Vojtěch Havel and Jiri Barnat: LTL Model Checking of LLVM Bitcode with Symbolic Data
Peter Bezděk, Jiří Barnat, Nikola Beneš and Ivana Černá: LTL model checking of Parametric Timed Automata
Jan Kretinsky: From LTL to Deterministic Automata: A Safraless Compositional Approach
Krishnendu Chatterjee, Martin Chmelík and Przemyslaw Daca: CEGAR for Qualitative Analysis of Probabilistic Systems
Jana Pazúriková and Luděk Matyska: Convergence of Parareal Algorithm Applied on Molecular Dynamics Simulations
Vojtech Nikl and Jiri Jaros: Parallelization of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition
Tomáš Čejka, Lukáš Kekely, Pavel Benáček, Rudolf B. Blažek and Hana Kubátová: FPGA Accelerated Change-Point Detection Method for 100 Gb/s Networks
Vlastimil Košař and Jan Kořenek: Multi-Stride NFA-Split Architecture for Regular Expression Matching Using FPGA
16:45-17:45 Jozef Ivanecký, European Media Laboratory: Today's Challenges for Embedded ASR
19:00 Conference Dinner