- isn = "00045411"
- Artículo:
Invited Articles Foreword
- Autor:
Victor Vianu
- Página:
22
- Publicación:
Journal of the ACM
- Volúmen:
58
- Número:
5
- Periodo:
Octubre 2011
- ISSN:
00045411
- SrcID:
00045411-2011-05.txt
- Documento número 1145665
- Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
- Creado el martes, 10 de julio de 2018 11:26:08 a. m.
- Enlace directo
- Artículo:
Deterministic Distributed Vertex Coloring in Polylogarithmic Time
- Autor:
Leonid Barenboim
Michael Elkin
- Resumen:
Consider an n-vertex graph G = (V, E) of maximum degree ?, and suppose that each vertex v ? V hosts a processor. The processors are allowed to communicate only with their neighbors in G. ... expand
- Página:
23
- Publicación:
Journal of the ACM
- Volúmen:
58
- Número:
5
- Periodo:
Octubre 2011
- ISSN:
00045411
- SrcID:
00045411-2011-05.txt
- Documento número 1145666
- Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
- Creado el martes, 10 de julio de 2018 11:26:08 a. m.
- Enlace directo
- Artículo:
Complete Fairness in Secure Two-Party Computation
- Autor:
S. Dov Gordon
- Resumen:
In the setting of secure two-party computation, two mutually distrusting parties wish to compute some function of their inputs while preserving, to the extent possible, various security properties such as privacy, correctness, and more
- Página:
24
- Publicación:
Journal of the ACM
- Volúmen:
58
- Número:
6
- Periodo:
Diciembre 2011
- ISSN:
00045411
- SrcID:
00045411-2011-06.txt
- Documento número 1145667
- Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
- Creado el martes, 10 de julio de 2018 11:26:08 a. m.
- Enlace directo
- Artículo:
Truthful and Near-Optimal Mechanism Design via Linear Programming
- Autor:
Ron Lavi
- Resumen:
We give a general technique to obtain approximation mechanisms that are truthful in expectation. We show that for packing domains, any ?-approximation algorithm that also bounds the integrality gap of the LP relaxation
- Página:
25
- Publicación:
Journal of the ACM
- Volúmen:
58
- Número:
6
- Periodo:
Diciembre 2011
- ISSN:
00045411
- SrcID:
00045411-2011-06.txt
- Documento número 1145668
- Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
- Creado el martes, 10 de julio de 2018 11:26:08 a. m.
- Enlace directo
- Artículo:
Compositional Shape Analysis by Means of Bi-Abduction
- Autor:
Cristiano Calcagno
- Resumen:
The accurate and efficient treatment of mutable data structures is one of the outstanding problem areas in automatic program verification and analysis. Shape analysis is a form of program analysis that attempts to infer descriptions
- Página:
26
- Publicación:
Journal of the ACM
- Volúmen:
58
- Número:
6
- Periodo:
Diciembre 2011
- ISSN:
00045411
- SrcID:
00045411-2011-06.txt
- Documento número 1145669
- Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
- Creado el martes, 10 de julio de 2018 11:26:08 a. m.
- Enlace directo
