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
Increasing network throughput by integrating protocol layers
IEEE/ACM Transactions on Networking (TON)
A framework for network protocol software
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Increasing the portability and re-usability of protocol code
IEEE/ACM Transactions on Networking (TON)
Communication protocol design to facilitate re-use based on the object-oriented paradigm
Mobile Networks and Applications - Special issue: protocols for mobile environments
Constructive Protocol Specification Using Cicero
IEEE Transactions on Software Engineering
A readable TCP in the Prolac protocol language
Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Packet types: abstract specification of network protocol messages
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Networking and Reflection: A Strong Combination
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Object-oriented modelling of communication protocols for re-use
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Operating Systems and Communication Protocols
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Implementing declarative overlays
Proceedings of the twentieth ACM symposium on Operating systems principles
binpac: a yacc for writing application protocol parsers
Proceedings of the 6th ACM SIGCOMM conference on Internet measurement
MACEDON: methodology for automatically creating, evaluating, and designing overlay networks
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Deploying safe user-level network services with icTCP
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Implementing a secure rlogin environment: a case study of using a secure network layer protocol
SSYM'95 Proceedings of the 5th conference on USENIX UNIX Security Symposium - Volume 5
NSDI'09 Proceedings of the 6th USENIX symposium on Networked systems design and implementation
Multi-subsystem protocol architectures: motivation and experience with an adapter-based approach
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
An embedded language for programming protocol stacks in embedded systems
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Verifying low-level implementations of high-level datatypes
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
| Hi-index | 0.00 |