Login / Signup

Towards a formal theory of on chip communications in the ACL2 logic.

Julien SchmaltzDominique Borrione
Published in: ACL2 (2006)
Keyphrases
  • formal theory
  • belief update
  • low cost
  • spatial reasoning
  • commonsense reasoning
  • high speed
  • high density
  • analog vlsi
  • chip design
  • feature vectors
  • natural language learning
  • contextual information
  • communication networks