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

Home  \  Prototypes

Login

CITI Welcome Research Areas Organization Executive Board Advisory Board Contacts Useful Information People CITI Members Visitors Activities Research Projects Publications Seminars @ CITI External Talks & Seminars Graduation Activities Organization of Events Editorial Committees Prototypes Visits & Missions Activity Reports Search & Query Search BibTeX Generator

---

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

order:  by datealphabetically

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