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-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
1-Jan-2017Quality-Aware Reactive Programming for the Internet of ThingsProença, José Miguel Paiva; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
2017Towards Systematic Spreadsheet Construction ProcessesMendes, Jorge; Cunha, Jácome Miguel Costa; Duarte, Francisco; Engels, Gregor; Saraiva, João; Sauer, StefanArtigo em ata de conferênciaAcesso restrito UMinho
2017Products go green: worst-case energy consumption in software product linesCouto, Marco Domingos Mendes; Borba, Paulo; Cunha, Jácome Miguel Costa; Fernandes, João Paulo Soares; Pereira, Rui; Saraiva, JoãoArtigo em ata de conferênciaAcesso aberto
2017Systematic spreadsheet construction processesMendes, Jorge; Cunha, Jácome; Duarte, Francisco J.; Engels, Gregor; Saraiva, João; Sauer, StefanArtigo em ata de conferênciaAcesso restrito UMinho
2017On kleene algebras for weighted computationGomes, Leandro; Madeira, Alexandre Leite Castro; 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