论文列表及评分结果
Verifying automata specification of distributed probabilistic real-time systems.
电商所评分：6
Program construction by verifying specification.
电商所评分：8
Experimental study on strategy of combining SAT algorithms.
电商所评分：10
ρ Graph: Rendezvous ordering graph for Ada concurrent programs.
电商所评分：8
An analytical delay model.
电商所评分：6
On dependability of computing systems.
电商所评分：6
A syntactic proof of the conservativity of λω over λ2.
电商所评分：2
Phase semantics for a pure noncommutative linear propositional logic.
电商所评分：2
Characterizations and algorithms of extensions for CADL and QDL.
电商所评分：2
Deciding quasi-reducibility using witnessed test sets.
电商所评分：5
An efficient parallel graph edge matching algorithm and its applications.
电商所评分：8
A general scheme for formalizing defaults using the predicate ab(I, S).
电商所评分：4
Universal abstract consistency class and universal refutation.
电商所评分：4
Decidability of mean value calculus.
电商所评分：8
The twisted-cube connected networks.
电商所评分：10
Multimedia data modeling based on temporal logic and XYZ System.
电商所评分：2
A topological implementation for motion planning of a robotic arm.
电商所评分：2
Segment based camera calibration.
电商所评分：4
3D Motion estimation and motion fusion by affine region matching.
电商所评分：4
An introduction to INCAPS system.
电商所评分：8
SCKE: Combining logic- with object-oriented paradigm.
电商所评分：8
Loop staggering, loop compacting: Restructuring techniques for thrashing problem.
电商所评分：5
A new integrated system of logic programming and relational database.
电商所评分：8
A VLSI algorithm for calculating the tree to tree distance.
电商所评分：6
Analyzing the reliability of degradable networks.
电商所评分：7
DLJ: A dynamic line-justification algorithm for test generation.
电商所评分：4
A survey of the rule language RL/1.
电商所评分：1
A lock-based cache coherence protocol for scope consistency.
电商所评分：2
A framework of memory consistency models.
电商所评分：7
Out-of-order execution in sequentially consistent shared-memory systems: Theory and experiments.
电商所评分：9