Computer Science Research: Recent submissions

Now showing items 26-30 of 108

    • Verification of a lazy cache coherence protocol against a weak memory model 

      Banks, Christopher; Elver, Marco; Hoffmann, Ruth; Sarkar, Susmit; Jackson, Paul; Nagarajan, Vijay (FMCAD Inc, 2017-10-02) - Conference item
      In this paper, we verify a modern lazy cache coherence protocol, TSO-CC, against the memory consistency model it was designed for, TSO. We achieve this by first showing a weak simulation relation between TSO-CC (with a ...

    • Overcoming mental blocks : a blocks-based approach to Experience Sampling studies 

      Rough, Daniel John; Quigley, Aaron John (IEEE, 2017-12-01) - Conference item
      Experience Sampling Method (ESM) studies repeatedly survey participants on their behaviours and experiences as they go about their everyday lives. Smartphones afford an ideal platform for ESM study applications as devices ...

    • Intuitive and interpretable visual communication of a complex statistical model of disease progression and risk 

      Li, Jieyi; Arandelovic, Ognjen (IEEE, 2017-07-11) - Conference item
      Computer science and machine learning in particular are increasingly lauded for their potential to aid medical practice. However, the highly technical nature of the state of the art techniques can be a major obstacle in ...

    • Seastar: a comprehensive framework for telemetry data in HPC environments 

      Weidner, Ole; Barker, Adam David; Atkinson, Malcolm (ACM, 2017-06-27) - Conference item
      A large number of 2nd generation high-performance computing applications and services rely on adaptive and dynamic architectures and execution strategies to run efficiently,resiliently, and at scale on today’s HPC ...

    • Visualization of patient specific disease risk prediction 

      Osuala, Richard; Arandelovic, Ognjen (IEEE, 2017-02-16) - Conference item
      The increasing trend of systematic collection of medical data (diagnoses, hospital admission emergencies, blood test results, scans etc) by health care providers offers an unprecedented opportunity for the application of ...