论文列表及评分结果
SATEXPERT: A knowledge-based system for spacecraft control.
电商所评分:9
Parallel computing.
电商所评分:8
Loosely-coupled processes.
电商所评分:4
A high-speed memory organization for hybrid dataflow / von Neumann computing.
电商所评分:4
Parallel associative combinator evaluation II.
电商所评分:7
The function processor: A data-driven processor array for irregular computations.
电商所评分:2
A configuration approach to parallel programming.
电商所评分:9
Mapping uniform recurrences onto small size arrays.
电商所评分:8
Control structures for data-parallel SIMD languages: semantics and implementation.
电商所评分:4
FORK: A high-level language for PRAMs.
电商所评分:3
Towards a single model of efficient computation in real parallel machines.
电商所评分:3
Structural operational semantics for AKL.
电商所评分:6
Invariants and paradigms of concurrency theory.
电商所评分:2
Guest editorial: Fifth generation computer systems: Success or failure?
电商所评分:10
An overview and appraisal of the Fifth Generation Computer System project.
电商所评分:3
The Japanese national Fifth Generation project: Introduction, survey, and evaluation.
电商所评分:3
Evaluation of KL1 and the inference machine.
电商所评分:7
Appraisal of parallel processing research at ICOT.
电商所评分:5
Evaluation of ICOT's natural language research.
电商所评分:6
Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers.
电商所评分:1
An evaluation of the FGCS data & knowledge base system - expectations and achievements.
电商所评分:9
An adaptive granularity control algorithm for the parallel execution of functional programs.
电商所评分:1
Experience with a clustered parallel reduction machine.
电商所评分:8
A parlog based real-time distributed logic environment.
电商所评分:6
A data cache for Prolog architectures.
电商所评分:6
The M2 hierarchical multiprocessor.
电商所评分:1
A logical-time-based approach to decentralised resource allocation in distributed systems.
电商所评分:7
Exploiting OR-parallelism in logic programs: A review.
电商所评分:10
MeikUS 92.
电商所评分:7
Multicomputer molecular dynamics.
电商所评分:8