Catálogo de revistas impresas de la biblioteca

Se encontraron 491 resultados.

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

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

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

Artículo:

Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences

Autor:

S. Verdoolaege

G. Janssens

M. Bruynooghe

Página:

Article 11

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

Número:

Periodo:

Octubre 2012

ISSN:

01640925

SrcID:

01640925-2012-03.txt

Artículo:

Essential AOP: The A Calculus