Travelled to:1 × Canada
Collaborated with:D.Méry J.M.Bahi F.Vernier
Talks about:algorithm (1) parallel (1) hypercub (1) topolog (1) exchang (1) method (1) formal (1) experi (1) dimens (1) broken (1)
Person: Raphaël Couturier
DBLP: Couturier:Rapha=euml=l
Contributed to:
2003
1998Wrote 2 papers:
- PDP-2003-BahiCV #algorithm
- Broken Edges and Dimension Exchange Algorithms on Hypercube Topology (JMB, RC, FV), p. 140–?.
- CAV-1998-CourturierM #empirical #formal method #using
- An Experiment in Parallelizing an Application Using Formal Methods (RC, DM), pp. 345–356.