Sign in

Deterministic Routing with HoL-Blocking-Awareness for Direct Topologies.

Roberto PeñarandaCrispín Gómez RequenaMaría Engracia GómezPedro LópezJosé Duato
Published in: ICCS (2013)
Keyphrases
  • network topologies
  • routing protocol
  • theorem prover
  • black box
  • routing algorithm
  • knowledge base
  • neural network
  • artificial intelligence
  • network topology
  • data streams
  • ad hoc networks
  • routing problem
  • natural deduction