Reliability of Computer Communication Networks Using Binary Decision Diagrams.
Harpreet SinghAdam MustaphaVijay SharmaMark HuaGrant R. GerhartPublished in: CATA (2008)
Keyphrases
- communication networks
- binary decision diagrams
- network reliability
- computer networks
- boolean functions
- network structure
- distributed databases
- symbolic model checking
- computer systems
- ip networks
- model checking
- management system
- variable ordering
- information systems
- knowledge discovery
- expert systems
- data structure
- decision making
- databases