Volume 21; Issue 1

Journal of the ACM

Volume 21; Issue 1
1

An Implementation of the Model Elimination Proof Procedure

Year:
1974
Language:
english
File:
PDF, 1.04 MB
english, 1974
2

The String-to-String Correction Problem

Year:
1974
Language:
english
File:
PDF, 584 KB
english, 1974
4

Some Topics in Code Optimization

Year:
1974
Language:
english
File:
PDF, 1.78 MB
english, 1974
5

Processing Times for Segmented Jobs with I/O Compute Overlap

Year:
1974
Language:
english
File:
PDF, 623 KB
english, 1974
6

Finding Optimal Demand Paging Algorithms

Year:
1974
Language:
english
File:
PDF, 829 KB
english, 1974
7

Scheduling for Minimum Total Loss Using Service Time Distributions

Year:
1974
Language:
english
File:
PDF, 715 KB
english, 1974
8

Simulating Stable Stochastic Systems, I: General Multiserver Queues

Year:
1974
Language:
english
File:
PDF, 643 KB
english, 1974
9

Simulating Stable Stochastic Systems, II: Markov Chains

Year:
1974
Language:
english
File:
PDF, 546 KB
english, 1974
10

On the Number of Multiplications for the Evaluation of a Polynomial and Some of Its Derivatives

Year:
1974
Language:
english
File:
PDF, 411 KB
english, 1974
11

Some Aspects of Hierarchical Memory Systems

Year:
1974
Language:
english
File:
PDF, 690 KB
english, 1974
13

A Theorem in the Theory of Compromise Merge Methods

Year:
1974
Language:
english
File:
PDF, 212 KB
english, 1974
14

Some Distribution-Free Aspects of Paging Algorithm Performance

Year:
1974
Language:
english
File:
PDF, 469 KB
english, 1974