Login / Signup
A Tabular Method for Verification of Data Exchange Algorithms on Networks of Parallel Processors.
Kris Coolsaet
Veerle Fack
Hans E. De Meyer
Published in:
Nord. J. Comput. (1994)
Keyphrases
</>
data exchange
computational complexity
parallel processors
orders of magnitude
databases
objective function
combinatorial optimization
query answering
dynamic programming
optimization problems
data sets
similarity measure
search algorithm
data management