Login / Signup
Deterministic Routing with HoL-Blocking-Awareness for Direct Topologies.
Roberto Peñaranda
Crispín Gómez Requena
María Engracia Gómez
Pedro López
José 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