Nuno de Ferraz Almeida e Peixoto Machado


AuthID: R-001-TYG

Publicações Confirmadas: 14



11
TÍTULO: Concurrency Debugging with Differential Schedule Projections
AUTORES: Nuno Machado ; Brandon Lucia; Luis Rodrigues ;
PUBLICAÇÃO: 2015, FONTE: 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
NO MEU: ORCID | DBLP
12
TÍTULO: Property-Driven Cooperative Logging for Concurrency Bugs Replication
AUTORES: Nuno Machado ; Paolo Romano ; Luís E T Rodrigues;
PUBLICAÇÃO: 2013, FONTE: 5th USENIX Workshop on Hot Topics in Parallelism, HotPar'13, San Jose, CA, USA, June 24-25, 2013
INDEXADO EM: DBLP
NO MEU: DBLP
13
TÍTULO: Towards effective and efficient search-based deterministic replay
AUTORES: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
PUBLICAÇÃO: 2013, FONTE: 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013 in Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
14
TÍTULO: Lightweight Cooperative Logging for Fault Replication in Concurrent Programs  Full Text
AUTORES: Nuno Machado ; Paolo Romano ; Luis Rodrigues ;
PUBLICAÇÃO: 2012, FONTE: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2012 42ND ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP
Página 2 de 2. Total de resultados: 14.

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