Changes between Version 8 and Version 9 of Deliverables


Ignore:
Timestamp:
Jun 2, 2015, 7:36:27 AM (3 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Deliverables

    v8 v9  
    1212=== Task 1 === 
    1313 
    14  * [S05*] Functional Models of !MapReduce (software) 
     14 * [S05*] Functional Models of !MapReduce ([http://www.info.kochi-tech.ac.jp/~kmatsu/MRModel/MRModel.lhs software]) 
    1515 * [P06*] Skeletal Parallelism on Top of !MapReduce ([http://frederic.loulergue.eu/ftp/papdas_p06.pdf report]) 
    1616 * [S07*] A Verified GTA Library in Coq ([http://frederic.loulergue.eu/ftp/SyDPaCC-ITP2014.tar.bz2 software])