Login / Signup

A Formal Analysis of Space Filling Curves for Parallel Domain Decomposition.

Srikanta TirthapuraSudip SealSrinivas Aluru
Published in: ICPP (2006)
Keyphrases
  • formal analysis
  • space filling curves
  • formal methods
  • agent model
  • ban logic
  • metadata
  • hilbert curve
  • machine learning
  • data model
  • software engineering
  • low cost
  • multidimensional data
  • multi dimensional space