A Formal Approach to Determining Parallel Resource Bindings: Experience Report.

John A. Keane Walter Hussak

Published in: ICSE (1994)

Keyphrases

neural network
web resources
resource allocation
formal model
parallel implementation
resource constraints
shared memory
parallel hardware
datalog programs
parallel programming
distributed memory
parallel computation
massively parallel
resource management
parallel processing
expert systems
machine learning