From SDL specifications to optimized parallel protocol implementations.
Stefan LeuePhilippe OechslinPublished in: Protocols for High-Speed Networks (1994)
Keyphrases
- parallel implementations
- protocol specification
- model checker
- sorting algorithms
- parallel implementation
- functional requirements
- massively parallel
- network protocols
- state machines
- model checking
- high level
- real time
- parallel programming
- formal specification
- efficient implementation
- parallel algorithm
- neural network