Login

Prototypes

TrNET – A Model Transformation Language with Efficiency Concerns

Prototype

Authors

Vasco Amaral, Bruno Barroca,

Framework for a balanced use of a CPU/GPU server configuration

Prototype

Authors

Pedro Medeiros,

Visualino

Prototype

Authors

Miguel Goulão, Vasco Amaral,

LOCKRES: a session type checker resolving deadlocks

Prototype

Authors

Marco Giunti,

Greenpoly

Prototype

Authors

Teresa Romão, Jorge Pereira,

Mobile gestures framework

Prototype

Authors

Teresa Romão, Diogo Brito,

VCC – Variability Consistency Checking Tool

Prototype

Authors

Ana Moreira, Vasco Amaral, Ankica Barisic,

CryptoSearch: A Secure Data Management and Search Engine over Encrypted Private Unstructured Documents Stored in Public Key-Value Repositories

Prototype

Authors

Henrique Domingos, Bernardo Ferreira,

TribuSTM

Prototype

Authors

João Lourenço, Ricardo Dias, Tiago Vale,

Marrow – An Algorithmic Skeleton Framework for GPGPU

Prototype

Authors

Hervé Paulino,