Travelled to:
1 × France
1 × Lithuania
Collaborated with:
G.Oster F.Vernier M.Guthmuller G.Corona A.Legrand H.Casanova K.Fujiwara
Talks about:
distribut (3) system (2) applic (2) learn (2) asynchron (1) programm (1) simgrid (1) project (1) program (1) machin (1)
Person: Martin Quinson
DBLP: Quinson:Martin
Contributed to:
Wrote 4 papers:
- ITiCSE-2015-QuinsonO #education #learning #programming
- A Teaching System to Learn Programming: the Programmer’s Learning Machine (MQ, GO), pp. 260–265.
- PDP-2015-GuthmullerQC #detection #distributed #legacy #similarity #verification
- System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications (MG, MQ, GC), pp. 451–458.
- PDP-2009-QuinsonV #distributed
- Byte-Range Asynchronous Locking in Distributed Settings (MQ, FV), pp. 191–195.
- HPDC-2006-LegrandQCF #deployment #distributed #simulation
- The SIMGRID Project Simulation and Deployment of Distributed Applications (AL, MQ, HC, KF), pp. 385–386.