Volume 29; Issue 2

Journal of the ACM

Volume 29; Issue 2
1

A Generalization of Ogden's Lemma

Bader, Christopher, Moura, Arnaldo
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 206 KB
english, 1982
2

Upper Bounds for Speedup in Parallel Parsing

Cohen, Jacques, Hickey, Timothy, Katcoff, Joel
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 891 KB
english, 1982
5

On the Decidability of Grammar Problems

Hunt, H. B.
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 952 KB
english, 1982
6

Determination of the conditional response for quantum allocation algorithms

Brown, Theodore
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 624 KB
english, 1982
7

The Performance of Job Classes with Distinct Policy Functions

Ruschitzka, Manfred
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 597 KB
english, 1982
8

Axiomatic Definitions of Programming Languages: A Theoretical Assessment

Meyer, Albert R., Halpern, Joseph Y.
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 1.13 MB
english, 1982
9

A Complete Axiomatization of Full Join Dependencies

Sciore, Edward
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 1.03 MB
english, 1982
10

A Finite-Source Queue with Different Customers

Kameda, Hisao
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 635 KB
english, 1982
11

On Database Logic

Jacobs, Barry E.
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 871 KB
english, 1982
12

On the Equivalence of Database Models

Lien, Y. Edmund
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 1.60 MB
english, 1982
13

Useless Actions Make a Difference: Strict Serializability of Database Updates

Sethi, Ravi
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 491 KB
english, 1982
14

Maximum Processing Rates of Memory Bound Systems

Bryant, R. M.
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 812 KB
english, 1982
15

An Approach to Program Behavior Modeling and Optimal Memory Control

Tzelnic, Percy, Gertner, Izidor
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 1.31 MB
english, 1982
16

The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions

Arbib, Michael A., Manes, Ernest G.
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 1.24 MB
english, 1982
17

Dynamic Scaling and Growth Behavior of Queuing Network Normalization Constants

Lam, Simon S.
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 964 KB
english, 1982
18

The complexity of restricted spanning tree problems

Papadimitriou, Christos H., Yannakakis, Mihalis
Journal:
Journal of the ACM
Year:
1982
Language:
english
File:
PDF, 1.30 MB
english, 1982