The Programmable Network Prototyping System
暂无分享,去创建一个
[1] Daniel Barbará,et al. A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency , 1988, IEEE Trans. Software Eng..
[2] P. Varaiya,et al. A language for specifying and implementing the low-level functions of media access protocols , 1989, Eighth Annual International Phoenix Conference on Computers and Communications. 1989 Conference Proceedings.
[3] David P. Anderson,et al. Automated Protocol Implementation with RTAG , 1988, IEEE Trans. Software Eng..
[4] Gene McDaniel. Metric (Extended Abstract): A kernel instrumentation system for distributed environments , 1977, SOSP '77.
[5] Gene McDaniel,et al. METRIC: A Kernel Instrumentation System for Distributed Environments. , 1977, SOSP 1977.
[6] Peter J. Bickel,et al. S: An Interactive Environment for Data Analysis and Graphics , 1984 .