2010

• Self-organizing Collaborative Environments

  LIŠKA Miloš

  Účelové publikace

  Rok: 2010, druh: Účelové publikace

• Towards Self-organizing Search Systems

  BARTOŇ Stanislav DOHNAL Vlastislav SEDMIDUBSKÝ Jan ZEZULA Pavel

  Kapitola v knize

  Computational Social Network Analysis, rok: 2010, počet stran: 32 s.

• Using Strategy Improvement to Stay Alive

  BRIM Luboš CHALOUPKA Jakub

  Článek ve sborníku

  Games, Automata, Logics and Formal Verification (GandALF) 2010, rok: 2010

• Využití GPU pro urychlení obrazové komprese

  MATELA Jiří

  Další prezentace na konferencích

  Rok: 2010, druh: Další prezentace na konferencích

• Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P

  CHALOUPKA Jakub

  Článek ve sborníku

  Reachability Problems, rok: 2010

2009

• Cluster-Based I/O-Efficient LTL Model Checking

  BARNAT Jiří BRIM Luboš ŠIMEČEK Pavel

  Článek ve sborníku

  24th IEEE/ACM International Conference on Automated Software Engineering, rok: 2009

• CUDA Accelerated LTL Model Checking

  BARNAT Jiří BRIM Luboš ČEŠKA Milan LAMR Tomáš

  Článek ve sborníku

  Proceedings of the 15th International Conference on Parallel and Distributed Systems, rok: 2009

• DiVinE Cuda

  BARNAT Jiří BRIM Luboš BAUCH Petr ČEŠKA Milan LAMR Tomáš

  Software

  Rok: 2009

• DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

  BARNAT Jiří BRIM Luboš ČEŠKA Milan

  Článek v odborném periodiku

  Electronic Proceedings in Theoretical Computer Science, rok: 2009, ročník: 14, vydání: Prosinec

• Effectiveness Metrics for Intrusion Detection in Wireless Sensor Networks

  STETSKO Andriy MATYÁŠ Václav

  Článek ve sborníku

  EC2ND 2009 : European Conference on Computer Network Defense, rok: 2009