Travelled to:
1 × South Korea
Collaborated with:
F.Loulergue S.Robillard J.Tesson 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: Joeffrey Legaux
DBLP: Legaux:Joeffrey
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.