A Formal Specification of the ATM ABR Rate Control Scheme.
David LeeK. K. RamakrishnanW. Melody MohPublished in: Comput. Networks (1998)
Keyphrases
- formal specification
- rate control scheme
- rate control
- rate distortion
- model checking
- bit rate
- object oriented design
- rate control algorithm
- reverse engineering
- video coding
- visual quality
- bit allocation
- formal methods
- process algebra
- concurrent systems
- learning rate
- video streaming
- software components
- computational complexity
- video streams
- detection algorithm
- image compression