concurrency theory; exception handling; high level languages; parallel algorithms; parallel programming; programming language semantics; Bulk Synchronous Parallel ML; OCaml and; concurrency related problems; deadlock problem; exception handling; formal semantics; hi;
机译:批量同步并行ML(例外)
机译:在批量同步并行模型中减少批量
机译:批量同步并行(BSP)/粗粒度多计算机(CGM)上的高效并行文本检索技术
机译:批量同步平行毫升异常机制的语义
机译:具有通信效率的批量同步并行算法。
机译:通过多同步活组织检查的大规模平行测序分析大型切除扩散的空间异质性大型B细胞淋巴瘤肿块
机译:具有异常的批量同步并行ML
机译:用于批量同步并行应用的Linux内核协同调度。