CITI has stopped operations in 2014,
to co-launch NOVA LINCS
THIS SITE IS NOT BEING UPDATED SINCE 2013
[ Prototypes ]

List of Software Prototypes done by CITI Members.
page 8 of 20 - listing prototypes 71 to 80 of a total of 199 | |
Creation-Tool - TKB Nuno Correia, Diogo Cabral, João Valente, João Silva
2011
MoTH: Practical Verification of High-Level Dataraces in Transactional Memory Programs João Lourenço, Ricardo Dias
2011
FEW file system Nuno Preguiça, João Soares
2011
Cheetah: Boosting Scientific Computing with Heterogeneous Processors João Lourenço
2011
TxBTRFS — A Transactional File System over BTRFS João Lourenço
2011
WESTOC: A Web-Enhanced Service To Ocean Color Tamito Kajiyama
2011
MAID Teresa Romão
2011
TIG - Tool for Implicit Groups José Alberto Cardoso e Cunha, Carmen Morgado
2011
Framework DSL para Aplicações Participatory Sensing Maria Cecília Gomes, Sérgio Duarte
2011
Byzantium v.3 Nuno Preguiça, Rui Garcia, Rodrigo Rodrigues
2011