2010

• Self-organizing Collaborative Environments

  LIŠKA Miloš

  Year: 2010, type:

• Towards Self-organizing Search Systems

  BARTOŇ Stanislav DOHNAL Vlastislav SEDMIDUBSKÝ Jan ZEZULA Pavel

  Chapter of a book

  Computational Social Network Analysis, year: 2010, number of pages: 32 s.

• Using Strategy Improvement to Stay Alive

  BRIM Luboš CHALOUPKA Jakub

  Article in Proceedings

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

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

  MATELA Jiří

  Appeared in Conference without Proceedings

  Year: 2010, type: Appeared in Conference without Proceedings

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

  CHALOUPKA Jakub

  Article in Proceedings

  Reachability Problems, year: 2010

2009

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

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

  Article in Proceedings

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

• CUDA Accelerated LTL Model Checking

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

  Article in Proceedings

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

• DiVinE Cuda

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

  Year: 2009

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

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

  Article in Periodical

  Electronic Proceedings in Theoretical Computer Science, year: 2009, volume: 14, edition: Prosinec

• Effectiveness Metrics for Intrusion Detection in Wireless Sensor Networks

  STETSKO Andriy MATYÁŠ Václav

  Article in Proceedings

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