Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 31-40 de um total de 470 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Mai-2015ADSNARK: Nearly practical and privacy-preserving proofs on authenticated dataBackes, Michael; Barbosa, Manuel; Fiore, Dario; Reischuk, Raphael M.Artigo em ata de conferênciaAcesso aberto
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
Mai-2013Calculating fault propagation in functional programsMurta, Daniel R.; Oliveira, José Nuno FonsecaRelatórioAcesso aberto
2017Prepared scan: Efficient retrieval of structured data from HBaseNeves, Francisco; Vilaça, Ricardo Manuel Pereira; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso restrito UMinho
2011Models as arrows: the role of dialgebrasMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
6-Mai-2013Causality tracking for disconnected and semi-connected distributed systemsFonte, VictorLivroAcesso restrito UMinho
6-Mai-2013Logical clock systems and the challenges of autonomous operationFonte, VictorLivroAcesso restrito UMinho
2012A case study on model checking and deductive verification techniques of safety-critical softwareSilva, Rovedy Aparecida Busquim e; Oliveira, José Manuel Parente de; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2015Spreadsheet engineeringCunha, Jácome Miguel Costa; Fernandes, João Paulo Soares; Mendes, Jorge; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
31-40 de um total de 470 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir