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.

    https://github.com/JonMinton/Statistical_Sculpture


    The files themselves are available from the following location:

    https://github.com/JonMinton/Statistical_Sculpture/tree/master/stl

    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.