Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML

Abstract. Bulk-Synchronous Parallel ML (BSML) is a functional dataparallel language to code Bulk-Synchronous Parallel (BSP) algorithms. It allows an estimation of execution time, avoids deadlocks and nondeterminism. This paper presents the implementation of a new primitive for BSML which can express divide-and-conquer algorithms.

• Type: Conference
• Year: 2007
• Where: ICCS
• Authors: Frédéric Gava
• Keywords: Bulk-Synchronous Parallel, Bulk-Synchronous Parallel ML, Functional Dataparallel Language, ICCS 2007