Changes between Version 76 and Version 77 of WikiStart

Timestamp:

Mar 25, 2014, 6:39:10 AM (4 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -46 +46 @@
 1. Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. Nested Atomic Sections with Thread Escape: A Formal Definition. In ACM Symposium on Applied Computing (SAC), pages 1585-1592. ACM Press, 2014
 1. Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem. In ACM Symposium on Applied Computing (SAC), pages 1577-1584. ACM Press, 2014
-1. Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. Nested Atomic Sections with Thread Escape: An Operational Semantics. In International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT). IEEE, 2013. to appear.
-1. Frédéric Loulergue, Virginia Niculescu, and Simon Robillard. Powerlists in Coq: Programming and Reasoning. In First International Symposium on Computing and Networking (CANDAR). IEEE Computer Society, 2013. to appear.
+1. Frédéric Loulergue, Virginia Niculescu, and Simon Robillard. [http://dx.doi.org/10.1109/CANDAR.2013.17 Powerlists in Coq: Programming and Reasoning]. In First International Symposium on Computing and Networking (CANDAR), pages 57-65. IEEE Computer Society, 2013
 1. Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, and Julien Tesson. [http://dx.doi.org/10.1007/978-3-642-40047-6_46 Programming with BSP Homomorphisms]. In F. Wolf, B. Mohr, and D. Ney, editors, Euro-Par 2013 Parallel Processing, number 8097 in LNCS, pages 446-457. Springer, 2013
 1. Kento Emoto, Kiminori Matsuzaki, [http://dx.doi.org/10.1007/s10766-013-0263-8 An Automatic Fusion Mechanism for Variable-Length List Skeletons in !SkeTo], International Journal of Parallel Programming, Springer, ,2013. t