Travelled to:
1 × South Korea
Collaborated with:
F.Loulergue S.Robillard J.Legaux Z.Hu
Talks about:
parallel (1) smaller (1) program (1) problem (1) nearest (1) extract (1) formal (1) deriv (1) valu (1) all (1)
Person: Julien Tesson
DBLP: Tesson:Julien
Contributed to:
Wrote 1 papers:
- SAC-2014-LoulergueRTLH #parallel #problem
- Formal derivation and extraction of a parallel program for the all nearest smaller values problem (FL, SR, JT, JL, ZH), pp. 1577–1584.