Advanced compiler optimizations for supercomputers
Communications of the ACM - Special issue on parallelism
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data flow analysis of distributed communicating processes
International Journal of Parallel Programming
Architectural considerations for a new generation of protocols
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
Data flow analysis of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
SDL with applications from protocol specification
SDL with applications from protocol specification
Alternative software architectures for parallel protocol execution with synchronous IPC
IEEE/ACM Transactions on Networking (TON)
Increasing network throughput by integrating protocol layers
IEEE/ACM Transactions on Networking (TON)
OpParIm: a method and tool for optimized parallel protocol implementation
Journal of High Speed Networks - Special issue on HIPPARCH
The structuring of systems using upcalls
Proceedings of the tenth ACM symposium on Operating systems principles
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
IEEE Transactions on Parallel and Distributed Systems
A Parallel Approach to OSI Connection-Oriented Protocols
Proceedings of the IFIP WG6.1/WG6.4 Third International Workshop on Protocols for High-Speed Networks III
High-Speed OSI Protocol Bypass Altorithm with Window Flow Control
Proceedings of the IFIP WG6.1/WG6.4 Third International Workshop on Protocols for High-Speed Networks III
From SDL specifications to optimized parallel protocol implementations
Protocols for High-Speed Networks IV
An Estelle Compiler for Multiprocessor Platforms
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Parallel Transport System Design
Proceedings of the IFIP TC6/WG6.4 Fourth International Conference on High Performance Networking IV
Formal methods for broadband and multimedia systems (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
Experiences in Design and Implementation of a High Performance Transport Protocol
Proceedings of the 2004 ACM/IEEE conference on Supercomputing
UDT: UDP-based data transfer for high-speed wide area networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
LATA: a latency and throughput-aware packet processing system
Proceedings of the 47th Design Automation Conference
Improving the efficiency of automated protocol implementations using a configurable FDT compiler
Computer Communications
| Hi-index | 0.00 |