REVISTA
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS

Inicio / IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS / Vol: 11 Núm: 9 Par: 0 (2000) / Artículo

ARTÍCULO

TITULO

Theory - Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models

Pong

F

Dubois

M

Resumen

No disponible

PÁGINAS

pp. 989 - 989

NÚMERO

Volumen: 11 Número: 9 Parte: 0 (2000)

MATERIAS

INGENIERÍA Y CONSTRUCCIÓN CIVIL

Revistas destacadas

Acceso directo a los números publicados en la revista Infrastructures

Infrastructures

Acceso directo a los números publicados en la revista Informed Infraestructure

Informed Infraestructure

Acceso directo a los números publicados en la revista BiT

BiT

Acceso directo a los números publicados en la revista Revista de la Construcción

Revista de la Construcción

Ver todas las revistas