A HoL-blocking aware mechanism for selecting the upward path in fat-tree topologies.
Crispín Gómez RequenaFrancisco Gilabert VillamónMaría Engracia GómezPedro LópezJosé DuatoPublished in: J. Supercomput. (2015)
Keyphrases
- tree structure
- root node
- selection mechanism
- tree construction
- binary tree
- tree search
- learning mechanism
- higher order logic
- formal methods
- spanning tree
- theorem prover
- search algorithm
- record linkage
- path finding
- network topology
- hierarchical structure
- computational model
- shortest path
- relational databases
- tree nodes
- expert systems