2011

• CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

  BENEŠ Nikola ČERNÁ Ivana KŘIVÁNEK Milan

  Článek ve sborníku

  Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, rok: 2011

• Computing Optimal Cycle Mean in Parallel on CUDA

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

  Článek v odborném periodiku

  Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: 72, vydání: 2011, DOI

• Computing Strongly Connected Components in Parallel on CUDA

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

  Článek ve sborníku

  Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, rok: 2011

• CUDA Accelerated LTL Model Checking - Revisited

  BAUCH Petr ČEŠKA Milan

  Článek ve sborníku

  Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, rok: 2011

• Distributed Construction of Configuration Spaces for Real-Time Haptic Deformation Modeling

  PETERLÍK Igor FILIPOVIČ Jiří

  Článek v odborném periodiku

  IEEE Transactions on Industrial Electronics, rok: 2011, ročník: 58, vydání: 8, DOI

• Efficient JPEG2000 EBCOT Context Modeling for Massively Parallel Architectures

  MATELA Jiří RUSŇÁK Vít HOLUB Petr

  Článek ve sborníku

  Data Compression Conference (DCC), 2011, rok: 2011

• Fixed-delay Events in Generalized Semi-Markov Processes Revisited

  BRÁZDIL Tomáš KRČÁL Jan KŘETÍNSKÝ Jan ŘEHÁK Vojtěch

  Článek ve sborníku

  CONCUR 2011 - Concurrency Theory: 22nd International Conference, rok: 2011

• GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000

  MATELA Jiří RUSŇÁK Vít HOLUB Petr

  Článek ve sborníku

  Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- Selected Papers, rok: 2011

• Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata

  BRÁZDIL Tomáš KRČÁL Jan KŘETÍNSKÝ Jan KUČERA Antonín ŘEHÁK Vojtěch

  Článek ve sborníku

  HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, rok: 2011

• Modal Transition Systems: Composition and LTL Model Checking

  BENEŠ Nikola ČERNÁ Ivana KŘETÍNSKÝ Jan

  Článek ve sborníku

  ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, rok: 2011