论文列表及评分结果
Computing Extremal and Approximate Distances in Graphs Having Unit Cost Edges.
电商所评分：2
Efficient Algorithms for Finding Maximum Matchings in Convex Bipartite Graphs and Related Problems.
电商所评分：5
Regenerative Simulation of Response Times in Networks of Queues: Statistical Efficiency.
电商所评分：5
The Logic of Aliasing.
电商所评分：10
Goto Statements: Semantics and Deduction Systems.
电商所评分：7
A Specification Technique Based on Predicate Transformers.
电商所评分：3
Eliminating Unit Reductions from LR(k) Parsers Using Minimum Contexts.
电商所评分：3
General Purpose Schedulers for Database System.
电商所评分：8
Dispatcher Primitives for the Construction of Operating System Kernels.
电商所评分：9
Interactaive Graphics on Intelligent Terminals in a Time-Sharing Environment.
电商所评分：1
Parallel Algorithms for Adaptive Quadrature II Metalgorithm Correctness.
电商所评分：9
Nearly Optimal Binary Search Trees.
电商所评分：1
Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes.
电商所评分：5
A Closer Look at Termination.
电商所评分：4
A Decidability Criterion for van Wijngaarden Grammars.
电商所评分：3
Substitution of Grammar Forms.
电商所评分：2
A Note on Degrees of Context-Sensitivity.
电商所评分：2
Generalized Deterministic Left To Right Parsing.
电商所评分：4
Computation and Use of Data Flow Information in Optimizing Compilers.
电商所评分：2
Size-Depth Tradeoff in Monotone Boolean Formulae.
电商所评分：9
The Multiple Phase Service Network with Generalized Processor Sharing.
电商所评分：9
A Synthesis of Several Sorting Algorithms.
电商所评分：7
Proving and Applying Program Transformations Expressed with Second-Order Patterns.
电商所评分：8
Remarks on "Some Comments on Concurrent Readers and Writers" by Reidar Conradi.
电商所评分：8
Improved Time and Space Bounds for Boolean Matrix Multiplication.
电商所评分：6
Precedence Relations in Grammar Forms.
电商所评分：4
Hierarchy Theorems for Two-Way Finite State Transducers.
电商所评分：1
Temporal Predicat Transformers and Fair Termination.
电商所评分：4
Partial (Set) 2-Structures. Part I: Basic Notions and the Representation Problem.
电商所评分：8
Partial (Set) 2-Structures. Part II: State Spaces of Concurrent Systems.
电商所评分：6