Now showing items 1-14 of 14

    • An Architecture for Active Networking 

      Bhattacharjee, Samrat; Calvert, Kenneth L.; Zegura, Ellen W. (Georgia Institute of Technology, 1996)
      Active networking offers a change in the usual network paradigm: from passive carrier of bits to a more general computation engine. The implementation of such a change is likely to enable radical new applications that ...
    • A Comparison of Two Practical Multicast Routing Scheme 

      Calvert, Kenneth L.; Madhavan, Ramesh; Zegura, Ellen W. (Georgia Institute of Technology, 1994)
      Designing an interdomain multicast routing scheme that makes efficient use of network resources while delivering good performance to applications is a significant challenge. A variety of schemes have been proposed, but ...
    • Core Selection Methods for Multicast Routing 

      Calvert, Kenneth L.; Zegura, Ellen W.; Donahoo, Michael J. (Georgia Institute of Technology, 1995)
      Multicast routing is an important topic of both theoretical and practical interest. Some recently-proposed multicast routing algorithms involve the designation of one or more network nodes as the "center" of the routing ...
    • Dynamically Configurable Communication Protocols and Distributed Applications: Motivation and Experience 

      Kravets, Robin H.; Calvert, Kenneth L.; Schwan, Karsten (Georgia Institute of Technology, 1996)
      Due to the diverse communication requirements of today's distributed applications, our work has led us in the direction of dynamically configurable protocol systems. This paper motivates the design of a framework ...
    • Effective Search Strategies for Application-Independent Speedup in UDP Demultiplexing 

      Dixon, Joseph T.; Calvert, Kenneth L. (Georgia Institute of Technology, 1997)
      We present UDP datagram demultiplexing techniques that can yield potentially substantial application-independent performance gains over BSD-derived UDP implementations. Our demultiplexing strategies exploit local host ...
    • ICCCN '96 published/short version Increasing Demultiplexing Efficiency in TCP/IP Network Servers 

      Dixon, Joseph T.; Calvert, Kenneth L. (Georgia Institute of Technology, 1996)
      This paper shows how software caches and hashing to multiple PCB (protocol control block) lists can increase demultiplexing efficiency in TCP/IP network server hosts. We implemented six algorithms and ...
    • Leads-to Properties and the But-not-yet Operator 

      Calvert, Kenneth L. (Georgia Institute of Technology, 1993)
      We define a predicate transformer, in terms of which finite disjunctions of leads-to properties can be rewritten as single leads-to properties. Although disjunctions of leads-to properties do not typically arise naturally ...
    • Multi-Subsystem Protocol Architectures: Motivation and Experience with an Adapter-Based Approach 

      Krupczak, Bobby; Ammar, Mostafa H. (Mostafa Hamed); Calvert, Kenneth L. (Georgia Institute of Technology, 1995)
      Protocol software is often difficult, cumbersome, and expensive to implement and test in today's computing environments. To reduce this difficulty, several things are done: communications software is commonly subdivided ...
    • Network Support for Multicast Video Distribution 

      Bhattacharjee, Samrat; Calvert, Kenneth L.; Zegura, Ellen W. (Georgia Institute of Technology, 1998)
      Multicast video distribution in a best-effort environment presents challenges to system designers, including heterogeneity in the bandwidth availability on the paths from the sender to the receivers and dynamic behavior ...
    • On the Use of Directory Services to Support Multi-Protocal Inter-operability 

      Clark, R. J. (Russell J.); Calvert, Kenneth L.; Ammar, Mostafa H. (Mostafa Hamed) (Georgia Institute of Technology, 1993)
      Multi-protocol systems are a vital tool for achieving inter-operability in today's heterogeneous communication networks. An important aspect of these systems is the need to determine which of the multiple available ...
    • Protocol Discovery in Multiprotocol Networks 

      Clark, R. J. (Russell J.); Ammar, Mostafa H. (Mostafa Hamed); Calvert, Kenneth L. (Georgia Institute of Technology, 1994)
      Multiprotocol systems can be an important tool for achieving interoperability. As the number of protocols available on such systems grows, there is an increasing need for support mechanisms that enable users to effectively ...
    • Protocol Portability through Module Encapsulation 

      Krupczak, Bobby; Calvert, Kenneth L.; Ammar, Mostafa H. (Mostafa Hamed) (Georgia Institute of Technology, 1996)
      Because protocol software is difficult and expensive to implement and test, it is often ported between systems, instead of being rewritten from scratch. Unfortunately, porting protocol software can be nearly as difficult ...
    • Reasoning About Conditional Progress Properties 

      Calvert, Kenneth L. (Georgia Institute of Technology, 1994)
      In some otherwise attractive formalisms, it can be difficult or even impossible to specify progress in such a way that a component of a distributed system can be proved correct independent of its environment. This problem ...
    • Tuning TCP and UDP Demultiplexing 

      Dixon, Joseph T.; Calvert, Kenneth L. (Georgia Institute of Technology, 1998)
      Large servers that handle many hundreds of simultaneous clients are becoming more and more important to the Internetwork infrastructure, from Web servers and caches to DNS servers. As the number of clients simultaneously ...