Search results

Idea: making non-IO schedulers efficient

Status: Open.

#9 In iu-parfunc/verified-instances;

· rrnewton opened on Nov 12, 2017

Progress on three benchmark categories

Status: Open.

#7 In iu-parfunc/verified-instances;

· rrnewton opened on Oct 24, 2016

Goal 0.3 -- check off the DPJ commutative keyword uses

Status: Open.

#3 In iu-parfunc/verified-instances;

· rrnewton opened on Sep 15, 2016

Goal 0.2: parallel fold

Status: Open.

#2 In iu-parfunc/verified-instances;

· rrnewton opened on Sep 6, 2016

Goal 0.1: insert + parallel map on a set

Status: Open.

#1 In iu-parfunc/verified-instances;

· rrnewton opened on Sep 6, 2016