Recursos de colección

Enlighten (159.604 recursos)

Enlighten is the University of Glasgow's institutional repository service for published research material including peer-reviewed journal articles, published conference papers,books and book chapters

Type = Artefact

Mostrando recursos 1 - 2 de 2

  1. A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)

    Scalas, Alceste; Dardha, Ornela; Hu, Raymond; Yoshida, Nobuko
    This artifact contains a version of the Scribble tool that, given a protocol specification with multiple participants, can generate Scala APIs for implementing each participant in a type-safe, protocol abiding way. Crucially, the API generation leverages a decomposition of the multiparty protocol into type-safe peer-to-peer interactions between pairs of participants; and this, in turn, allows to implement the API internals on top of the existing lchannels library for type-safe binary session programming. As a result, several technically challenging aspects in the implementation of multiparty sessions are solved “for free”, at the underlying binary level. This includes distributed multiparty session delegation:...
    (text) - 03-may-2018

  2. Statistical Sculpture: Files needed to 3D print demographic data sculptures

    Minton, Jonathan
    The following contains links to stl files required to produce 3D printed 'Lexis cubes': 3D representations of Lexis surfaces used to explore changes in population size, mortality risk, or other variables over the life course and over time.

    The files themselves are available from the following location:

    Clicking on a file produces a rotating 3D visualisation of the stl file.

    - 03-may-2018

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.