Collaborated with:A.Milazzo M.Cole A.Cavarra E.Riccobene
Talks about:model (2) intermedi (1) synchron (1) parallel (1) independ (1) program (1) predict (1) coordin (1) skelet (1) semant (1)
Person: Andrea Zavanella
DBLP: Zavanella:Andrea
Contributed to:
2000
2000Wrote 3 papers:
- PDP-2000-ZavanellaM #predict #source code #using
- Predictability of bulk synchronous programs using MPI (AZ, AM), pp. 118–123.
- SAC-2000-CavarraRZ #formal method #parallel #semantics
- A Formal Model for the Parallel Semantics of P3L (AC, ER, AZ), pp. 804–812.
- SAC-2000-ColeZ #coordination #graph #independence #process
- Activity Graphs: A Model-Independent Intermediate Layer for Skeletal Coordination (MC, AZ), pp. 255–261.