Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 39 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
30-Out-2017A fast and verified software stack for secure function evaluationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis; Dupressoir, François; Grégoire, Benjamin; Laporte, Vincent; Pereira, VitorArtigo em ata de conferênciaAcesso aberto
2017DDFlasks: Deduplicated very large scale data storeMaia, Francisco; Paulo, João; Coelho, Fábio; Neves, Francisco; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso restrito UMinho
2017HTAPBench: Hybrid transactional and analytical processing benchmarkCoelho, Fábio; Paulo, João; Vilaça, Ricardo Manuel Pereira; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso restrito UMinho
1-Jan-2017Quality-Aware Reactive Programming for the Internet of ThingsProença, José Miguel Paiva; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
23-Abr-2017Borrowing an identity for a distributed counterEnes, Vitor; Baquero, Carlos; Almeida, Paulo Sérgio; Leitão, JoãoArtigo em ata de conferênciaAcesso aberto
23-Abr-2017Compact resettable counters through causal stabilityYounes, Georges; Almeida, Paulo Sérgio; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
Abr-2017Transparent cross-system consistencyLoff, João; Baquero, Carlos; Preguiça, Nuno; Porto, Daniel; Garcia, João; Rodrigues, RodrigoArtigo em ata de conferênciaAcesso aberto
2017DottedDB: anti-entropy without merkle trees, deletes without tombstonesGonçalves, Ricardo Jorge Tomé; Almeida, Paulo Sérgio; Baquero, Carlos; Fonte, VictorArtigo em ata de conferênciaAcesso aberto
2017Administrative burden reduction over time: Literature review, trends and gap analysisNielsen, Morten Meyerhoff; Carvalho, Nuno Alexandre Ramos; Veiga, Linda Gonçalves; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2017A framework for certification of large-scale component-based parallel computing systems in a cloud computing platform for HPC servicesDantas, A. O.; Carvalho, F. H.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
1-10 de um total de 39 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir