Stem udp$ (all stems)

6 papers:

SAC-2015-CarlucciCM

HTTP over UDP: an experimental investigation of QUIC (GC, LDC, SM), pp. 609–614.

ESEC-FSE-2015-ArcuriFG #automation #generative #network #testing

Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.

HILT-2014-RathjeR #framework #java #model checking #network #source code

A framework for model checking UDP network programs with Java pathfinder (WR, BR), pp. 81–86.

SAC-2008-SalesAP #network #on the #performance

On the performance of TCP, UDP and DCCP over 802.11 g networks (LMdS, HOdA, AP), pp. 2074–2078.

ESOP-2002-WansbroughNSS #semantics #thread

Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures (KW, MN, PS, AS), pp. 278–294.

HPDC-1994-ChangFFGHNRSW #network

High-Performance TCP/IP and UDP/IP Networking in DEC OSF/1 for Alpha AXP (CHC, RF, JF, HG, WRH, APN, KKR, UNS, KMW), pp. 35–42.