Search ACM DL

Search Issue

enter search term and/or author name

**On the Approximate Solution of Free Boundary Problems Using Finite Differences**

C. W. Cryer

Pages: 397-411

DOI: 10.1145/321592.321593

**An Initial-Value Theory for Fredholm Integral Equations With Semidegenerate Kernels**

H. H. Kagiwada, R. Kalaba

Pages: 412-419

DOI: 10.1145/321592.321594

**Nonlinear Interpolation of Multivariable Functions by the Monte Carlo Method**

Takao Tsuda, Kozo Ichida

Pages: 420-425

DOI: 10.1145/321592.321595

**Optimization of Memory Hierarchies in Multiprogrammed Systems**

C. V. Ramamoorthy, K. M. Chandy

Pages: 426-445

DOI: 10.1145/321592.321596

**Nonlinear Regression With Linear Constraints: An Extension of the Magnified Diagonal Method**

Richard I. Shrager

Pages: 446-452

DOI: 10.1145/321592.321597

**Parsing of Graph-Representable Pictures**

Alan C. Shaw

Pages: 453-481

DOI: 10.1145/321592.321598

**The Use of Information in Sorting**

H. Lynn Beus

Pages: 482-495

DOI: 10.1145/321592.321599

**Samplesort: A Sampling Approach to Minimal Storage Tree Sorting**

W. D. Frazer, A. C. McKellar

Pages: 496-507

DOI: 10.1145/321592.321600

**Tree Structures for Optimal Searching**

L. E. Stanfel

Pages: 508-517

DOI: 10.1145/321592.321601

**Controllability of Nonlinear Sequential Networks**

Frederic J. Mowle

Pages: 518-524

DOI: 10.1145/321592.321602

**A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness**

Robert Anderson, W. W. Bledsoe

Pages: 525-534

DOI: 10.1145/321592.321603

**Interpolation Theorems for Resolution in Lower Predicate Calculus**

James R. Slagle

Pages: 535-542

DOI: 10.1145/321592.321604

**Legality and Other Properties of Graph Models of Computations**

J. L. Baer, D. P. Bovet, G. Estrin

Pages: 543-554

DOI: 10.1145/321592.321605

**Formalization of Properties of Functional Programs**

Zohar Manna, Amir Pnueli

Pages: 555-569

DOI: 10.1145/321592.321606