SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Program optimization for instruction caches
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
Computer architecture: a quantitative approach
Computer architecture: a quantitative approach
Profile guided code positioning
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Architectural considerations for a new generation of protocols
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
An experiment with inline substitution
Software—Practice & Experience
Using profile information to assist classic code optimizations
Software—Practice & Experience
Performance problems in BSD4. 4TCP
ACM SIGCOMM Computer Communication Review
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols
IEEE Transactions on Software Engineering
Proceedings of the First International Conference on Formal Description Techniques
Efficient Implementation of Estelle Specifications
Efficient Implementation of Estelle Specifications
Compact and efficient presentation conversion code
IEEE/ACM Transactions on Networking (TON)
Using Event-Based Translation to Support Dynamic Protocol Evolution
Proceedings of the 26th International Conference on Software Engineering
Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimization for faster execution of Esterel programs
Formal methods and models for system design
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
FM '08 Proceedings of the 15th international symposium on Formal Methods
Automating rendezvous and proxy selection in sensornets
IPSN '09 Proceedings of the 2009 International Conference on Information Processing in Sensor Networks
Hi-index | 0.00 |