Author:
Barnat Jiří,Bauch Petr,Brim Luboš,Češka Milan
Publisher
Open Publishing Association
Reference21 articles.
1. Employing Multiple CUDA Devices to Accelerate LTL Model Checking;J. Barnat,2010
2. Computing Strongly Connected Components in Parallel on CUDA;J. Barnat,2011
3. DiVinE: Parallel Distributed Model Checker (Tool paper);J. Barnat,2010
4. An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems;S. M. Burns;IEEE Transaction on Computers,1995