- importsource = "00045411-1997-06.TXT"
Se encontraron 4 resultados.
- Artículo:
Distributed Computing: Contention in shared memory algorithms
- Autor:
Dwork
M Herlihy
O. Waarts
- Página:
779
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
44
- Número:
6
- Periodo:
Noviembre 1997
- ISSN:
00045411
- SrcID:
00045411-1997-06.TXT
- Documento número 1670676
- 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:
Exact Analysis of Dodgson Elections: Lewis Carroll´s 1876 voting system is complete for parallel access to NP
- Autor:
J. Rothe
- Página:
806
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
44
- Número:
6
- Periodo:
Noviembre 1997
- ISSN:
00045411
- SrcID:
00045411-1997-06.TXT
- Documento número 1670677
- 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:
Software Reliability via Run-Time Result-Checking
- Autor:
Wasserman
M. Blum
- Página:
826
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
44
- Número:
6
- Periodo:
Noviembre 1997
- ISSN:
00045411
- SrcID:
00045411-1997-06.TXT
- Documento número 1670678
- 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:
Compositional Refinement of Interactive Systems
- Autor:
Broy M
- Página:
850
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
44
- Número:
6
- Periodo:
Noviembre 1997
- ISSN:
00045411
- SrcID:
00045411-1997-06.TXT
- Documento número 1670679
- 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
- 1-4