Showing 1 - 2 results of 2 for search 'Bauch, P', query time: 0.02s Refine Results
  1. 1
    Designing Fast LTL Model Checking Algorithms for Many−Core GPUs

    Designing Fast LTL Model Checking Algorithms for Many−Core GPUs by Barnat, J, Bauch, P, Brim, L, Češka, M

    Published 2012
    Journal article
  2. 2
    Computing Strongly Connected Components in Parallel on CUDA

    Computing Strongly Connected Components in Parallel on CUDA by Barnat, J, Bauch, P, Brim, L, Češka, M

    Published 2011
    Conference item

Search Tools: