Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 47; Issue 2

Journal of the ACM

Volume 47; Issue 2
1

An automata-theoretic approach to branching-time model checking

Kupferman, Orna, Vardi, Moshe Y., Wolper, Pierre
Journal:
Journal of the ACM
Année:
2000
Langue:
english
Fichier:
PDF, 371 KB
english, 2000
2

Eavesdropping games: a graph-theoretic approach to privacy in distributed systems

Franklin, Matthew, Galil, Zvi, Yung, Moti
Journal:
Journal of the ACM
Année:
2000
Langue:
english
Fichier:
PDF, 170 KB
english, 2000
3

The fault span of crash failures

Varghese, George, Jayaram, Mahesh
Journal:
Journal of the ACM
Année:
2000
Langue:
english
Fichier:
PDF, 390 KB
english, 2000
4

An O(log(n)4/3) space algorithm for (s, t) connectivity in undirected graphs

Armoni, Roy, Ta-Shma, Amnon, Widgerson, Avi, Zhou, Shiyu
Journal:
Journal of the ACM
Année:
2000
Langue:
english
Fichier:
PDF, 164 KB
english, 2000
5

Making abstract interpretations complete

Giacobazzi, Roberto, Ranzato, Francesco, Scozzari, Francesca
Journal:
Journal of the ACM
Année:
2000
Langue:
english
Fichier:
PDF, 435 KB
english, 2000