research

We are always looking for ways to improve the services we offer so we engage in research to discover new techniques. This has resulted in the development of the Breathe System.

the breathe system

The Breathe system is a computing model for next generation platforms. It goes far beyond the usual notions of platform independence allowing solutions to be easily constructed and delivered. Papers on the model and related technologies can be found in this section.

theory

  • The Breathe System
    pdf ps
  • Historical - Towards a Universal Model of Computing
    pdf ps

concurrency

  • An Efficient Wait-free Queue Implementation
    pdf ps
  • A Pattern for Device Drivers
    pdf ps
  • Specifying Asynchronous Device Behaviour
    pdf ps

storage

  • Efficient Lexicographic Encoding of Numbers
    pdf ps

language

  • Ignite Language Overview
    pdf ps
  • Flame: An Intermediate Representation for Ignite Entities
    pdf ps