Volume 40; Issue 2

Journal of the ACM

Volume 40; Issue 2
1

Recontamination does not help to search a graph

LaPaugh, Andrea S.
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 1.41 MB
english, 1993
2

The cost of conservative synchronization in parallel discrete event simulations

Nicol, David M.
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 2.02 MB
english, 1993
3

Efficient decision procedures for graph properties on context-free graph languages

Lengauer, Thomas, Wanke, Egon
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 1.55 MB
english, 1993
4

Simulating synchronized clocks and common knowledge in distributed systems

Neiger, Gil, Toueg, Sam
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 2.42 MB
english, 1993
5

An execution/sleep scheduling policy for serving an additional job in priority queueing systems

Leung, Kin K.
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 1.34 MB
english, 1993
6

On the complexity of functions for random access machines

Bshouty, Nader H.
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 628 KB
english, 1993
7

Automatic recognition of tractability in inference relations

McAllester, David A.
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 1.34 MB
english, 1993
8

Taxonomic syntax for first order inference

McAllester, David, Givan, Robert
Journal:
Journal of the ACM
Year:
1993
Language:
english
File:
PDF, 2.76 MB
english, 1993