Changes between Version 88 and Version 89 of WikiStart

Timestamp:

Jun 1, 2015, 10:02:00 AM (3 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -49 +49 @@
 === International refeered journals ===
 
-
+1. 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.
+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: [htpp:/dx.doi.org/10.1016/j.cl.2015.04.001 10.1016/j.cl.2015.04.001].
+1. Kiminori Matsuzaki and Reina Miyazaki. “Parallel Tree Accumulations on MapReduce”. In: Int J Parallel Prog (2015). DOI: [htpp:/dx.doi.org/10.1007/s10766-015-0355-8 10.1007/s10766-015-0355-8].
+1. Shigeyuki Sato and Kiminori Matsuzaki. “A Generic Implementation of Tree Skeletons”. In: Int J Parallel Prog (2015). DOI: [htpp:/dx.doi.org/10.1007/s10766-015-0355-6 10.1007/s10766-015-0355-6].
+1. K. Emoto and K. Matsuzaki. “An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo”. In: Int J Parallel Prog (2013). DOI: [htpp:/dx.doi.org/10.1007/s10766-013-0263-8 /s10766-013-0263-8].
 
 === Book chapter ===