Login / Signup

GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.

Anton WijsMuhammad Osama
Published in: SPIN (2023)
Keyphrases
  • space exploration
  • gpu accelerated
  • statistical methods
  • data model
  • concurrent systems
  • information systems
  • similarity measure
  • missing data
  • data quality