421 | -- | 432 | Michel Charpentier, Gérard Padiou. Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol |
433 | -- | 445 | Michel Charpentier, Gérard Padiou. Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof |
447 | -- | 458 | Sergei Gorlatch, Holger Bischof. A Generic MPI Implementation for a Data-Parallel Skeleton: Formal Derivation and Application to FFT |
459 | -- | 471 | Teodor Rus, Eric {Van Wyk}. Using Model Checking in a Parallelizing Compiler |
473 | -- | 488 | Beverly A. Sanders, Berna L. Massingill, Svetlana Kryukova. Derivation of an Algorithm for Location Management for Mobile Communication Devices |
489 | -- | 501 | Andy Marsh. A Novel Algorithm and Its Hardware Support for the Run-Time Detection of And-Parallelism |
503 | -- | 513 | Mounir Hamdi, Chunming Qiao, Yi Pan. On the Computing Power of Arrays of Processors with Optical Pipelined Buses |
515 | -- | 526 | Thierry Lecroq, Jean Frédéric Myoupo, David Semé. A One-Phase Parallel Algorithm for the Sequence Alignment Problem |
527 | -- | 533 | Luca Trevisan, Fatos Xhafa. The Parallel Complexity of Positive Linear Programming |
535 | -- | 545 | Andy Marsh, Dimitra I. Kaklamani, Konstantinos Adam. Using Parallel Processing as a Computational Tool to Solve Multi-Plate Electromagnetic Scattering Problems |
547 | -- | 0 | John A. Ellis. Addendum to Embedding Grids into Grids: Dilation Four Suffices |
549 | -- | 560 | Francesc Comellas, G. Gimenez. Genetic Programming to Design Communication Algorithms for Parallel Architectures |
561 | -- | 566 | Micha Hofri, David L. Thomson. Matrix Transposition on a Mesh with Blocking Transmissions |
567 | -- | 575 | Arthur M. Farley. Optimally Routable Networks |
577 | -- | 588 | Jong Hyuk Choi, Kyu Ho Park. Segment Directory: An Improvement ot the Pointer in Directory Cache Coherence Schemes |
589 | -- | 598 | Vicent Cholvi. Specification of the Behavior of Memory Operations in Distributed Systems |