0004-5411

Journal of the ACM (JOLACM) - Issue 90 论文列表

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 90
发布时间:
卷期年份: 1976
卷期官网:
本期论文列表
Boundary and Object Detection in Real World Images.

Accelerated Iterative Methods for the Solution of Tridiagonal Systems on Parallel Computers.

Multilevel Queues with Extremal Priorities.

Verifying Program Performance.

Theorem Proving with Lemmas.

Space and Time Hierarchies for Classes of Control Structures and Data Structures.

A Combinatorial Problem Which Is Complete in Polynomial Space.

Enumeration of Fanout-Free Boolean Functions.

Sequencing Jobs with Stochastic Task Structures on a Single Machine.

Size complexity in context-free grammars forms.

Mathematical Techniques for Efficient Record Segmentation in Large Shared Databases.

Open Shop Scheduling to Minimize Finish Time.

The Semantics of Predicate Logic as a Programming Language.