IEEE Std P1838's flexible parallel port and its specification with Google's protocol buffers.
Yu LiMing ShaoHailong JiaoAdam CronSandeep BhatiaErik Jan MarinissenPublished in: ETS (2018)
Keyphrases
- lightweight
- protocol specification
- search engine
- parallel processing
- medium access control
- state machines
- social media
- network devices
- mac protocol
- wireless local area network
- tcp ip
- website
- floating point arithmetic
- intelligent agent technology
- wireless lan
- physical layer
- communication protocol
- map reduce
- formal analysis
- parallel computing
- wireless networks
- cryptographic protocols
- parallel execution
- network simulator
- operational semantics
- mac layer
- formal specification
- link layer
- wireless local area networks
- petri net