Login

In Proceedings

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,

Corecursion and Non-divergence in Session-Typed Processes

InProceedings

Published in 23/12/2014

Authors

Bernardo Toninho, Luis Caires, Frank Pfenning,

Towards the Transparent Execution of Compound OpenCL Computations in Multi-CPU/Multi-GPU Environments

InProceedings

Published in 01/12/2014

Authors

Fernando Jorge Marques Alexandre, Hervé Paulino,

Corecursion and Non-divergence in Session-Typed Processes

InProceedings

Published in 01/12/2014

Authors

Bernardo Toninho, Luis Caires, Frank Pfenning,

On Efficient Evolving Multi-Context Systems

InProceedings

Published in 01/12/2014

Authors

D.-N. Pham, S.-B. Park, Matthias Knorr, Ricardo Gonçalves, João Leite,

An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems

InProceedings

Published in 01/11/2014

Authors

Cinzia Di Giusto, Jorge A Pérez,

Identification of Bilingual Suffix Classes for Classification and Translation Generation

InProceedings

Published in 01/11/2014

Authors

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

Indirect Location Recommendation

InProceedings

Published in 01/11/2014

Authors

André Sabino, Armanda Rodrigues,

Difficulty in Action Based Challenges: Success Prediction, Players’ Strategies and Profiling

InProceedings

Published in 01/11/2014

Authors

Fausto Mourato, Fernando Birra, Manuel Prospero dos Santos,

Multi-user Diverse Recommendations through Greedy Vertex-Angle Maximization

InProceedings

Published in 01/10/2014

Authors

Pedro Dias, João Magalhães,