Synchronous objects with scheduling policies: introducing safe shared memory in lustre.

Paul Caspi Jean-Louis Colaço Léonard Gérard Marc Pouzet Pascal Raymond Synchronous objects with scheduling policies: introducing safe shared memory in lustre. 11-20 2009 LCTES http://doi.acm.org/10.1145/1542452.1542455 conf/lctrts/2009 db/conf/lctrts/lctes2009.html#CaspiCGPR09