The C++ programming language
Gaining efficiency in transport services by appropriate design and implementation choices
ACM Transactions on Computer Systems (TOCS)
MIPS RISC architecture
Design and validation of computer protocols
Design and validation of computer protocols
Multiplexing issues in communication system design
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
An experiment with inline substitution
Software—Practice & Experience
The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
A dynamic network architecture
ACM Transactions on Computer Systems (TOCS)
Managing interprocedural optimization
Managing interprocedural optimization
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Usage of Protocol Development Tools: The Results of a Survey
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Interprocedural data flow analysis in a programming environment
Interprocedural data flow analysis in a programming environment
Life on the OS/network boundary
ACM SIGOPS Operating Systems Review
Implementing network protocols at user level
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
Implementing network protocols at user level
IEEE/ACM Transactions on Networking (TON)
An object-based approach to protocol software implementation
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Life on the OS/network boundary
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Modular communication subsystem implementation using a synchronous approach
HSNS'94 Proceedings of the High-Speed Networking Symposium on USENIX 1994 High-Speed Networking Symposium
CONMan: a step towards network manageability
Proceedings of the 2007 conference on Applications, technologies, architectures, and protocols for computer communications
Hi-index | 0.00 |
Morpheus is special-purpose programming language that facilitates the efficient implementation of communication protocols. Protocols are divided into three categories, called shapes, so that they can inherit code and data structures based on their category; the programmer implements a particular protocol by refining the inherited structure. Morpheus optimization techniques reduce per-layer overhead on time-critical operations to a few assembler instructions even though the protocol stack is not determined until runtime. This supports divide-and-conquer simplification of the programming task by minimizing the penalty for decomposing complex protocols into combinations of simpler protocols.