Towards a Verified Implementation of a Network Stack.
Caitlyn WildeWyeth T. Greenlaw RollinsLevi OvercastAlain KägiPublished in: SIGCSE (2) (2024)
Keyphrases
- real time
- computer networks
- network architecture
- network model
- network design
- wireless sensor networks
- evolutionary algorithm
- queueing networks
- high speed
- peer to peer
- network traffic
- implementation details
- communication networks
- data transfer
- network resources
- distributed network
- distributed computing environment
- link prediction
- digital libraries
- multi agent systems
- search engine
- artificial intelligence
- real world
- data sets