Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Bonakdarpour B, Abujarad F, Kulkarni S. Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. 2008 DOI: 10.21236/ada487982.Peer-Reviewed Original ResearchSymbolic synthesisDeadlock statesPresence of faultsEfficient parallelParallel algorithmDistributed programDeadlock resolutionMultiple threadsEfficient heuristicSymbolic techniquesComplexity barrierSymbolic algorithmSet of statesSynthesis algorithmTransition relationAlgorithmPerformance improvementExperimental resultsOutgoing transitionsPrevious workAforementioned obstaclesParallelizationHeuristicsThreads
This site is protected by hCaptcha and its Privacy Policy and Terms of Service apply