Implicit dynamic frames
Jan Smans, Bart Jacobs, Frank Piessens
Parameterized loop tiling
Lakshminarayanan Renganarayanan, Daegon Kim, Michelle Mills Strout, Sanjay Rajopadhye
A data-centric approach to synchronization
Julian Julian, Christian Hammer
ScalaExtrap: Trace-based communication extrapolation for SPMD programs Xing Wu, Frank Mueller
Xing Wu, Frank Mueller
Algorithmic verification of asynchronous programs
Pierre Yves Genty, Rupak Majumdar
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: