- isn = "01640925"
- Artículo:
Optimizing indirect branch prediction accuracy in virtual machine interpreters.
- Autor:
Kevin Casey
M. Anton Ertl
David Gregg:
- Página:
37
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
29
- Número:
6
- Periodo:
Noviembre 2007
- ISSN:
01640925
- SrcID:
01640925-2007-06.txt
- Documento número 763310
- Actualizado el martes, 10 de julio de 2018 10:40:24 a. m.
- Creado el martes, 10 de julio de 2018 10:40:24 a. m.
- Enlace directo
- Artículo:
An improved bound for call strings based interprocedural analysis of bit vector frameworks.
- Autor:
Bageshri Karkare
Uday P. Khedker:
- Página:
38
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
29
- Número:
6
- Periodo:
Noviembre 2007
- ISSN:
01640925
- SrcID:
01640925-2007-06.txt
- Documento número 763311
- Actualizado el martes, 10 de julio de 2018 10:40:24 a. m.
- Creado el martes, 10 de julio de 2018 10:40:24 a. m.
- Enlace directo
- Artículo:
Goal-directed weakening of abstract interpretation results.
- Autor:
Sunae Seo
Hongseok Yang
Kwangkeun Yi
Taisook Han:
- Página:
39
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
29
- Número:
6
- Periodo:
Noviembre 2007
- ISSN:
01640925
- SrcID:
01640925-2007-06.txt
- Documento número 763312
- Actualizado el martes, 10 de julio de 2018 10:40:24 a. m.
- Creado el martes, 10 de julio de 2018 10:40:24 a. m.
- Enlace directo
- Artículo:
Symbolic bounds analysis of pointers, array indices, and accessed memory regions
- Autor:
R. Rugina
M. C. Rinard
- Página:
185
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
27
- Número:
2
- Periodo:
Marzo 2005
- ISSN:
01640925
- SrcID:
01640925-2005-02.txt
- Documento número 892422
- Actualizado el martes, 10 de julio de 2018 10:55:34 a. m.
- Creado el martes, 10 de julio de 2018 10:55:34 a. m.
- Enlace directo
- Artículo:
Dealing with incomplete knowledge on CLP (FD) Variable domains
- Autor:
M.Gavanelli
E. Lamma
P. Mello
M. Milano
- Página:
236
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
27
- Número:
2
- Periodo:
Marzo 2005
- ISSN:
01640925
- SrcID:
01640925-2005-02.txt
- Documento número 892423
- Actualizado el martes, 10 de julio de 2018 10:55:34 a. m.
- Creado el martes, 10 de julio de 2018 10:55:34 a. m.
- Enlace directo
