- isn = "00045411"
- Artículo:
Counterexample-guided abstraction refinement for symbolic model checking
- Autor:
E. Clarke
O. Grumberg
S. Jha
Y. Lu
H. Veith
- Página:
752
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
50
- Número:
5
- Periodo:
Septiembre 2003
- ISSN:
00045411
- SrcID:
00045411-2003-05.txt
- Documento número 1670835
- Actualizado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Enlace directo
- Artículo:
Greedy facility location algorithms analyzed using dual fitting with factor-revealing LP
- Autor:
K. Jain
M. Mahdian
E. Markakis
A. Saberi
- Página:
795
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
50
- Número:
6
- Periodo:
Noviembre 2003
- ISSN:
00045411
- SrcID:
00045411-2003-06.txt
- Documento número 1670836
- Actualizado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Enlace directo
- Artículo:
Improving table compression with combinatorial optimization
- Autor:
A. L. Buchsbaum
G. S. Fowler
R. Giancarlo
- Página:
825
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
50
- Número:
6
- Periodo:
Noviembre 2003
- ISSN:
00045411
- SrcID:
00045411-2003-06.txt
- Documento número 1670837
- Actualizado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Enlace directo
- Artículo:
Magic functions AUTT C. Dwork
- Autor:
M. Naor
O. Reingold
L. Stockmeyer
- Página:
852
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
50
- Número:
6
- Periodo:
Noviembre 2003
- ISSN:
00045411
- SrcID:
00045411-2003-06.txt
- Documento número 1670838
- Actualizado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Enlace directo
- Artículo:
Conditions of input vectors for consensus solvability in asynchronous distributed systems
- Autor:
A. Mostefaoui
S. Rajsbaum
M. Raynal
- Página:
922
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
50
- Número:
6
- Periodo:
Noviembre 2003
- ISSN:
00045411
- SrcID:
00045411-2003-06.txt
- Documento número 1670839
- Actualizado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Enlace directo
