Changes between Version 90 and Version 91 of WikiStart


Ignore:
Timestamp:
Jun 1, 2015, 10:04:01 AM (3 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v90 v91  
    5050 
    51511. Frédéric Loulergue, Wadoud Bousdira, and Julien Tesson. “Calculating Parallel Programs in Coq using List Homomorphisms”. In: Int J Parallel Prog (2015). To appear. 
    52 1. Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. “A Formal Semantics of Nested Atomic Sections with Thread Escape”. In: Comput Lang Syst Str (2015). DOI: [http:/dx.doi.org/10.1016/j.cl.2015.04.001 10.1016/j.cl.2015.04.001]. 
    53 1. Kiminori Matsuzaki and Reina Miyazaki. “Parallel Tree Accumulations on !MapReduce”. In: Int J Parallel Prog (2015). DOI: [http:/dx.doi.org/10.1007/s10766-015-0355-8 10.1007/s10766-015-0355-8]. 
    54 1. Shigeyuki Sato and Kiminori Matsuzaki. “A Generic Implementation of Tree Skeletons”. In: Int J Parallel Prog (2015). DOI: [http:/dx.doi.org/10.1007/s10766-015-0355-6 10.1007/s10766-015-0355-6]. 
    55 1. K. Emoto and K. Matsuzaki. “An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo”. In: Int J Parallel Prog (2013). DOI: [http:/dx.doi.org/10.1007/s10766-013-0263-8 /s10766-013-0263-8]. 
     521. Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. “A Formal Semantics of Nested Atomic Sections with Thread Escape”. In: Comput Lang Syst Str (2015). DOI: [http://dx.doi.org/10.1016/j.cl.2015.04.001 10.1016/j.cl.2015.04.001]. 
     531. Kiminori Matsuzaki and Reina Miyazaki. “Parallel Tree Accumulations on !MapReduce”. In: Int J Parallel Prog (2015). DOI: [http://dx.doi.org/10.1007/s10766-015-0355-8 10.1007/s10766-015-0355-8]. 
     541. Shigeyuki Sato and Kiminori Matsuzaki. “A Generic Implementation of Tree Skeletons”. In: Int J Parallel Prog (2015). DOI: [http://dx.doi.org/10.1007/s10766-015-0355-6 10.1007/s10766-015-0355-6]. 
     551. K. Emoto and K. Matsuzaki. “An Automatic Fusion Mechanism for Variable-Length List Skeletons in !SkeTo”. In: Int J Parallel Prog (2013). DOI: [http://dx.doi.org/10.1007/s10766-013-0263-8 /s10766-013-0263-8]. 
    5656 
    5757=== Book chapter ===