- importsource = "00045411-2012-01.txt"
- Artículo:
Probabilistic ?-automata
- Autor:
Christel Baier
Marcus Grösser
Nathalie Bertrand
- Resumen:
Probabilistic ?-automata are variants of nondeterministic automata over infinite words where all choices are resolved by probabilistic distributions. Acceptance of a run for an infinite input word can be defined using traditional acceptance criteria ...
- Publicación:
Journal of the ACM
- Volúmen:
59
- Número:
1
- Periodo:
febrero 2012
- ISSN:
00045411
- SrcID:
00045411-2012-01.txt
- Documento número 253054
- Actualizado el martes, 23 de mayo de 2017 03:53:21 p. m.
- Creado el martes, 23 de mayo de 2017 03:53:21 p. m.
- Enlace directo
- Artículo:
Polylogarithmic concurrent data structures from monotone circuits
- Autor:
James Aspnes
Hagit Attiya
Keren Censor-Hillel
- Resumen:
This article presents constructions of useful concurrent data structures, including max registers and counters, with step complexity that is sublinear in the number of processes, n. This result avoids a well-known lower bound by having step complexity ...
- Publicación:
Journal of the ACM
- Volúmen:
59
- Número:
1
- Periodo:
febrero 2012
- ISSN:
00045411
- SrcID:
00045411-2012-01.txt
- Documento número 253055
- Actualizado el martes, 23 de mayo de 2017 03:53:21 p. m.
- Creado el martes, 23 de mayo de 2017 03:53:21 p. m.
- Enlace directo
- Artículo:
New combinatorial topology bounds for renaming: The upper bound
- Autor:
Armando Castañeda
Sergio Rajsbaum
- Resumen:
In the renaming task, n+1 processes start with unique input names from a large space and must choose unique output names taken from a smaller name space, 0,1,…, K. To rule out trivial solutions, a protocol must be anonymous: ...
- Publicación:
Journal of the ACM
- Volúmen:
59
- Número:
1
- Periodo:
febrero 2012
- ISSN:
00045411
- SrcID:
00045411-2012-01.txt
- Documento número 253056
- Actualizado el martes, 23 de mayo de 2017 03:53:21 p. m.
- Creado el martes, 23 de mayo de 2017 03:53:21 p. m.
- Enlace directo
- Artículo:
Highly acyclic groups, hypergraph covers, and the guarded fragment
- Autor:
Martin Otto
- Resumen:
We construct finite groups whose Cayley graphs have large girth even with respect to a discounted distance measure that contracts arbitrarily long sequences of edges from the same color class (subgroup), and only counts transitions between color classes ...
- Publicación:
Journal of the ACM
- Volúmen:
59
- Número:
1
- Periodo:
febrero 2012
- ISSN:
00045411
- SrcID:
00045411-2012-01.txt
- Documento número 253057
- Actualizado el martes, 23 de mayo de 2017 03:53:21 p. m.
- Creado el martes, 23 de mayo de 2017 03:53:21 p. m.
- Enlace directo
- Artículo:
Probabilistic ?-automata
- Autor:
Christel Baier
Marcus Grösser
Nathalie Bertrand
- Resumen:
Probabilistic ?-automata are variants of nondeterministic automata over infinite words where all choices are resolved by probabilistic distributions. Acceptance of a run for an infinite input word can be defined using traditional acceptance criteria ...
- Publicación:
Journal of the ACM
- Volúmen:
59
- Número:
1
- Periodo:
febrero 2012
- ISSN:
00045411
- SrcID:
00045411-2012-01.txt
- Documento número 1145673
- 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
- 1-5
- 6-8