Login / Signup

Accelerating Dynamic Fault Tree Analysis Based on Stochastic Logic Utilizing GPGPUs.

Elham CheshmikhaniHamid R. Zarandi
Published in: PDP (2016)
Keyphrases
  • dynamic environments
  • logic programming
  • modal logic
  • image processing