Now showing items 1-4 of 50

    • A microprogrammed operating system kernel 

      Herbert, Andrew Jame (1979-03-19)
      The subject of the thesis is the design and implementation of an operating system kernel for the Cambridge Capability Computer (CAP). The kernel of an operating syst em is its most primitive level of facilities and forms ...
    • Operating system support for warehouse-scale computing 

      Schwarzkopf, Malte (2018-11-24)
      Modern applications are increasingly backed by large-scale data centres. Systems software in these data centre environments, however, faces substantial challenges: the lack of uniform resource abstractions makes sharing ...
    • Prefetching for complex memory access patterns 

      Ainsworth, Sam (2018-07-21)
      Modern-day workloads, particularly those in big data, are heavily memory-latency bound. This is because of both irregular memory accesses, which have no discernable pattern in their memory addresses, and large data sets ...
    • Descriptive complexity of constraint problems 

      Wang, Pengming (2018-10-13)
      Constraint problems are a powerful framework in which many common combinatorial problems can be expressed. Examples include graph colouring problems, Boolean satisfaction, graph cut problems, systems of equations, and ...