Tamar Eilam, Michele Flammini, Shmuel Zaks: A Complete Characterization of the Path Layout Construction Problem for ATM Networks with Given Hop Count and Load.
207-220
Adele A. Rescigno, Ugo Vaccaro: Highly Fault-Tolerant Routing in the Star and Hypercube Interconnection Networks.
221-230
Paraskevas Evripidou, Robert Barry: Mapping Fortran Programs to Single Assignment Semantics for Efficient Parallelization.
407-418
Volume 8, Number 4, December 1998
Michel Charpentier, Gérard Padiou: Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol.
421-432
Michel Charpentier, Gérard Padiou: Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof.
433-445
Sergei Gorlatch, Holger Bischof: A Generic MPI Implementation for a Data-Parallel Skeleton: Formal Derivation and Application to FFT.
447-458