- importsource = "01640925-2012-01.txt"
Se encontraron 12 resultados.
- Artículo:
SCALAEXTRAP: Trace-Based Communication Extrapolation for SPMD Programs
- Autor:
X. Wu, F. Mueller
- Página:
Article 5
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
34
- Número:
1
- Periodo:
Abril 2012
- ISSN:
01640925
- SrcID:
01640925-2012-01.txt
- Documento número 892606
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
- Artículo:
Algorithmic Verification of Asynchronous Programs
- Autor:
P. Ganty, R. Majumdar
- Página:
Article 6
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
34
- Número:
1
- Periodo:
Abril 2012
- ISSN:
01640925
- SrcID:
01640925-2012-01.txt
- Documento número 892607
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
