Login

Prototypes

SVMTEC-2

Prototype

Authors

Gabriel Pereira Lopes, Luís Gomes, Kavitha Mahesh,

SpSim4Cognates

Prototype

Authors

Gabriel Pereira Lopes, Luís Gomes,

FEW file system

Prototype

Authors

Nuno Preguiça, João Soares,

Creation-Tool – TKB

Prototype

Authors

Nuno Correia, Diogo Cabral, Ankica Barisic,

Cheetah: Boosting Scientific Computing with Heterogeneous Processors

Prototype

Authors

João Lourenço,

MoTH: Practical Verification of High-Level Dataraces in Transactional Memory Programs

Prototype

Authors

João Lourenço, Ricardo Dias,

Byzantium v.3

Prototype

Authors

Rodrigo Rodrigues, Nuno Preguiça, Rui Garcia,

dc?++ Model Checker

Prototype

Authors

Carla Ferreira,

TxBTRFS — A Transactional File System over BTRFS

Prototype

Authors

João Lourenço,

TIG – Tool for Implicit Groups

Prototype

Authors

José Cardoso e Cunha, Carmen Morgado,