Volume 27; Issue 2

Journal of the ACM

Volume 27; Issue 2
1

Mean-Value Analysis of Closed Multichain Queuing Networks

Reiser, M., Lavenberg, S. S.
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 542 KB
english, 1980
2

An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic

Sagiv, Yehoshua
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 871 KB
english, 1980
3

GO Is Polynomial-Space Hard

Lichtenstein, David, Sipser, Michael
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 401 KB
english, 1980
4

Reaching Agreement in the Presence of Faults

Pease, M., Shostak, R., Lamport, L.
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 509 KB
english, 1980
5

Can Any Stationary Iteration Using Linear Information Be Globally Convergent?

Wasilkowski, G. W.
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 396 KB
english, 1980
6

Testing Deadlock-Freedom of Computer Systems

Kameda, Tiko
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 714 KB
english, 1980
7

New Algorithms for Bin Packing

Yao, Andrew Chi-Chih
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 1.11 MB
english, 1980
8

The Cycle Time Distribution of Exponential Cyclic Queues

Chow, We-Min
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 284 KB
english, 1980
9

On the Correctness of Semantic-Syntax-Directed Translations

Krishnaswamy, Ramachandran, Pyster, Arthur B.
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 1.00 MB
english, 1980
10

A Syntactic Theory of Message Passing

Ward, Stephen A., Halstead, Robert H.
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 1.29 MB
english, 1980
11

Lower Bounds on Information Transfer in Distributed Computations

Abelson, Harold
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 518 KB
english, 1980
12

Fast Decision Procedures Based on Congruence Closure

Nelson, Greg, Oppen, Derek C.
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 552 KB
english, 1980
13

Equality and Domain Closure in First-Order Databases

Reiter, Raymond
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 980 KB
english, 1980
14

A New Algorithm for Preemptive Scheduling of Trees

Gonzalez, Teofilo F., Johnson, Donald B.
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 1.51 MB
english, 1980
15

Queuing Network Models with State-Dependent Routing

Towsley, Don
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 762 KB
english, 1980
16

Corrigendum: `` Control System Model for Critically Timed Success''

Parchmann, Rainer
Journal:
Journal of the ACM
Year:
1980
Language:
english
File:
PDF, 39 KB
english, 1980