论文列表及评分结果
Dynamic Multi-Dimensional Data Structures Based on Quad- and K - D Trees.
电商所评分：2
On Parsing Arithmetic Expressions in a Multiprocessing Environment.
电商所评分：8
Performance Considerations in the Parallel Execution of Numerical Algorithms on two Processors.
电商所评分：6
Recognition and Selection of Idioms for Code Optimization.
电商所评分：4
On Some Decidable Properties of Finite State Translations.
电商所评分：2
Lower Bounds for Sorting on Mesh-Connected Architectures.
电商所评分：9
Losslessness and Project-Join Constructibility in Relational Databases.
电商所评分：8
Redundant Proofs of Non-Interference in Levin-Gries CSP Program Proofs.
电商所评分：4
The Undecidability of the Unification and Matching Problem for Canonical Theories.
电商所评分：4
An Analysis of a Contention Resolution Algorithm: Another Approach.
电商所评分：7
SLR(1) and LALR(1) Parsing for Unrestricted Grammars.
电商所评分：2
Extensional Equivalences for Transition Systems.
电商所评分：8
Deterministic Buffer Synchronization of Sequential Processes.
电商所评分：6
Further Analysis of Code Generation for a Single Register Machine.
电商所评分：3
Verification of Programs with Procedure-Type Parameter.
电商所评分：6
A Longest Common Subsequence Algorithm Suitable for Similar Text Strings.
电商所评分：2
Deriving very Efficient Algorithms for Evaluating Linear Recurrence Relations Using the Program Transformation Technique.
电商所评分：3
Lower Bounds for On-Line Two-Dimensional Packing Algorithms.
电商所评分：7
Some Extended Semaphore Primitives.
电商所评分：8
Locations Considered Unnecessary.
电商所评分：5
LAR: A Logic of Algorithmic Reasoning.
电商所评分：3
General Properties of Derivational Complexity.
电商所评分：8
Iterated Deterministic Substitution.
电商所评分：2
Interpretation and Reduction of Attribute Grammars.
电商所评分：7
The Construction of Operator Interfaces Based on Logical Input Devices.
电商所评分：5
Transposition of Large Tabular Data Structures with Applications to Physical Database Organization.
电商所评分：6
New Lower Bounds on the Formula Size of Boolean Functions.
电商所评分：6
Problematic Features of Programming Languages: A Situational-Calculus Approach.
电商所评分：9
A Characterization of Attribute Evaluation in Passes.
电商所评分：7
Black-White Pebbles and Graph Separation.
电商所评分：9