0004-5411

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

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 127
发布时间:
卷期年份: 1986
卷期官网:
本期论文列表
A chaotic asynchronous algorithm for computing the fixed point of a nonnegative matrix of unit spectral radius.

An application of number theory to the organization of raster-graphics memory.

Special relations in automated deduction.

"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic.

Bound hierarchies for multiple-class queuing networks.

Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness.

Notions of dependency satisfaction.

A matrix-algebraic solution to two K

Routing through a rectangle.