Now showing items 1-7 of 7

  • Automatically proving equivalence by type-safe reflection 

    Slama, Franck; Brady, Edwin Charles (Springer, 2017) - Conference item
    One difficulty with reasoning and programming with dependent types is that proof obligations arise naturally once programs become even moderately sized. For example, implementing an adder for binary numbers indexed over ...
  • Out of sight : a toolkit for tracking occluded human joint positions 

    Wu, Chi-Jui; Quigley, Aaron John; Harris-Birtill, David Cameron Christopher (2017-02) - Journal article
    Real-time identification and tracking of the joint positions of people can be achieved with off-the-shelf sensing technologies such as the Microsoft Kinect, or other camera based systems with computer vision. However, ...
  • Task offloading engine for heterogeneous mobile Clouds 

    Sulaiman, Dawand Jalil; Barker, Adam David (ACM, 2016-12-01) - Conference item
    The limitations in computational resources and battery power of mobile devices led to the concept of offloading compute-intensive tasks to powerful devices. We have developed a framework to offload tasks from a mobile ...
  • Tight focusing of azimuthally polarized optical vortex produced by subwavelength grating 

    Stafeev, S.S.; Nalimov, A.G.; Kotlyar, M.V.; O'Faolain, Liam; Kotlyar, V.V. (Elsevier, 2017) - Conference item
    Focusing of an optical vortex with sectorial azimuthal polarization is numerically investigated. An effect of sector numbers on the results of focusing is estimated. It is shown that the focal spot produced by a beam with ...
  • Time domain wave separation using multiple microphones 

    Kemp, Jonathan A; van Walstijn, Maarten; Campbell, Murray; Chick, John; Smith, Richard (2010-07) - Journal article
    Methods of measuring the acoustic behavior of tubular systems can be broadly characterized as steady state measurements, where the measured signals are analyzed in terms of infinite duration sinusoids, and reflectometry ...
  • Timing properties and correctness for structured parallel programs on x86-64 multicores 

    Hammond, Kevin; Brown, Christopher Mark; Sarkar, Susmit (Springer, 2016) - Conference item
    This paper determines correctness and timing properties for structured parallel programs on x86-64 multicores. Multicore architectures are increasingly common, but real architectures have unpredictable timing properties, ...
  • Traffic visualization - applying information visualization techniques to enhance traffic planning 

    Picozzi, Matteo; Verdezoto, Nervo; Pouke, Matti; Vatjus-Anttila, Jarkko; Quigley, Aaron John (SciTePress, 2013-02-21) - Conference item
    In this paper, we present a space-time visualization to provide city’s decision-makers the ability to analyse and uncover important “city events” in an understandable manner for city planning activities. An interactive Web ...