CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Prototypes Login  
   
banner bottom
[ Prototypes ]
Prototypes Icon  List of Software Prototypes done by CITI Members.

page 8 of 20 - listing prototypes 71 to 80 of a total of 199
order:  

prev   |   4  5  6  7  8  9  10  11  12   |   next


bulletCreation-Tool - TKB
   Nuno Correia, Diogo Cabral, João Valente, João Silva
   2011

bulletMoTH: Practical Verification of High-Level Dataraces in Transactional Memory Programs
   João Lourenço, Ricardo Dias
   2011

bulletFEW file system
   Nuno Preguiça, João Soares
   2011

bulletCheetah: Boosting Scientific Computing with Heterogeneous Processors
   João Lourenço
   2011

bulletTxBTRFS — A Transactional File System over BTRFS
   João Lourenço
   2011

bulletWESTOC: A Web-Enhanced Service To Ocean Color
   Tamito Kajiyama
   2011

bulletMAID
   Teresa Romão
   2011

bulletTIG - Tool for Implicit Groups
   José Alberto Cardoso e Cunha, Carmen Morgado
   2011

bulletFramework DSL para Aplicações Participatory Sensing
   Maria Cecília Gomes, Sérgio Duarte
   2011

bulletByzantium v.3
   Nuno Preguiça, Rui Garcia, Rodrigo Rodrigues
   2011


prev   |   4  5  6  7  8  9  10  11  12   |   next