• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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