Login

in_proceedings

Visigoth Fault Tolerance

InProceedings

Published in 01/04/2015

Authors

Daniel Porto, João Leitão, Cheng Li, Allen Clement, Aniket Kate, Flavio Junqueira, Rodrigo Rodrigues,

iThreads: A Threading Library for Parallel Incremental Computation

InProceedings

Published in 01/03/2015

Authors

Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Bjoern Brandenburg, Rodrigo Rodrigues,

Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties

InProceedings

Published in 01/03/2015

Authors

Bernardo Ferreira, João Rodrigues, João Leitão, Henrique Domingos,

Revisiting Concurrent Separation Logic and Operational Semantics

InProceedings

Published in 01/03/2015

Authors

Pedro Soares, António Ravara, Simão Melo de Sousa,

On Indicative Conditionals

InProceedings

Published in 01/03/2015

Authors

Emmanuelle Anna Dietz, Luís Moniz Pereira,

Learning Sentiment Based Ranked-Lexicons for Opinion Retrieval

InProceedings

Published in 01/03/2015

Authors

Filipa Peleja, João Magalhães,

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization

InProceedings

Published in 01/01/2015

Authors

Daniel Diaz, Danny Munera, Salvador Abreu, Vijay Saraswat, Philippe Codognet,

Supporting Multiple Data Replication Models in Distributed Transactional Memory

InProceedings

Published in 01/01/2015

Authors

João A Silva, Tiago Vale, Ricardo Dias, Hervé Paulino, João Lourenço,

Dependent Information Flow Types

InProceedings

Published in 01/01/2015

Authors

Luísa Lourenço, Luis Caires,