Scalable liveness verification for communication fabrics.
Sebastiaan J. C. JoostenJulien SchmaltzPublished in: DATE (2014)
Keyphrases
- fully distributed
- communication networks
- neural network
- functional verification
- machine learning
- lightweight
- model checking
- information sharing
- communication protocol
- communication channels
- human computer
- web scale
- information exchange
- resource constrained
- communication technologies
- communication systems
- multimedia
- data mining