论文列表及评分结果
Behandlung verschiedener INTEGER-Darstellungen durch optimierende Compiler.
电商所评分：3
On the Response Time Distribution in a Discrete Round-Robin Queue.
电商所评分：6
A Characterization of Context-free String Languages by Directed Node-label Controlled Graph Grammars.
电商所评分：3
Another Look at the "Longest Ascending Subsequence" Problem.
电商所评分：5
A Formal Model of Atomicity in Asynchronous Systems.
电商所评分：5
A Principle of Independence for Binary Tree Searching.
电商所评分：9
Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme.
电商所评分：10
A Branch-and-Bound Algorithm to Obtain an Optimal Evaluation Tree for Monotonic Boolean Functions.
电商所评分：3
Boolesche Minimalpolynome und Überdeckungsprobleme.
电商所评分：2
Deriving Graphs from Graphs by Applying a Production.
电商所评分：3
WCS-Analysis of the Context-Sensitive.
电商所评分：9
EOL Systems with Control Devices.
电商所评分：5
Some Average Performance Measures for the B-Tree.
电商所评分：5
Practical LL(1)-Based Parsing of van Wijngaarden Grammars.
电商所评分：3
Deadlock-Freedom in Resource Contentions.
电商所评分：8
A Denotational Semantics for Shared-Memory Parallelism and Nondeterminism.
电商所评分：2
Permuting Data with the Omega Network.
电商所评分：3
The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets.
电商所评分：10
Throughput of a Satellite Channel Communication.
电商所评分：1
Analysis of Tree Algorithms for the Simulation Event List.
电商所评分：2
Thrifty Execution of Task Pipelines.
电商所评分：8
Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements.
电商所评分：5
General Correctness: A Unification of Partial and Total Correctness.
电商所评分：10
Purely Top-Down Updating Algorithms for Stratified Search Trees.
电商所评分：4
Performance Bounds for Binary Testing with Arbitrary Weights.
电商所评分：9
Ramsey Numbers and an Approximation Algorithm for the Vertex Cover Problem.
电商所评分：2
A Practical General Method for Constructing LR(k) Parsers.
电商所评分：3
Speicheroptimale Formelübersetzung.
电商所评分：7
Storage Schemes for Boundedly Extendible Arrays.
电商所评分：5
Monotone Data Flow Analysis Frameworks.
电商所评分：6