Alcides Miguel Cachulo Aguiar Fonseca


AuthID: R-000-YKK

Publicações Confirmadas: 39



11
TÍTULO: Reductions and abstractions for formal verification of distributed round-based algorithms  Full Text
AUTORES: Barbosa, R; Fonseca, A ; Araujo, F;
PUBLICAÇÃO: 2021, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 29, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
12
TÍTULO: User-driven Design and Evaluation of Liquid Types in Java
AUTORES: Catarina Gamboa; Paulo Alexandre Santos; Christopher Steven Timperley; Alcides Fonseca ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2110.05444
INDEXADO EM: DBLP
NO MEU: DBLP
13
TÍTULO: Refined typed genetic programming as a user interface for genetic programming
AUTORES: Paulo Santos; Sara Silva; Alcides Fonseca ;
PUBLICAÇÃO: 2020, FONTE: 2020 Genetic and Evolutionary Computation Conference, GECCO 2020 in GECCO '20: Genetic and Evolutionary Computation Conference, Companion Volume, Cancún, Mexico, July 8-12, 2020
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
14
TÍTULO: The Usability Argument for Refinement Typed Genetic Programming
AUTORES: Alcides Fonseca ; Paulo Santos; Sara Silva;
PUBLICAÇÃO: 2020, FONTE: 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020 in Parallel Problem Solving from Nature - PPSN XVI - 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II, VOLUME: 12270
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
15
TÍTULO: A Manifesto for Energy-Aware Software  Full Text
AUTORES: Fonseca, A ; Kazman, R; Lago, P;
PUBLICAÇÃO: 2019, FONTE: IEEE SOFTWARE, VOLUME: 36, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | DBLP
16
TÍTULO: Designing a Neural Network from Scratch for Big Data Powered by Multi-node GPUs
AUTORES: Alcides Fonseca ; Bruno Cabral;
PUBLICAÇÃO: 2019, FONTE: Handbook of Deep Learning Applications., VOLUME: 136
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
17
TÍTULO: Soft error sensitivity and vulnerability of languages and their implementations
AUTORES: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLICAÇÃO: 2019, FONTE: IJCCBS, VOLUME: 9, NÚMERO: 4
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
18
TÍTULO: Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors
AUTORES: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLICAÇÃO: 2018, FONTE: 14th European Dependable Computing Conference, EDCC 2018, Iași, Romania, September 10-14, 2018
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
19
TÍTULO: Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures
AUTORES: Gilberto Melfe; Alcides Fonseca ; João Paulo Fernandes ;
PUBLICAÇÃO: 2018, FONTE: 22nd Brazilian Symposium on Programming Languages, SBLP 2018 in Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
20
TÍTULO: Helping developers write energy efficient Haskell through a data-structure evaluation
AUTORES: Melfe, G; Fonseca, A ; Fernandes, JP ;
PUBLICAÇÃO: 2018, FONTE: 6th IEEE/ACM International Workshop on Green And Sustainable Software (GREENS) in 2018 IEEE/ACM 6TH INTERNATIONAL WORKSHOP ON GREEN AND SUSTAINABLE SOFTWARE (GREENS), VOLUME: Part F137724
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
Página 2 de 4. Total de resultados: 39.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service