- pub = ("Journal of the Association for Computing Machinery")
- Artículo:
The Benefits of Relaxing Punctuality
- Autor:
R. Alur
T. Feder
T. A. Henzinger
- Página:
116
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
43
- Número:
1
- Periodo:
Enero 1996
- ISSN:
00045411
- SrcID:
00045411-1996-01.TXT
- Documento número 1670629
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- Artículo:
The Asymptotic Complexity of Merging Networks
- Autor:
P. B. Miltersen
M. Paterson
J. Tarui
- Página:
147
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
43
- Número:
1
- Periodo:
Enero 1996
- ISSN:
00045411
- SrcID:
00045411-1996-01.TXT
- Documento número 1670630
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- Artículo:
Automated Proofs of Object Code for a Widely Used Microprocessor
- Autor:
R. S. Boyer
Yu
- Página:
166
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
43
- Número:
1
- Periodo:
Enero 1996
- ISSN:
00045411
- SrcID:
00045411-1996-01.TXT
- Documento número 1670631
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- Artículo:
Knowledge Compilation and Theory Approximation
- Autor:
B. Selman
H. Kautz.
- Página:
193
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
43
- Número:
2
- Periodo:
Marzo 1996
- ISSN:
00045411
- SrcID:
00045411-1996-02.txt
- Documento número 1670632
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- Artículo:
Unreliable Failure Detectors for Reliable Distributed Systems
- Autor:
T.D. Chandra
S. Toueg
- Página:
225
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
43
- Número:
2
- Periodo:
Marzo 1996
- ISSN:
00045411
- SrcID:
00045411-1996-02.txt
- Documento número 1670633
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
