John Vaughan

Learn More
Research presented in this paper uses the Network Simulator, ns2, to investigate the direct effects and subsequent consequences associated with the use of different transport protocols in a SIP context. Specifically, we seek to perform a comparative evaluation of UDP, TCP and SCTP based on a model simulating a scenario most likely to benefit from congestion(More)
Multisensory neurons integrate concordant visual-auditory cues in order to enhance the detection and reaction to such cross-modal events. As shown in studies of superior colliculus (SC) neurons, the magnitude of multisensory enhancement obeys a principle of inverse effectiveness: proportionately larger products are achieved when the effectiveness of the(More)
Writing and reasoning about concurrent programs remains notoriously difficult despite the proliferation of type systems, static analyses, and dynamic analyses targeting concurrent programs. There are examples of verified developments for concurrent languages and programs (Chou and Peled 1996; Affeldt and Kobayashi 2004; Feng et al. 2007; Hobor et al. 2008)(More)
  • 1