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
13-Dez-2017Mining the usage patterns of ROS primitivesSantos, André Fernandes; Cunha, Alcino; Macedo, Nuno; Arrais, Rafael; Dos Santos, Filipe NevesArtigo em ata de conferênciaAcesso aberto
1-Jan-2017A hazard analysis method for systematic identification of safety requirements for user interface software in medical devicesMasci, Paolo; Zhang, Yi; Jones, Paul; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2017Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-webFayollas, Camille; Martinie, Celia; Palanque, Philippe; Masci, Paolo; Harrison, Michael douglas; Campos, José C.; Silva, Saulo Rodrigues eArtigo 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
1-10 de um total de 39 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir