Sizing and verification of communication buffers for communicating processes.
Tilman KolksBill LinHugo De ManPublished in: ICCAD (1993)
Keyphrases
- communication channels
- sharing information
- communication patterns
- model checking
- communication systems
- production system
- computer networks
- information systems
- communication overhead
- formal verification
- real time
- communication networks
- neural network
- data sets
- information technology
- cooperative
- computational models
- case study
- instant messaging