0004-5411

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

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 115
发布时间:
卷期年份: 1983
卷期官网:
本期论文列表
Polynomial-Time Aggregation of Integer Programming Problems

The Time for a Round Trip in a Cycle of Exponential Queues

Search Algorithms Under Different Kinds of Heuristics-A Comparative Study

Solving Linear Algebraic Equations on an MIMD Computer

Formulations and Algorithms for the Capacitated Minimal Directed Tree Problem

The Expressiveness of Simple and Second-Order Type Structures

Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs

A Note on "A Note on Multiple Error Detection in ASCII Numeric Data Communication"

Bidirectional Heuristic Search Again

Implicit Data Structures for the Dictionary Problem

Locking Primitives in a Database System

Locking Expressions for Increased Database Concurrency

Formal Justification of a Proof System for Communicating Sequential Processes

A Supernormal-Form Theorem for Context-Free Grammars

Vector Execution of Flow Graphs