论文列表及评分结果
Proving Properties of Pascal Programs in MIZAR 2.
电商所评分：9
Probabilistic Bounds for Dual Bin-Packing.
电商所评分：2
Multitype Multiprogramming Models.
电商所评分：9
The Behaviour of a Single-Queue in a General Queueing Network.
电商所评分：2
Validation of a Computer Performance Model of the Exponential Queuing Network Family.
电商所评分：3
An Endogenous Priority Model for Load Control in Combined Batch-Interactive Computer Systems.
电商所评分：8
Fundamental Operational Laws of Computer System Performance.
电商所评分：8
A Study of Queueing Networks with Deterministic Service and Application to Computer Networks.
电商所评分：9
Optimal Multiprogramming.
电商所评分：8
Multi-Queue Scheduling of Two Tasks.
电商所评分：2
On the Self Contained Modelling of DB/DC Systems.
电商所评分：5
Relational Heuristics for the Design of Deterministic Programs.
电商所评分：10
Branching Processes in the Analysis of the Heights of Trees.
电商所评分：6
One-Pass Transformations of Attributed Program Trees.
电商所评分：7
A Linear Space Algorithm for the LCS Problem.
电商所评分：6
Generalized Recursive Data Structures.
电商所评分：10
COSY - A System Specification Language Based on Paths and Processes.
电商所评分：2
Regenerative Simulation of Response Times in Networks of Queues with Multiple Job Types.
电商所评分：7
On Languages Accepted by Space-Bounded Oracle Machines.
电商所评分：10
Optimum Decision Trees - An Optimal Variable Theorem and its Related Applications.
电商所评分：7
Truly Prefix-Correct Chain-Free LR (1) Parsers.
电商所评分：8
On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types.
电商所评分：5
The Family of One-Counter Languages is Closed Under Quotient.
电商所评分：10
Fooling a Two-Way Nondeterministic Multihead Automaton with Reversal Number Restriction.
电商所评分：7
Equivalence of the Gries and Martin Proof Rules for Procedure Calls.
电商所评分：4
Precedence Technique is not Worse than SLR(1).
电商所评分：9
A Comparison of Storage Optimizations in Automatically-Generated Attribute Evaluators.
电商所评分：2
The Merlin-Randell Problem of Train Journeys.
电商所评分：1
A Single Server Queue with Mixed Types of Interruptions.
电商所评分：2
A Simple Fixpoint Argument Without the Restriction to Continuity.
电商所评分：3