- isn = "01640925"
- Artículo:
A Data-Centric Approach to Synchronization
- Autor:
J. Dolby, C. Hammer, D. Marino, F. Tip, M. Vaziri, J. Vitek
- Página:
Article 4
- 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 892605
- 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:
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
- Artículo:
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
- Autor:
E. Bodden, P. Lam, L. Hendren
- Página:
Article 7
- Publicación:
ACM Transactions on Programming and Systems
- Volúmen:
34
- Número:
2
- Periodo:
Junio 2012
- ISSN:
01640925
- SrcID:
01640925-2012-02.txt
- Documento número 892608
- 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:
Structured Communication-Centered Programming for Web Services
- Autor:
M. Carbone, K. Honda, N. Yoshida
- Página:
Article 8
- Publicación:
ACM Transactions on Programming and Systems
- Volúmen:
34
- Número:
2
- Periodo:
Junio 2012
- ISSN:
01640925
- SrcID:
01640925-2012-02.txt
- Documento número 892609
- 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
