Mark Bert Abbott  Home/Search
Context Related
Links: ACM DBLP | arizona.edu/reports/1993...TR9324.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: arizona.edu (more) Homepages: M.Abbott |
Rate this article:      (best)Comment on this article |
Abstract: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 CHAPTER 1: INTRODUCTION : : : : : : : : : : : : : : : : : : : : : : : : : : 17 1.1 Introduction to Network Software : : : : : : : : : : : : : : : : : : : : : 17 1.2 Network Software is Evolving : : : : : : : : : : : : : : : : : : : : : : : 20 1.3 Existing Support for Network Software Development : : : : : : : : : : : 21 1.3.1 Protocol Frameworks : : : : : : : : : : : : : : : : : : : : : : 21 1.3.2 Formal Techniques : : ... (Update)
Cited by: More
Implementing Declarative Overlays - Boon Thau Loo (2005) (Correct)
Finally, a Use for Componentized Transport Protocols - Tyson Condie Joseph (Correct)
Similar documents (at the sentence level):
12.3%: Increasing Network Throughput by Integrating Protocol Layers - Abbott, Peterson (1993) (Correct)
6.3%: A Language-Based Approach to Protocol Implementation - Abbott, Peterson (1993) (Correct)
Active bibliography (related documents): More All
0.3: Issues in the Incorporation of Security Services into a.. - Tripunitara, Spafford (Correct)
0.3: Tango: The Trace ANalysis GeneratOr - Ezust (1995) (Correct)
0.2: The x-Kernel: An Architecture for Implementing Network.. - Hutchinson, Peterson (1991) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.1: Complement Clauses and Expletives - Bouma (1996) (Correct)
0.1: Extraposition as a Nonlocal Dependency - Bouma (1996) (Correct)
0.1: BERT: A Scheduler for Best Effort and Realtime Tasks - Bavier, Peterson, Mosberger (1998) (Correct)
Related documents from co-citation: More All
19: Architectural Considerations for a New Generation of Protocols (context) - Clark, Tennenhouse - 1990
15: ACM Transactions on Computer Systems (context) - O'Malley, Peterson et al. - 1992
12: An Analysis of TCP Processing Overhead (context) - Clark, Jacobson et al. - 1989
BibTeX entry: (Update)
Mark B. Abbott and Larry L. Peterson. A language-based approach to protocol implementation. IEEE/ACM Transactions on Networking, 1(1):4--19, February 1993. http://citeseer.ist.psu.edu/abbott93languagebased.html More
@article{ abbott93languagebased,
author = "Mark B. Abbott and Larry L. Peterson",
title = "A language-based approach to protocol implementation",
journal = "IEEE\slash ACM Transactions on Networking",
volume = "1",
number = "1",
pages = "4--19",
year = "1993",
url = "citeseer.ist.psu.edu/abbott93languagebased.html" }
Citations (may not include all citations):612 Architectural considerations for a new generation of protoco.. (context) - Clark, Tennenhouse - 1990 ACM DBLP
461 Programming Language (context) - Stroustrup - 1986
427 the criteria to be used in decomposing systems into modules (context) - Parnas - 1972
423 End-to-end arguments in system design - Saltzer, Reed et al. - 1984 ACM DBLP
367 Computer Architecture A Quantitative Approach (context) - Hennessy, Patterson - 1990
267 Internetworking with TCP/IP (context) - Comer - 1988 ACM
227 Kernighan and Dennis M (context) - Brian - 1986
221 An analysis of TCP processing overhead (context) - Clark, John et al. - 1989
161 The packet filter: An efficient mechanism for user-level net.. - Mogul, Rashid et al. - 1987 DBLP
129 The structuring of systems using upcalls (context) - Clark - 1985 ACM DBLP
109 Layered multiplexing considered harmful (context) - Tennenhouse - 1989
102 Design and Validation of Computer Protocols (context) - Holzmann - 1991 ACM
82 kernel: An architecture for implementing network protocols (context) - Hutchinson, Peterson - 1991
75 ACM Transactions on Computer Systems (context) - O'Malley, Peterson et al. - 1992
65 Computing Systems (context) - Pu, Massalin et al. - 1988
54 Computer Networks (context) - Tannenbaum - 1988 ACM
51 Managing Interprocedural Optimization - Hall - 1991 ACM
40 An experiment with inline substitution - Cooper, Hall et al. ACM DBLP
39 Image transfer: An end-to-end design (context) - Turner, Peterson - 1992 DBLP
36 Multiplexing issues in communication system design (context) - Feldmeier - 1990 ACM DBLP
26 Kernel: Evaluating new design techniques (context) - Hutchinson, Peterson et al. - 1989
20 Delayed evaluation of gigabit protocols (context) - Gunningberg, Partridge et al. - 1991
14 Tools for implementing network protocols (context) - Hutchinson, Mishra et al. - 1989 ACM DBLP
11 Network subsystem design: A case for an integrated data path - Druschel, Abbott et al. - 1993
10 Usage of protocol development tools: The results of a survey (context) - Bochmann - 1987 DBLP
9 for Computer Science, Computer Systems and Communications Gr.. (context) - Clark, efficiency et al. - 1982
9 Interprocedural Data Flow Analysis in a Programming Environm.. (context) - Cooper - 1983 ACM
3 An informal overview of formal protocol specification (context) - Rudin - 1985
1 verification and construction of communication protocols (context) - Choi, for - 1985
1 Protocol engineering (context) - Piatkowski - 1983 DBLP
1 Avoca: An Environment for Programming with Protocols (context) - OMalley - 1990
1 Streams Programmer 's Guide (context) - Telephone, Telegraph - 1987
1 Protocol verification techniques: Status quo and perspective.. (context) - Sajkowski - 1985 DBLP
1 Department of Computer Science Department (context) - Goldberg, Neufeld et al. - 1992
1 A Grammar-Based Methodolody for Protocol Specification and I.. (context) - Anderson - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.arizona.edu.html): More
x-Kernel Programmer's Manual (Version 3.2) - Menze, III, Orman (1996) (Correct)
Implementing a Secure rlogin Environment: A Case Study of.. - Kim, Orman, O'Malley (1995) (Correct)
A Software Platform for Constructing Scientific.. - Homer, Schlichting (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC