REVISTA

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS

ISSN: 1045-9219 Frecuencia: 6 Formato: Impresa

Tablas de contenido

8 artículos asociados

Volumen 10 Número 7 Parte 0 Año 1999

Algorithms - Hypergraph-Partitioning-Based Decomposition for Parallel Sparse-Matrix Vector Multiplication	Solicitud
Çatalyürek, Ü V; Aykanat, C
Pág. 673 - 693

Fault Tolerance - Staggered Consistent Checkpointing	Solicitud
Vaidya, N H
Pág. 694 - 702

Fault Tolerance - Quasi-Synchronous Checkpointing: Models, Characterization, and Classification	Solicitud
Manivannan, D; Singhal, M
Pág. 703 - 713

Formal Verification - Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries	Solicitud
Jørgensen, J B; Kristensen, L M
Pág. 714 - 732

Networks - Work-Efficient Routing Algorithms for Rearrangeable Symmetrical Networks	Solicitud
Çam, H; Fortes, J A B
Pág. 733 - 741

Shared Memory - PSCR: A Coherence Protocol for Eliminating Passive Sharing in Shared-Bus Shared-Memory Multiprocessors	Solicitud
Giorgi, R; Prete, C A
Pág. 742 - 763

SHORT PAPERS - On the Sizes of extended Fibonacci Cubes	Solicitud
Scarano, V
Pág. 764 - 766

ERRATUM - Correction to "Periodically Regular Chordal Rings"	Solicitud

Pág. 767 - 767