Journals in DBLP

Parallel Processing Letters
1998, volume: 8, number: 4

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