메뉴 건너뛰기




Volumn , Issue , 2007, Pages 101-114

Melange: Creating a "functional" internet

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); DYNAMIC PROGRAMMING; METADATA; OBJECT ORIENTED PROGRAMMING; RELIABILITY THEORY; SECURITY OF DATA; INTERNET; LINGUISTICS; NETWORK PROTOCOLS; NETWORK SECURITY; PROBLEM ORIENTED LANGUAGES; QUERY LANGUAGES; REFUSE COLLECTION; SERVERS; TRANSMISSION CONTROL PROTOCOL; WASTE DISPOSAL;

EID: 34548011724     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1272996.1273009     Document Type: Conference Paper
Times cited : (25)

References (48)
  • 2
    • 21644433634 scopus 로고    scopus 로고
    • BARHAM, P., DRAGOVIC, B., FRASER, K., HAND, S., HARRIS, T., HO, A., NEUGEBAUER, R., PRATT, I., AND WARFIELD, A. Xen and the art of virtualization. In Proc. of 19th SOSP (Bolton Landing, NY, 2003), pp. 164-177.
    • BARHAM, P., DRAGOVIC, B., FRASER, K., HAND, S., HARRIS, T., HO, A., NEUGEBAUER, R., PRATT, I., AND WARFIELD, A. Xen and the art of virtualization. In Proc. of 19th SOSP (Bolton Landing, NY, 2003), pp. 164-177.
  • 4
    • 84892295050 scopus 로고
    • A structured TCP in Standard ML
    • London, UK
    • BIAGIONI, E. A structured TCP in Standard ML. In Proc. of SIGCOMM (London, UK, 1994), pp. 36-45.
    • (1994) Proc. of SIGCOMM , pp. 36-45
    • BIAGIONI, E.1
  • 6
    • 34548016232 scopus 로고    scopus 로고
    • Orion: Named flows with access control
    • Tech. rep, Fraser Research, Princeton, NJ, USA
    • BILLINGS, J., FRASER, A., AND SCOTT, D. Orion: Named flows with access control. Tech. rep., Fraser Research, Princeton, NJ, USA, 2005.
    • (2005)
    • BILLINGS, J.1    FRASER, A.2    SCOTT, D.3
  • 8
    • 79961204066 scopus 로고    scopus 로고
    • BOS, H., DE BRUIJN, W., CRISTEA, M., NGUYEN, T., AND PORTOKALIDIS, G. FFPF: Fairly Fast Packet Filters. In Proc. of 6th Symp. on OSDI (2004), pp. 347-363.
    • BOS, H., DE BRUIJN, W., CRISTEA, M., NGUYEN, T., AND PORTOKALIDIS, G. FFPF: Fairly Fast Packet Filters. In Proc. of 6th Symp. on OSDI (2004), pp. 347-363.
  • 10
    • 85084163657 scopus 로고    scopus 로고
    • CHU, H. K. J. Zero-copy TCP in Solaris. In Proceedings of the USENDC Annual Technical Conference (1996), USENIX, pp. 253-264.
    • CHU, H. K. J. Zero-copy TCP in Solaris. In Proceedings of the USENDC Annual Technical Conference (1996), USENIX, pp. 253-264.
  • 12
    • 33847320282 scopus 로고    scopus 로고
    • The main name system: An exercise in centralized computing
    • DEEGAN, T., CROWCROFT, J., AND WARFIELD, A. The main name system: an exercise in centralized computing. Computer Communications Review 35, 5 (2005), 5-14.
    • (2005) Computer Communications Review , vol.35 , Issue.5 , pp. 5-14
    • DEEGAN, T.1    CROWCROFT, J.2    WARFIELD, A.3
  • 13
    • 34548008304 scopus 로고    scopus 로고
    • PhD thesis, University of Cambridge
    • DEEGAN, T. J. The Main Name System. PhD thesis, University of Cambridge, 2006.
    • (2006) The Main Name System
    • DEEGAN, T.J.1
  • 14
    • 0027206301 scopus 로고
    • A concurrent, generational garbage collector for a multithreaded implementation of ML
    • Charleston, South Carolina
    • DOLIGEZ, D., AND LEROY, X. A concurrent, generational garbage collector for a multithreaded implementation of ML. In Proc. of the 20th Symp. on PoPL (Charleston, South Carolina, 1993), pp. 113-123.
    • (1993) Proc. of the 20th Symp. on PoPL , pp. 113-123
    • DOLIGEZ, D.1    LEROY, X.2
  • 15
    • 0027886590 scopus 로고
    • Fbufs: A high-bandwidth cross-domain transfer facility
    • DRUSCHEL, P., AND PETERSON, L. L. Fbufs: a high-bandwidth cross-domain transfer facility. In Proc. of 14th SOSP (1993), pp. 189-202.
    • (1993) Proc. of 14th SOSP , pp. 189-202
    • DRUSCHEL, P.1    PETERSON, L.L.2
  • 17
    • 31844436571 scopus 로고    scopus 로고
    • PADS: A domain-specific language for processing ad hoc data
    • Chicago, IL
    • FISHER, K., AND GRUBER, R. PADS: a domain-specific language for processing ad hoc data. In Proc. of 2005 Conf on PLDI (Chicago, IL, 2005), pp. 295-304.
    • (2005) Proc. of 2005 Conf on PLDI , pp. 295-304
    • FISHER, K.1    GRUBER, R.2
  • 19
    • 33644889488 scopus 로고    scopus 로고
    • Programming with polymorphic variants
    • Baltimore, MD
    • GARRIGUE, J. Programming with polymorphic variants. In SIGPLAN Workshop on ML (Baltimore, MD, 1998).
    • (1998) SIGPLAN Workshop on ML
    • GARRIGUE, J.1
  • 20
    • 33847255081 scopus 로고    scopus 로고
    • Philadelphia, PA
    • GRIFFIN, T. G., AND SOBRINHO, J. L. Metarouting. In Proc. of SIGCOMM (Philadelphia, PA, 2005), pp. 1-12.
    • (2005) Proc. of SIGCOMM , pp. 1-12
    • GRIFFIN, T.G.1
  • 27
    • 0033205007 scopus 로고    scopus 로고
    • A readable TCP in the Prolac protocol language
    • Cambridge, MA
    • KOHLER, E., KAASHOEK, M. F., AND MONTGOMERY, D. R. A readable TCP in the Prolac protocol language. In Proc. of SIGCOMM (Cambridge, MA, 1999), pp. 3-13.
    • (1999) Proc. of SIGCOMM , pp. 3-13
    • KOHLER, E.1    KAASHOEK, M.F.2    MONTGOMERY, D.R.3
  • 35
    • 0033659255 scopus 로고    scopus 로고
    • Packet types: Abstract specification of network protocol messages
    • MCCANN, P. J., AND CHANDRA, S. Packet types: Abstract specification of network protocol messages. In Proc. of SIGCOMM (2000), pp. 321-333.
    • (2000) Proc. of SIGCOMM , pp. 321-333
    • MCCANN, P.J.1    CHANDRA, S.2
  • 38
    • 34548044633 scopus 로고    scopus 로고
    • DNS server survey [online
    • mydns.bboy.net/ survey
    • MOORE, D. DNS server survey [online]. 2004. mydns.bboy.net/ survey/.
    • (2004)
    • MOORE, D.1
  • 40
    • 0036040304 scopus 로고    scopus 로고
    • CCured: Type-safe retrofitting of legacy code
    • Portland, OR
    • NECULA, G. C., MCPEAK, S., AND WEIMER, W. CCured: Type-safe retrofitting of legacy code. In Proc. of 29th Symp. on POPL (Portland, OR, 2002), pp. 128-139.
    • (2002) Proc. of 29th Symp. on POPL , pp. 128-139
    • NECULA, G.C.1    MCPEAK, S.2    WEIMER, W.3
  • 41
    • 84255186114 scopus 로고    scopus 로고
    • O'MALLEY, S., PROEBSTING, T., ANDM ONTZ, A. B. Usc: a universal stub compiler. In Proceedings of the Conference on Communications Architectures, Protocols and Applications (New York, NY, USA, 1994), ACM Press, pp. 295-306.
    • O'MALLEY, S., PROEBSTING, T., ANDM ONTZ, A. B. Usc: a universal stub compiler. In Proceedings of the Conference on Communications Architectures, Protocols and Applications (New York, NY, USA, 1994), ACM Press, pp. 295-306.
  • 42
    • 34547396634 scopus 로고    scopus 로고
    • PANG, R., PAXSON, V., SOMMER, R., AND PETERSON, L. binpac: A yace for writing application protocol parsers. In Proceedings of the Internet Measurement Conference (2006).
    • PANG, R., PAXSON, V., SOMMER, R., AND PETERSON, L. binpac: A yace for writing application protocol parsers. In Proceedings of the Internet Measurement Conference (2006).
  • 43
    • 0031078267 scopus 로고    scopus 로고
    • Investigating the influence of formal methods
    • PFLEEGER, S. L., AND HATTON, L. Investigating the influence of formal methods. Computer 30, 2 (1997), 33-43.
    • (1997) Computer , vol.30 , Issue.2 , pp. 33-43
    • PFLEEGER, S.L.1    HATTON, L.2
  • 46
    • 84962424119 scopus 로고    scopus 로고
    • ScanSSH: Scanning the internet for SSH servers
    • San Diego, CA
    • PROVOS, N., AND HONEYMAN, P. ScanSSH: Scanning the internet for SSH servers. In Proc. of 15th LISA (San Diego, CA, 2001), pp. 25-30.
    • (2001) Proc. of 15th LISA , pp. 25-30
    • PROVOS, N.1    HONEYMAN, P.2
  • 47
    • 0030679107 scopus 로고    scopus 로고
    • Objective ML: A simple object-oriented extension of ML
    • RÉMY, D., AND VOUILLON, J. Objective ML: a simple object-oriented extension of ML. In Proc. of 24th Symp. on POPL (1997), pp. 40-53.
    • (1997) Proc. of 24th Symp. on POPL , pp. 40-53
    • RÉMY, D.1    VOUILLON, J.2
  • 48
    • 0031643965 scopus 로고    scopus 로고
    • Eliminating array bound checking through dependent types
    • XI, H., AND PFENNING, F. Eliminating array bound checking through dependent types. In Proc. of Conf. on PLDI (1998), pp. 249-257.
    • (1998) In Proc. of Conf. on PLDI , pp. 249-257
    • XI, H.1    PFENNING, F.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.