Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 238 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
8-Mar-2011Algebraic specialization of generic functions for recursive typesCunha, Alcino; Pacheco, HugoArtigoAcesso aberto
2012Constraint-aware schema transformationAlves, Tiago L.; Silva, Paulo F.; Visser, JoostArtigoAcesso aberto
2012MDSheet: a framework for model-driven spreadsheet engineeringCunha, Jácome Miguel Costa; Fernandes, João Paulo; Mendes, Jorge; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2011Worldwide consensusMaia, Francisco; Matos, Miguel; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso aberto
2016Benchmarking polystores: the CloudMdsQL experienceKolev, Bovan; Pau, Raquel; Levchenko, Oleksandra; Valduriez, Patrick; Jimenez-Peri, Ricardo; Pereira, JoséArtigo em ata de conferênciaAcesso restrito UMinho
2016Design of an RDMA communication middleware for asynchronous shuffling in analytical processingGonçalves, Rui Carlos Araújo; Pereira, José; Jimenez-Peris, RicardoArtigo em ata de conferênciaAcesso restrito UMinho
2016Design and implementation of the CloudMdsQL multistore systemKolev, Boyan; Bondiombouy, Carlyna; Levchenko, Oleksandra; Valduriez, Patrick; Jimenez, Ricardo; Pau, Raquel; Pereira, JoséArtigo em ata de conferênciaAcesso restrito UMinho
2016Resource usage prediction in distributed key-value datastoresCruz, Francisco; Maia, Francisco; Matos, Miguel Ângelo Marques; Oliveira, Rui Carlos Mendes de; Paulo, João; Pereira, José; Vilaça, Ricardo Manuel PereiraArtigo em ata de conferênciaAcesso restrito UMinho
2016An RDMA middleware for asynchronous multi-stage shuffling in analytical processingGonçalves, Rui Carlos Araújo; Pereira, José; Jimenez-Peris, RicardoArtigo em ata de conferênciaAcesso restrito UMinho
1-10 de um total de 238 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir