Showing 1 - 2 results of 2 for search 'Khorsandi Aghai, Majid', query time: 0.19s Refine Results
  1. 1
    Verification of Work-stealing Deque Implementation
    by Khorsandi Aghai, Majid
    Published 2012
    Get full text
    Others
  2. 2
    Model Checking WOOL Parallel Library using SPIN Model Checker 
    by Khorsandi Aghai, Majid
    Published 2011
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search