论文列表及评分结果
On Efficient Implementation of an Approximation Algorithm for the Steiner Tree Problem.
电商所评分：6
Simulation Output Analysis for Local Area Computer Networks.
电商所评分：10
Randomized and Deterministic Simulations of PRAMs by Parallel Machines with Restricted Granularity of Parallel Memories.
电商所评分：3
Speeding up Circularity Tests for Attribute Grammars.
电商所评分：4
On Real-Time Cellular Automata and Trellis Automata.
电商所评分：1
A Performance Guarantee for the Greedy Set-Partitioning Algorithm.
电商所评分：3
Revised Report on the Algorithmic Language ALGOL 68.
电商所评分：10
An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem.
电商所评分：3
Step Failures Semantics and a Complete Proof System.
电商所评分：4
Some Efficient Computational Algorithms Related to Phase Models.
电商所评分：2
HDTOL Matching of Computations of Multitape Automata.
电商所评分：5
A New Approach to Parallel Computing.
电商所评分：9
The Synchronization of Independent Processes.
电商所评分：10
Probabilistic Models of Computer Systems - Part I (Exact Results).
电商所评分：2
LR-Parsing of Extended Context Free Grammars.
电商所评分：10
Grammarforms and Grammarhomomorphisms.
电商所评分：5
The Network Complexity and the Turing Machine Complexity of Finite Functions.
电商所评分：4
Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness.
电商所评分：5
The Implementation of Retention in a Coroutine Environment.
电商所评分：2
An Operational Semantics for Specifications of Abstract Data Types with Error Handling.
电商所评分：4
Computation Sequences: A Way to Characterize Classes of Attribute Grammars.
电商所评分：6
Efficiency of Universal Parallel Computers.
电商所评分：5
On the Number of Relational Operators Necessary to Compute Certain Functions of Real Variables.
电商所评分：7
Incremental LR Parers.
电商所评分：10
Two-Level Meta-Controlled Substitution Grammars.
电商所评分：8
The Semigroups of Linearly Realizable Finite Automata I.
电商所评分：2
The Semigroups of Linearly Realizable Finite Automata II.
电商所评分：2
A Priority Queue With Interruptions of Service Permitted After a Time Quantum.
电商所评分：6
Short Proofs for Tricky Formulas.
电商所评分：3
Decidable Properties of Monadic Recursive Schemas With a Depth Parameter.
电商所评分：8