论文列表及评分结果
Binary Search Trees in Secondary Memory.
电商所评分：7
Approximate Analysis of Exponential Queueing Systems with Blocking.
电商所评分：4
Analysis of a Service Facility with Periodic Checkpointing.
电商所评分：6
Remarks on R. D. Tennent's Language Design Methods Based on Semantic Principles: Algol 68, A Language Designed Using Semantic Principles.
电商所评分：8
On Computing the Transitive Closure of a Relation.
电商所评分：2
On a New Approach to Representation Independent Data Classes.
电商所评分：5
Concurrent Access to Data.
电商所评分：7
Some Comments on "Concurrent Readers and Writers".
电商所评分：10
A Feedback-Coupled Resource Allocation Policy for Multiprogrammed Computer Systems.
电商所评分：10
A Note on the Influence of Program Loading on the Page Fault Rate.
电商所评分：10
The LBA-Problem and the Deterministic Tape Complexity of Two-Way One-Counter Languages over a One-Letter Alphabet.
电商所评分：8
Corrigenda: Transformational Methods and Their Application to Complexity Problems.
电商所评分：2
A Fair Calculus of Communicating Systems.
电商所评分：4
A Set-Theoretic Semantics for Clear.
电商所评分：3
Polyvariant Mixed Computation for Analyzer Programs.
电商所评分：2
The Paging Drum Queue: A Uniform Perspective and Further Results.
电商所评分：9
Space Sweep Solves Intersection of Convex Polyhedra.
电商所评分：2
Finite Complete Rewriting Systems and the Complexity of the Word Problem.
电商所评分：10
Laws of Data Refinement.
电商所评分：6
Predicate-Transformer Semantics of General Recursion.
电商所评分：7
Failures Semantics and Deadlocking of Modular Petri Nets.
电商所评分：5
Modeling Splits in File Structures.
电商所评分：6
On Counting and Approximation.
电商所评分：5
Through the Mincing Machine with a Boolean Layer Cake.
电商所评分：8
The Parsing Problem for Affix Grammars.
电商所评分：1
Proof of Termination within a Weak Logic of Programs.
电商所评分：2
Extended Directed Graphs, a Formalism for Structured Data and Data Structures.
电商所评分：7
Complete Parameterized Families of Job Scheduling Strategies.
电商所评分：8
EOL Forms.
电商所评分：8
Data Refinement by Calculation.
电商所评分：6