Mostrar 137-156 de um total de 314 resultados.
< anterior
próximo >
Data | Título | Autor(es) | Tipo | Acesso |
30-Out-2017 | Jasmin: high-assurance and high-speed cryptography | Almeida, José Bacelar; Barbosa, Manuel | Artigo em ata de conferência | Acesso aberto |
2019 | Java stream fusion: Adapting FP mechanisms for an OO setting | Ribeiro, Francisco; Saraiva, João; Pardo, Alberto | Artigo em ata de conferência | Acesso aberto |
17-Jul-2016 | Join decompositions for efficient synchronization of CRDTs after a network partition: [Work in progress report] | Enes, Vitor; Baquero, Carlos; Almeida, Paulo Sérgio, et al. | Artigo em ata de conferência | Acesso aberto |
2018 | JStanley: Placing a green thumb on Java collections | Pereira, Rui; Cunha, Jácome; Simão, Pedro, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
2011 | A language for behavioural modelling of architectural patterns | Sanchez, Alejandro; Barbosa, L. S.; Riesco, Daniel | Artigo em ata de conferência | Acesso aberto |
6-Nov-2016 | Learning new words and spelling with autocorrections | Arif, Ahmed Sabbir; Sylla, Cristina Maria Santos Moreira Silva; Mazalek, Ali | Artigo em ata de conferência | Acesso aberto |
Set-2012 | Leveraging media repertoires to create new social ties | Joseph, Kenneth; José, Rui; Carley, Kathleen M. | Artigo em ata de conferência | Acesso aberto |
17-Jun-2021 | Leveraging RISC-V to build an open-source (hardware) OS framework for reconfigurable IoT devices | Silva, Miguel Ângelo Fernandes; Gomes, Tiago Manuel Ribeiro; Pinto, Sandro | Artigo em ata de conferência | Acesso aberto |
2016 | Life beyond distributed transactions on the edge | Shoker, Ali; Kassam, Ziad; Almeida, Paulo Sérgio, et al. | Artigo em ata de conferência | Acesso aberto |
Jan-2016 | Lightweight specification and analysis of dynamic systems with rich configurations | Macedo, Nuno; Brunel, Julien; Chemouil, David, et al. | Artigo em ata de conferência | Acesso aberto |
2004 | A local model of eye adaptation for high dynamic range images | Ledda, Patrick; Santos, Luís Paulo; Chalmers, Alan | Artigo em ata de conferência | Acesso aberto |
2015 | Logic-based schedulability analysis for compositional hard real-time embedded systems | Pedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al. | Artigo | Acesso aberto |
2023 | Loom: a closed-box disaggregated database system | Coelho, Fábio; Alonso, Ana; Ferreira, Luis, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
2021 | LOOM: Interweaving tightly coupled visualization and numeric simulation framework | Barbosa, Joao; Navratil, Paul; Santos, Luís Paulo, et al. | Artigo em ata de conferência | Acesso aberto |
31-Out-2023 | Low-code development productivity | Varajão, João; Trigo, António; Almeida, Miguel | Artigo | Acesso aberto |
2022 | M&M - MONNOM meets MOBEYBOU: digital interfaces for children's embodied interaction | Kay, Ipek; Sylla, Cristina Maria; Gil, Maitê Moraes, et al. | Artigo em ata de conferência | Acesso aberto |
27-Mar-2023 | Machine learning for VRUs accidents prediction using V2X data | Ribeiro, Bruno Daniel Mestre Viana; Nicolau, Maria João; Santos, Alexandre | Artigo em ata de conferência | Acesso restrito UMinho |
2019 | A machine-checked proof of security for AWS key management service | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo em ata de conferência | Acesso aberto |
2019 | Machine-checked proofs for cryptographic standards indifferentiability of SPONGE and secure high-assurance implementations of SHA-3 | Almeida, José Bacelar; Baritel-Ruet, Cecile; Barbosa, Manuel, et al. | Artigo em ata de conferência | Acesso aberto |
Nov-2021 | Machine-checked ZKP for NP relations: formally verified security proofs and implementations of MPC-in-the-head | Almeida, José Bacelar; Barbosa, Manuel; Correia, Manuel L., et al. | Artigo em ata de conferência | Acesso aberto |